Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Modularity of ontologies in an arbitrary institution

Ibanez, Yazmin Angelica, Mossakowski, Till, Sannella, Donald and Tarlecki, Andrzej 2015. Modularity of ontologies in an arbitrary institution. Logic, Rewriting, and Concurrency, Vol. 9200. Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Springer Verlag, (10.1007/978-3-319-23165-5_17)

Full text not available from this repository.

Abstract

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 OWL. 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).

Item Type: Book Section
Date Type: Published Online
Status: Published
Schools: Computer Science & Informatics
Publisher: Springer Verlag
ISBN: 9783319231648
ISSN: 0302-9743
Date of First Compliant Deposit: 1 April 2020
Date of Acceptance: 1 April 2015
Last Modified: 02 Apr 2020 16:29
URI: http://orca.cf.ac.uk/id/eprint/130716

Citation Data

Cited 1 time in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item Edit Item