Forgetting and uniform interpolation for ALC-ontologies with ABoxes

Patrick Koopmann; Renate A. Schmidt

Forgetting and uniform interpolation for ALC-ontologies with ABoxes

Patrick Koopmann
, Renate A. Schmidt

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

We present a method to compute uniform interpolants of ALC-ontologies with ABoxes. Uniform interpolants are restricted views of ontologies that only use a specified set of symbols, but share all entailments in that signature with the original ontology. This way, it allows to select or remove information from an ontology based on a signature, which has applications in privacy, ontology analysis and ontology reuse. We show that in general, uniform interpolants of ALC-ontologies with ABoxes may require disjunctive statements or nominals in the ABox. An evaluation of the method suggests however, that in most practical cases uniform interpolants can be represented as a classical ALC-ontology.

Original language	English
Title of host publication	DL 2014 - Informal Proceedings of the 27th International Workshop on Description Logics
Editors	M. Bienvenu, M. Ortiz, R. Rosati, M. Simkus
Publisher	CEUR Workshop Proceedings
Pages	245-257
Publication status	Published - 2014
Externally published	Yes
Event	27th International Workshop on Description Logics, DL 2014 - Vienna, Austria Duration: 17 Jul 2014 → 20 Jul 2014

Publication series

Name	CEUR Workshop Proceedings
ISSN (Print)	1613-0073

Conference

Conference	27th International Workshop on Description Logics, DL 2014
Country/Territory	Austria
City	Vienna
Period	17/07/14 → 20/07/14

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 16 Peace, Justice and Strong Institutions

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{9e2786a40d2a4381a5e0a3a5f2a35a0b,

title = "Forgetting and uniform interpolation for ALC-ontologies with ABoxes",

abstract = "We present a method to compute uniform interpolants of ALC-ontologies with ABoxes. Uniform interpolants are restricted views of ontologies that only use a specified set of symbols, but share all entailments in that signature with the original ontology. This way, it allows to select or remove information from an ontology based on a signature, which has applications in privacy, ontology analysis and ontology reuse. We show that in general, uniform interpolants of ALC-ontologies with ABoxes may require disjunctive statements or nominals in the ABox. An evaluation of the method suggests however, that in most practical cases uniform interpolants can be represented as a classical ALC-ontology.",

author = "Patrick Koopmann and Schmidt, \{Renate A.\}",

year = "2014",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR Workshop Proceedings",

pages = "245--257",

editor = "M. Bienvenu and M. Ortiz and R. Rosati and M. Simkus",

booktitle = "DL 2014 - Informal Proceedings of the 27th International Workshop on Description Logics",

address = "Germany",

note = "27th International Workshop on Description Logics, DL 2014 ; Conference date: 17-07-2014 Through 20-07-2014",

}

Koopmann, P & Schmidt, RA 2014, Forgetting and uniform interpolation for ALC-ontologies with ABoxes. in M Bienvenu, M Ortiz, R Rosati & M Simkus (eds), DL 2014 - Informal Proceedings of the 27th International Workshop on Description Logics. CEUR Workshop Proceedings, CEUR Workshop Proceedings, pp. 245-257, 27th International Workshop on Description Logics, DL 2014, Vienna, Austria, 17/07/14.

Forgetting and uniform interpolation for ALC-ontologies with ABoxes. / Koopmann, Patrick; Schmidt, Renate A.
DL 2014 - Informal Proceedings of the 27th International Workshop on Description Logics. ed. / M. Bienvenu; M. Ortiz; R. Rosati; M. Simkus. CEUR Workshop Proceedings, 2014. p. 245-257 (CEUR Workshop Proceedings).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Forgetting and uniform interpolation for ALC-ontologies with ABoxes

AU - Koopmann, Patrick

AU - Schmidt, Renate A.

PY - 2014

Y1 - 2014

N2 - We present a method to compute uniform interpolants of ALC-ontologies with ABoxes. Uniform interpolants are restricted views of ontologies that only use a specified set of symbols, but share all entailments in that signature with the original ontology. This way, it allows to select or remove information from an ontology based on a signature, which has applications in privacy, ontology analysis and ontology reuse. We show that in general, uniform interpolants of ALC-ontologies with ABoxes may require disjunctive statements or nominals in the ABox. An evaluation of the method suggests however, that in most practical cases uniform interpolants can be represented as a classical ALC-ontology.

AB - We present a method to compute uniform interpolants of ALC-ontologies with ABoxes. Uniform interpolants are restricted views of ontologies that only use a specified set of symbols, but share all entailments in that signature with the original ontology. This way, it allows to select or remove information from an ontology based on a signature, which has applications in privacy, ontology analysis and ontology reuse. We show that in general, uniform interpolants of ALC-ontologies with ABoxes may require disjunctive statements or nominals in the ABox. An evaluation of the method suggests however, that in most practical cases uniform interpolants can be represented as a classical ALC-ontology.

UR - https://www.scopus.com/pages/publications/84992672483

UR - https://www.scopus.com/pages/publications/84992672483#tab=citedBy

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

SP - 245

EP - 257

BT - DL 2014 - Informal Proceedings of the 27th International Workshop on Description Logics

A2 - Bienvenu, M.

A2 - Ortiz, M.

A2 - Rosati, R.

A2 - Simkus, M.

PB - CEUR Workshop Proceedings

T2 - 27th International Workshop on Description Logics, DL 2014

Y2 - 17 July 2014 through 20 July 2014

ER -

Forgetting and uniform interpolation for ALC-ontologies with ABoxes

Abstract

Publication series

Conference

UN SDGs

Persistent URL (handle)

Other files and links

Fingerprint

Cite this