TOWARDS A DESCRIPTION LOGIC FOR SCIENTIFIC MODELING

Jean-Pierre Müller, Hasina Lalaina Rakotonirainy, Dominique Hervé

Abstract

The classical ontologies are based on description logics. Most of the proposed variants fit within the logical framework, with the exception of the introduction of data types. This later extension is suitable for computer scientists but not appropriate for scientists in general. Indeed, most scientists use quantities with full unit systems as defined in metrology. More specifically, the geomaticians use, in addition to attributed or relational structures, what they call coverages, i.e. mappings from coordinates into data. Separate efforts have been made to formalize these aspects but none coped with all of them in an integrated knowledge representation framework. The aim of this paper is to propose description logic extensions able to integrate these various aspects into the general framework of knowledge representation, as a way to talk about matter and space.

References

  1. Aubert, S., Muller, J.-P., and Ralihalizara, J. (2010). MIRANA: a socio-ecological model for assessing sustainability of community-based regulations. In International Congress on Environmental Modelling and Software Modelling for Environment's Sake, pages 1- 8, Ottawa, Canada.
  2. Belem, M., Bousquet, F., Muller, J.-P., Bazile, D., and Coulibaly, H. (2011). A participatory modeling method for multi-points of view description of a system from scientist's perceptions: application in seed systems modeling in Mali and Chile. In ESSA 2011, submitted, Montpellier.
  3. Brilhante, V. (2004). An Ontology for Quantities in Ecology. In Hutchison, D. and al., editors, SBIA 2004, pages 144-153, Berlin, Heidelberg. Springer Berlin Heidelberg.
  4. Collier, N. (2003). Repast: An extensible framework for agent simulation. The University of Chicago's Social Science Research.
  5. Jie Bao, D. C. and Honavar, V. G. (2006). Modular Ontologies - A Formal Investigation of Semantics and Expressivity. In The Semantic Web - ASWC 2006, pages 1-16.
  6. JScience (2009). Jscience. http://jscience.org/jsr-275/api/.
  7. Muller, J.-P. (2007). Mimosa: using ontologies for modeling and simulation. In Advanced Semantics Technologies, pages 1-5, Bremen, Germany.
  8. Muller, J.-P. (2010). A framework for integrated modeling using a knowledge-driven approach. In International Congress on Environmental Modelling and Software, pages 1-8, Ottawa, Canada.
  9. Richmond, B. and Peterson, S. (2000). STELLA: An Introduction to Systems Thinking. High Performance Systems Inc.
  10. Villa, F., Athanasiadis, I. N., and Rizzoli, A. E. (2009). Modelling with knowledge: A review of emerging semantic approaches to environmental modelling. Environmental Modelling & Software, 24:577-587.
  11. Zeigler, B. P., Praehofer, H., and Kim, T. G. (2000). Theory of modeling & simulation, integrating discrete event & continuous complex dynamic systems (2nd Ed.). Academic Press, New York.
Download


Paper Citation


in Harvard Style

Müller J., Lalaina Rakotonirainy H. and Hervé D. (2011). TOWARDS A DESCRIPTION LOGIC FOR SCIENTIFIC MODELING . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011) ISBN 978-989-8425-80-5, pages 183-188. DOI: 10.5220/0003634201830188


in Bibtex Style

@conference{keod11,
author={Jean-Pierre Müller and Hasina Lalaina Rakotonirainy and Dominique Hervé},
title={TOWARDS A DESCRIPTION LOGIC FOR SCIENTIFIC MODELING},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011)},
year={2011},
pages={183-188},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003634201830188},
isbn={978-989-8425-80-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011)
TI - TOWARDS A DESCRIPTION LOGIC FOR SCIENTIFIC MODELING
SN - 978-989-8425-80-5
AU - Müller J.
AU - Lalaina Rakotonirainy H.
AU - Hervé D.
PY - 2011
SP - 183
EP - 188
DO - 10.5220/0003634201830188