Patrick Koopmann

Patrick Koopmann

Research Assistant

Leaving date: 31st May 2016

Interests

Knowledge Representation

Description Logics

Automated Reasoning

Rewriting of Ontologies

Selected Publications

View AllManage 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