Patrick Koopmann : Publications
-
[1]
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
-
[2]
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
-
[3]
Forgetting and Uniform Interpolation for ALC−Ontologies with ABoxes
Patrick Koopmann and Renate Schmidt
In Proceedings of the 27th International Workshop of Description Logics (DL). CEUR−WS.org. 2014.
Details about Forgetting and Uniform Interpolation for ALC−Ontologies with ABoxes | BibTeX data for Forgetting and Uniform Interpolation for ALC−Ontologies with ABoxes
-
[4]
Implementation and Evaluation of Forgetting In ALC−Ontologies
Patrick Koopmann and Renate Schmidt
In Proceedings of the 7th International Workshop on Modular Ontologies (WoMO). CEUR−WS.org. 2013.
Details about Implementation and Evaluation of Forgetting In ALC−Ontologies | BibTeX data for Implementation and Evaluation of Forgetting In ALC−Ontologies
-
[5]
LETHE: Saturation−Based Reasoning for Non−Standard Reasoning Tasks
Patrick Koopmann and Renate Schmidt
In Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE). CEUR−WS.org. 2015.
Details about LETHE: Saturation−Based Reasoning for Non−Standard Reasoning Tasks | BibTeX data for LETHE: Saturation−Based Reasoning for Non−Standard Reasoning Tasks
-
[6]
Ontology−based realtime activity monitoring using beam search
Willfried Bohlken‚ Bernd Neumann‚ Lothar Hotz and Patrick Koopmann
In Computer Vision Systems. Springer. 2011.
Details about Ontology−based realtime activity monitoring using beam search | BibTeX data for Ontology−based realtime activity monitoring using beam search
-
[7]
Saturation−Based Forgetting in the Description Logic SIF
Patrick Koopmann and Renate Schmidt
In Proceedings of the 28th International Workshop of Description Logics (DL). CEUR−WS.org. 2015.
Details about Saturation−Based Forgetting in the Description Logic SIF | BibTeX data for Saturation−Based Forgetting in the Description Logic SIF
-
[8]
Scenior: Ontology−based interpretation of aircraft service activities
Wilfried Bohlken‚ Patrick Koopmann and Bernd Neumann
2011.
Details about Scenior: Ontology−based interpretation of aircraft service activities | BibTeX data for Scenior: Ontology−based interpretation of aircraft service activities
-
[9]
Towards ontology−based realtime behaviour interpretation
Willfried Bohlken‚ Patrick Koopmann‚ Lothar Hotz and Bernd Neumann
In Human Behavior Recognition Technologies: Intelligent Applications for Monitoring and Security. IGI Global. 2013.
Details about Towards ontology−based realtime behaviour interpretation | BibTeX data for Towards ontology−based realtime behaviour interpretation
-
[10]
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
-
[11]
Uniform Interpolation of ALC−Ontologies Using Fixpoints
Patrick Koopmann and Renate Schmidt
In Frontiers of Combining Systems (FroCoS). Springer. 2013.
Details about Uniform Interpolation of ALC−Ontologies Using Fixpoints | BibTeX data for Uniform Interpolation of ALC−Ontologies Using Fixpoints