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.

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