Forgetting concept and role symbols in ALCH-ontologies

Patrick Koopmann; Renate A. Schmidt

doi:10.1007/978-3-642-45221-5_37

Forgetting concept and role symbols in ALCH-ontologies

Patrick Koopmann, Renate A. Schmidt

Formal Methods

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

Abstract

We develop a resolution-based method for forgetting concept and role symbols in ALCH ontologies, or for computing uniform interpolants in ALCH . Uniform interpolants use only a restricted set of symbols, while preserving logical consequences of the original ontology involving these symbols. While recent work towards practical methods for uniform interpolation in expressive description logics limits attention to forgetting concept symbols, we believe most applications would benefit from the possibility to forget both role and concept symbols. We focus on the description logic ALCH, which allows for the formalisation of role hierarchies. Our approach is based on a recently developed resolution-based calculus for forgetting concept symbols in ALC ontologies, which we extend by redundancy elimination techniques to make it practical for larger ontologies. Experiments on ALCH fragments of real life ontologies suggest that our method is applicable in a lot of real-life applications. © Springer-Verlag 2013.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)\|Lect. Notes Comput. Sci.
Editors	Ken McMillan, Aart Middeldorp, Andrei Voronkov
Publisher	Springer Nature
Pages	552-567
Number of pages	15
Volume	8312
ISBN (Print)	9783642452208
DOIs	https://doi.org/10.1007/978-3-642-45221-5_37
Publication status	Published - Dec 2013
Event	19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 - Stellenbosch Duration: 1 Jul 2013 → … http://dx.doi.org/10.1007/978-3-642-45221-5_37

Conference

Conference	19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013
City	Stellenbosch
Period	1/07/13 → …
Internet address	http://dx.doi.org/10.1007/978-3-642-45221-5_37

Keywords

uniform interpolation
forgetting
description logic
resolution
second-order quantifier elimination
fixpoints

Access to Document

10.1007/978-3-642-45221-5_37

http://dx.doi.org/10.1007/978-3-642-45221-5_37

Cite this

Koopmann, P., & Schmidt, R. A. (2013). Forgetting concept and role symbols in ALCH-ontologies. In K. McMillan, A. Middeldorp, & A. Voronkov (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci. (Vol. 8312, pp. 552-567). Springer Nature. https://doi.org/10.1007/978-3-642-45221-5_37

@inproceedings{04ee0059d1b94bc8b5e42d885cc83831,

title = "Forgetting concept and role symbols in ALCH-ontologies",

abstract = "We develop a resolution-based method for forgetting concept and role symbols in ALCH ontologies, or for computing uniform interpolants in ALCH . Uniform interpolants use only a restricted set of symbols, while preserving logical consequences of the original ontology involving these symbols. While recent work towards practical methods for uniform interpolation in expressive description logics limits attention to forgetting concept symbols, we believe most applications would benefit from the possibility to forget both role and concept symbols. We focus on the description logic ALCH, which allows for the formalisation of role hierarchies. Our approach is based on a recently developed resolution-based calculus for forgetting concept symbols in ALC ontologies, which we extend by redundancy elimination techniques to make it practical for larger ontologies. Experiments on ALCH fragments of real life ontologies suggest that our method is applicable in a lot of real-life applications. {\textcopyright} Springer-Verlag 2013.",

keywords = "uniform interpolation, forgetting, description logic, resolution, second-order quantifier elimination, fixpoints",

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

year = "2013",

month = dec,

doi = "10.1007/978-3-642-45221-5_37",

language = "English",

isbn = "9783642452208",

volume = "8312",

pages = "552--567",

editor = "Ken McMillan and Aart Middeldorp and Andrei Voronkov",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.",

publisher = "Springer Nature",

address = "United States",

note = "19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 ; Conference date: 01-07-2013",

url = "http://dx.doi.org/10.1007/978-3-642-45221-5_37",

}

Koopmann, P & Schmidt, RA 2013, Forgetting concept and role symbols in ALCH-ontologies. in K McMillan, A Middeldorp & A Voronkov (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. vol. 8312, Springer Nature, pp. 552-567, 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013, Stellenbosch, 1/07/13. https://doi.org/10.1007/978-3-642-45221-5_37

Forgetting concept and role symbols in ALCH-ontologies. / Koopmann, Patrick; Schmidt, Renate A.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. ed. / Ken McMillan; Aart Middeldorp; Andrei Voronkov. Vol. 8312 Springer Nature, 2013. p. 552-567.

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

TY - GEN

T1 - Forgetting concept and role symbols in ALCH-ontologies

AU - Koopmann, Patrick

AU - Schmidt, Renate A.

PY - 2013/12

Y1 - 2013/12

N2 - We develop a resolution-based method for forgetting concept and role symbols in ALCH ontologies, or for computing uniform interpolants in ALCH . Uniform interpolants use only a restricted set of symbols, while preserving logical consequences of the original ontology involving these symbols. While recent work towards practical methods for uniform interpolation in expressive description logics limits attention to forgetting concept symbols, we believe most applications would benefit from the possibility to forget both role and concept symbols. We focus on the description logic ALCH, which allows for the formalisation of role hierarchies. Our approach is based on a recently developed resolution-based calculus for forgetting concept symbols in ALC ontologies, which we extend by redundancy elimination techniques to make it practical for larger ontologies. Experiments on ALCH fragments of real life ontologies suggest that our method is applicable in a lot of real-life applications. © Springer-Verlag 2013.

AB - We develop a resolution-based method for forgetting concept and role symbols in ALCH ontologies, or for computing uniform interpolants in ALCH . Uniform interpolants use only a restricted set of symbols, while preserving logical consequences of the original ontology involving these symbols. While recent work towards practical methods for uniform interpolation in expressive description logics limits attention to forgetting concept symbols, we believe most applications would benefit from the possibility to forget both role and concept symbols. We focus on the description logic ALCH, which allows for the formalisation of role hierarchies. Our approach is based on a recently developed resolution-based calculus for forgetting concept symbols in ALC ontologies, which we extend by redundancy elimination techniques to make it practical for larger ontologies. Experiments on ALCH fragments of real life ontologies suggest that our method is applicable in a lot of real-life applications. © Springer-Verlag 2013.

KW - uniform interpolation

KW - forgetting

KW - description logic

KW - resolution

KW - second-order quantifier elimination

KW - fixpoints

U2 - 10.1007/978-3-642-45221-5_37

DO - 10.1007/978-3-642-45221-5_37

M3 - Conference contribution

SN - 9783642452208

VL - 8312

SP - 552

EP - 567

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.

A2 - McMillan, Ken

A2 - Middeldorp, Aart

A2 - Voronkov, Andrei

PB - Springer Nature

T2 - 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013

Y2 - 1 July 2013

ER -

Forgetting concept and role symbols in ALCH-ontologies

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this