Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

User created Keywords

  • Description Logics
  • Ontologies
  • Logics
  • Artificial Intelligence

Fingerprint

Dive into the research topics where Patrick Koopmann is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Combining Proofs for Description Logic and Concrete Domain Reasoning

    Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2023, Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings. Fensel, A., Ozaki, A., Roman, D. & Soylu, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 54-69 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14244 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging

    Méndez, J., Alrabbaa, C., Koopmann, P., Langner, R., Baader, F. & Dachselt, R., 2023, In: Computer Graphics Forum. 42, 6, e14730.

    Research output: Contribution to JournalArticleAcademicpeer-review

    Open Access
  • Towards Ontology-Mediated Planning with OWL DL Ontologies

    John, T. & Koopmann, P., 2023, DL 2023 Description Logistics 2023: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). Rhodes, Greece, September 2-4, 2023. Kutz, O., Lutz, C. & Ozaki, A. (eds.). CEUR-WS.org, p. 1-14 14 p. (CEUR Workshop Proceedings; vol. 3515).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    Open Access
  • Why Not? Explaining Missing Entailments with Evee

    Alrabbaa, C., Borgwardt, S., Friese, T., Koopmann, P. & Kotlov, M., 2023, DL 2023 Description Logics 2023: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). Rhodes, Greece, September 2-4, 2023. Kutz, O., Lutz, C. & Ozaki, A. (eds.). CEUR-WS.org, p. 1-13 13 p. (CEUR Workshop Proceedings; vol. 3515).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    Open Access
  • Efficient TBox Reasoning with Value Restrictions using the wer Reasoner

    Baader, F., Koopmann, P., Michel, F., Turhan, A-Y. & Zarriess, B., 15 Mar 2022, In: Theory and practice of logic programming. 22, 2, p. 162-192

    Research output: Contribution to JournalArticleAcademicpeer-review

    Open Access