Abstract
An heavyweight ontology is a lightweight ontology (i.e. an ontology simply based on a hierarchy of concepts and a hierarchy of relations) enriched with axioms used to fix the semantic interpretation of concepts and relations. Such an ontology can be a domain ontology, an ontology of representation, an ontology of PSM, etc. In our work, we argue in favor of using a graph-based solution to deal with the different activities related to Heavyweight Ontology Engineering, in particular ontology representation, ontology operationalisation, ontology evaluation (i.e. verification and validation) and ontology matching. Our approach consists in using the graph-based paradigm to represent all the components of an heavyweight ontology (i.e. Concepts, Relations and Axioms) and using graph homomorphism techniques to compare (at the conceptual level) the core components of an heavyweight ontology: the Axioms. This explicit graph-based representation of axioms coupled with reasoning capabilities based on graphs homomorphism facilitates both (1) the definition of important notions for Heavyweight Ontology Engineering such as Compatible/Incompatible Axioms or Specialisation/Generalisation of Axioms and (2) the topological comparison of axioms, which in our work is used to define a new approach of ontology matching mainly based on axiom-based ontology morphisms.
An erratum to this chapter can be found at http://dx.doi.org/10.1007/11915034_125.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Fürst, F.: TooCoM: a Tool to Operationalize an Ontology with the Conceptual Graph Model. In: Proceedings of the Workshop on Evaluation of Ontology-Based Tools (EON 2003) at ISWC 2003, pp. 57–70 (2003)
Fúrst, F., Leclère, M., Trichet, F.: Operationalizing domain ontologies: a method and a tool. In: de Mantaras, R.L., Saitta, L. (eds.) European Conference on Artificial Intelligence (ECAI 2004), pp. 318–322. IOS Press, Amsterdam (2004)
Fürst, F., Trichet, F.: Axiom-based ontology matching. In: Proceedings of 3rd International Conference on Knowledge Capture (K-CAP 2005), Banff-Canada, pp. 195–196. ACM Press, New York (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fürst, F., Trichet, F. (2006). Heavyweight Ontology Engineering. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops. OTM 2006. Lecture Notes in Computer Science, vol 4277. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11915034_18
Download citation
DOI: https://doi.org/10.1007/11915034_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48269-7
Online ISBN: 978-3-540-48272-7
eBook Packages: Computer ScienceComputer Science (R0)