A Logical Framework for Modularity of Ontologies

Grau, Bernardo Cuenca; Horrocks, Ian; Kazakov, Yevgeny; Sattler, Ulrike

A Logical Framework for Modularity of Ontologies

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Download BibTeX Cite

Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 298-302.

Abstract

Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and thus a useful notion of modularity needs to take the semantics of ontologies and their implications into account. We propose a logic-based notion of modularity that allows the modeler to specify the external signature of their ontology, whose symbols are assumed to be defined in some other ontology. We define two restrictions on the usage of the external signature, a syntactic and a slightly less restrictive, semantic one, each of which is decidable and guarantees a certain kind of black-box behavior, which enables the controlled merging of ontologies. Analysis of real-world ontologies suggests that these restrictions are not too onerous.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler. 2007. A Logical Framework for Modularity of Ontologies. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. IJCAI, 298–302. https://ijcai.org/proceedings/2007/46

@inproceedings{ijcai2007p46,
  title     = {A Logical Framework for Modularity of Ontologies},
  author    = {Grau, Bernardo Cuenca and Horrocks, Ian and Kazakov, Yevgeny and Sattler, Ulrike},
  booktitle = {Proceedings of the Twentieth International Joint Conference on
               Artificial Intelligence, {IJCAI-07}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ramon López de Mántaras},
  pages     = {298--302},
  year      = {2007},
  url       = {https://ijcai.org/proceedings/2007/46},
}

TY  - CPAPER
TI  - A Logical Framework for Modularity of Ontologies
AU  - Grau, Bernardo Cuenca
AU  - Horrocks, Ian
AU  - Kazakov, Yevgeny
AU  - Sattler, Ulrike
T2  - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2007
SP  - 298
EP  - 302
UR  - https://ijcai.org/proceedings/2007/46
ER  -