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 - http://www.scopus.com/inward/record.url?scp=84992672483&partnerID=8YFLogxK
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-WS
T2 - 27th International Workshop on Description Logics, DL 2014
Y2 - 17 July 2014 through 20 July 2014
ER -
