The modular structure of an ontology: Atomic decomposition

C. Del Vescovo, Bijan Parsia, Ulrike Sattler, T. Schneider

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.
Original languageEnglish
Title of host publicationProceedings of the 22nd International Joint Conferences on Artificial Intelligence (IJCAI 2011)
Number of pages5
Publication statusPublished - 2011
Event22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 - Barcelona, Catalonia
Duration: 1 Jul 2011 → …


Conference22nd International Joint Conference on Artificial Intelligence, IJCAI 2011
CityBarcelona, Catalonia
Period1/07/11 → …


Dive into the research topics of 'The modular structure of an ontology: Atomic decomposition'. Together they form a unique fingerprint.

Cite this