@inproceedings{9978,
  title = "LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2015",
  booktitle = "Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE)",
  publisher = "CEUR-WS.org",
}
@inproceedings{9977,
  title = "Saturation-Based Forgetting in the Description Logic SIF",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2015",
  booktitle = "Proceedings of the 28th International Workshop of Description Logics (DL)",
  publisher = "CEUR-WS.org",
}
@inproceedings{9973,
  title = "Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2015",
  booktitle = "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI)",
  publisher = "AAAI Press",
}
@inproceedings{9980,
  title = "Count and Forget: Uniform Interpolation of SHQ-Ontologies",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2014",
  booktitle = "Automated Reasoning (IJCAR Proceedings)",
  publisher = "Springer",
}
@inproceedings{9974,
  title = "Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2014",
  booktitle = "Proceedings of the 27th International Workshop of Description Logics (DL)",
  publisher = "CEUR-WS.org",
}
@inproceedings{9972,
  title = "Towards ontology-based realtime behaviour interpretation",
  author = "Willfried Bohlken and Patrick Koopmann and Lothar Hotz and Bernd Neumann",
  year = "2013",
  booktitle = "Human Behavior Recognition Technologies: Intelligent Applications for Monitoring and Security",
  publisher = "IGI Global",
}
@inproceedings{9971,
  title = "Implementation and Evaluation of Forgetting In ALC-Ontologies",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2013",
  booktitle = "Proceedings of the 7th International Workshop on Modular Ontologies (WoMO)",
  publisher = "CEUR-WS.org",
}
@inproceedings{9967,
  title = "Forgetting Concept and Role Symbols in ALCH-Ontologies",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2013",
  booktitle = "Logic in Programming, Artificial Intelligence and Reasoning (LPAR)",
  publisher = "Springer",
}
@inproceedings{9966,
  title = "Uniform Interpolation of ALC-Ontologies Using Fixpoints",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2013",
  booktitle = "Frontiers of Combining Systems (FroCoS)",
  publisher = "Springer",
}
@inproceedings{9975,
  title = "Scenior: Ontology-based interpretation of aircraft service activities",
  author = "Wilfried Bohlken and Patrick Koopmann and Bernd Neumann",
  year = "2011",
}
@inproceedings{9969,
  title = "Ontology-based realtime activity monitoring using beam search",
  author = "Willfried Bohlken and Bernd Neumann and Lothar Hotz and Patrick Koopmann",
  year = "2011",
  booktitle = "Computer Vision Systems",
  publisher = "Springer",
}