ONTOLOGY DESIGN THROUGH MODULAR REPOSITORIES

Ali Hashemi, Michael Gruninger

2009

Abstract

Many real world problems require a language at least as expressive as first order logic, yet there exist many barriers to the generation of first-order ontologies. One of the biggest hurdles is the specification of axioms that capture the intended semantics of a user’s concepts. This paper presents an ontology design algorithm enabled by modular ontology repositories that consist of theories organized into disjoint hierarchies, each of which is a set of nonconservative extensions. The ontology design algorithm provides axiomatizations of relations by eliciting intended models from the users, identifying the strongest theories in the repository that are satisfied by the intended models, and incorporating user feedback to verify the proposed set of axioms. This approach emphasizes the communication of semantics rather than syntax via concrete examples, allowing users to express intuitions about their domains without extensive background in the intricacies of formal languages.

References

  1. Delugach, H. (2007). Common logic (cl) - a framework for a family of logic-based languages. Technical report, Geneva.
  2. Guarino, N. (1998). Formal ontologies and information systems. In Formal Ontology in Information Systems. Proceedings of FOIS'98, pages 3-15. IOS Press.
  3. Hou, C. J., Musen, M., and Noy, N. F. (May 2005). Ezpal: environment for composing constraint axioms by instantiating templates. International Journal of Human-Computer Studies, 62:578 596.
  4. Luettich, K. and Mossakowski, T. (2004). Specification of ontologies in casl. In Formal Ontology in Information Systems Proceedings of the Third International Conference (FOIS-2004), pages 140-150. IOS Press.
  5. Nichols, D. (2004). Ontology of geography. http://sigmakee.cvs.sourceforge.net/*checkout*/sigmakee/KBs/Geography.kif.
  6. Presutti, V. and Gangemi, A. (2008). Content ontology design patterns as practical building blocks for web ontologies. In 27th International Conference on Conceptual Modeling, pages 128-141. Springer.
  7. Staab, S. and Maedche, A. (2000). Ontology engineering beyond the modeling of concepts and relations. In 14th European Conference on Artificial Intelligence; Workshop on Applications of Ontologies and Problem-Solving Methods.
Download


Paper Citation


in Harvard Style

Hashemi A. and Gruninger M. (2009). ONTOLOGY DESIGN THROUGH MODULAR REPOSITORIES . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009) ISBN 978-989-674-012-2, pages 192-199. DOI: 10.5220/0002299201920199


in Bibtex Style

@conference{keod09,
author={Ali Hashemi and Michael Gruninger},
title={ONTOLOGY DESIGN THROUGH MODULAR REPOSITORIES},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)},
year={2009},
pages={192-199},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002299201920199},
isbn={978-989-674-012-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)
TI - ONTOLOGY DESIGN THROUGH MODULAR REPOSITORIES
SN - 978-989-674-012-2
AU - Hashemi A.
AU - Gruninger M.
PY - 2009
SP - 192
EP - 199
DO - 10.5220/0002299201920199