Modularity of Ontologies in an Arbitrary Institution

Yazmin Angelica Ibañez, Till Mossakowski, Donald Sannella, Andrzej Tarlecki

Research output: Chapter in Book/Report/Conference proceedingChapter


The notion of module extraction has been studied extensively in the ontology community. The idea is to extract, from a large ontology, those axioms that are relevant to certain concepts of interest (formalised as a subsignature). The technical concept used for the definition of module extraction is that of inseparability, which is related to indistinguishability known from observational specifications.
Module extraction has been studied mainly for description logics and the Web Ontology Language OWLOWL. In this work, we generalise previous definitions and results to an arbitrary inclusive institution. We reveal a small inaccuracy in the formal definition of inseparability, and show that some results hold in an arbitrary inclusive institution, while others require the institution to be weakly union-exact.
This work provides the basis for the treatment of module extraction within the institution-independent semantics of the distributed ontology, modeling and specification language (DOL), which is currently under submission to the Object Management Group (OMG).
Original languageEnglish
Title of host publicationLogic, Rewriting, and Concurrency
Subtitle of host publicationEssays Dedicated to José Meseguer on the Occasion of His 65th Birthday
EditorsNarciso Martí-Oliet, Csaba Peter Ölveczky, Carolyn Talcott
Place of PublicationCham
PublisherSpringer International Publishing
Number of pages19
ISBN (Electronic)978-3-319-23165-5
ISBN (Print)978-3-319-23164-8
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
ISSN (Print)0302-9743


Dive into the research topics of 'Modularity of Ontologies in an Arbitrary Institution'. Together they form a unique fingerprint.

Cite this