TOWARDS A DESCRIPTION LOGIC FOR SCIENTIFIC MODELING

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

2011

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.

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