Patrick Koopmann
![Personal photo - Patrick Koopmann](/files/7481//ich_small_flipped2.jpg)
Patrick Koopmann
Interests
Knowledge Representation
Description Logics
Automated Reasoning
Rewriting of Ontologies
Selected Publications
-
Forgetting Concept and Role Symbols in ALCH−Ontologies
Patrick Koopmann and Renate Schmidt
In Logic in Programming‚ Artificial Intelligence and Reasoning (LPAR). Springer. 2013.
Details about Forgetting Concept and Role Symbols in ALCH−Ontologies | BibTeX data for Forgetting Concept and Role Symbols in ALCH−Ontologies
-
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes
Patrick Koopmann and Renate Schmidt
In Proceedings of the Twenty−Ninth AAAI Conference on Artificial Intelligence (AAAI). AAAI Press. 2015.
Details about Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes | BibTeX data for Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes
-
Count and Forget: Uniform Interpolation of SHQ−Ontologies
Patrick Koopmann and Renate Schmidt
In Automated Reasoning (IJCAR Proceedings). Springer. 2014.
Details about Count and Forget: Uniform Interpolation of SHQ−Ontologies | BibTeX data for Count and Forget: Uniform Interpolation of SHQ−Ontologies