The Modular Structure of an Ontology: Atomic Decomposition

Del Vescovo, Chiara; Parsia, Bijan; Sattler, Ulrike; Schneider, Thomas

doi:10.5591/978-1-57735-516-8/IJCAI11-372

The Modular Structure of an Ontology: Atomic Decomposition

Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 2232-2236.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-372

Abstract

Extracting a subset of a given ontology that captures all the ontology's knowledge about a specified set of terms is a well-understood task. This task can be based, for instance, on locality-based modules. However, a single module does not allow us to understand neither topicality, connectedness, structure, or superfluous parts of an ontology, nor agreement between actual and intended modeling. The strong logical properties of locality-based modules suggest that the family of all such modules of an ontology can support comprehension of the ontology as a whole. However, extracting that family is not feasible, since the number of locality-based modules of an ontology can be exponential w.r.t. its size. In this paper we report on a new approach that enables us to efficiently extract a polynomial representation of the family of all locality-based modules of an ontology. We also describe the fundamental algorithm to pursue this task, and report on experiments carried out and results obtained.

Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, and Thomas Schneider. 2011. The Modular Structure of an Ontology: Atomic Decomposition. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 2232–2236. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-372

@inproceedings{ijcai2011p372,
  title     = {The Modular Structure of an Ontology: Atomic Decomposition},
  author    = {Del Vescovo, Chiara and Parsia, Bijan and Sattler, Ulrike and Schneider, Thomas},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {2232--2236},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-372},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-372},
}

TY  - CPAPER
TI  - The Modular Structure of an Ontology: Atomic Decomposition
AU  - Del Vescovo, Chiara
AU  - Parsia, Bijan
AU  - Sattler, Ulrike
AU  - Schneider, Thomas
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 2232
EP  - 2236
DO  - 10.5591/978-1-57735-516-8/IJCAI11-372
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-372
ER  -