Modularity of Ontologies in an Arbitrary Institution

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

doi:10.1007/978-3-319-23165-5_17

Modularity of Ontologies in an Arbitrary Institution

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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 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 language	English
Title of host publication	Logic, Rewriting, and Concurrency
Subtitle of host publication	Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Editors	Narciso Martí-Oliet, Csaba Peter Ölveczky, Carolyn Talcott
Place of Publication	Cham
Publisher	Springer International Publishing
Pages	361-379
Number of pages	19
ISBN (Electronic)	978-3-319-23165-5
ISBN (Print)	978-3-319-23164-8
DOIs	https://doi.org/10.1007/978-3-319-23165-5_17
Publication status	Published - 2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	9200
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-319-23165-5_17

http://link.springer.com/chapter/10.1007%2F978-3-319-23165-5_17

Don Sannella
- dtsinf.ed.acuk
- School of Informatics - PERSONAL CHAIR IN COMPUTER SCIENCE
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active

Cite this

Ibañez, Y. A., Mossakowski, T., Sannella, D., & Tarlecki, A. (2015). Modularity of Ontologies in an Arbitrary Institution. In N. Martí-Oliet, C. P. Ölveczky, & C. Talcott (Eds.), Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (pp. 361-379). (Lecture Notes in Computer Science; Vol. 9200). Springer International Publishing. https://doi.org/10.1007/978-3-319-23165-5_17

Ibañez, Yazmin Angelica ; Mossakowski, Till ; Sannella, Donald et al. / Modularity of Ontologies in an Arbitrary Institution. Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. editor / Narciso Martí-Oliet ; Csaba Peter Ölveczky ; Carolyn Talcott. Cham : Springer International Publishing, 2015. pp. 361-379 (Lecture Notes in Computer Science).

@inbook{5d37d4a76c05451681a39914b334893d,

title = "Modularity of Ontologies in an Arbitrary Institution",

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 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).",

author = "Iba{\~n}ez, {Yazmin Angelica} and Till Mossakowski and Donald Sannella and Andrzej Tarlecki",

year = "2015",

doi = "10.1007/978-3-319-23165-5_17",

language = "English",

isbn = "978-3-319-23164-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "361--379",

editor = "Narciso Mart{\'i}-Oliet and {\"O}lveczky, {Csaba Peter} and Carolyn Talcott",

booktitle = "Logic, Rewriting, and Concurrency",

}

Ibañez, YA, Mossakowski, T, Sannella, D & Tarlecki, A 2015, Modularity of Ontologies in an Arbitrary Institution. in N Martí-Oliet, CP Ölveczky & C Talcott (eds), Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 9200, Springer International Publishing, Cham, pp. 361-379. https://doi.org/10.1007/978-3-319-23165-5_17

Modularity of Ontologies in an Arbitrary Institution. / Ibañez, Yazmin Angelica; Mossakowski, Till; Sannella, Donald et al.

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. ed. / Narciso Martí-Oliet; Csaba Peter Ölveczky; Carolyn Talcott. Cham : Springer International Publishing, 2015. p. 361-379 (Lecture Notes in Computer Science; Vol. 9200).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Modularity of Ontologies in an Arbitrary Institution

AU - Ibañez, Yazmin Angelica

AU - Mossakowski, Till

AU - Sannella, Donald

AU - Tarlecki, Andrzej

PY - 2015

Y1 - 2015

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

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

U2 - 10.1007/978-3-319-23165-5_17

DO - 10.1007/978-3-319-23165-5_17

M3 - Chapter

SN - 978-3-319-23164-8

T3 - Lecture Notes in Computer Science

SP - 361

EP - 379

BT - Logic, Rewriting, and Concurrency

A2 - Martí-Oliet, Narciso

A2 - Ölveczky, Csaba Peter

A2 - Talcott, Carolyn

PB - Springer International Publishing

CY - Cham

ER -

Ibañez YA, Mossakowski T, Sannella D, Tarlecki A. Modularity of Ontologies in an Arbitrary Institution. In Martí-Oliet N, Ölveczky CP, Talcott C, editors, Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. Cham: Springer International Publishing. 2015. p. 361-379. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-23165-5_17

Modularity of Ontologies in an Arbitrary Institution

Abstract

Publication series

Access to Document

Fingerprint

Profiles

Don Sannella

Cite this