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
  • Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge

    Obendrauf, K., Baanen, A., Koopmann, P. & Stebletsova, V., Sept 2024, 15th International Conference on Interactive Theorem Proving (ITP 2024) : [Proceedings]. Bertot, Y., Kutsia, T. & Norrish, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-18 18 p. 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 309).

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

    Open Access
  • Explaining Reasoning Results for OWL Ontologies with EVEE

    Alrabbaa, C., Borgwardt, S., Friese, T., Hirsch, A., Knieriemen, N., Koopmann, P., Kovtunova, A., Krüger, A., Popovič, A. & Siahaan, I., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning: Hanoi, Vietnam. November 2-8, 2024. Marquis, P., Marquis, P., Ortiz, M. & Pagnucco, M. (eds.). Association for the Advancement of Artificial Intelligence, p. 709-719 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

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

  • Supporting Companion Planting with the CoPla Ontology

    Zamprogno, G., Adamik, M., Roothaert, R., Naghdipour, A., Stork, L., Koopmann, P., Pernisch, R., Kruit, B., Chen, J., Tiddi, I. & Schlobach, S., 2024, KG4S 2024 Knowledge Graphs for Sustainability 2024: Proceedings of the The 2nd International Workshop on Knowledge Graphs for Sustainability (KG4S 2024) colocated with the 21st Extended Semantic Web Conference (ESWC 2024) Hersonissos, Greece, May 27th, 2024. Blomqvist, E., García-Castro, R., Hernández, D., Hitzler, P., Lindecrantz, M. & Poveda-Villalón, M. (eds.). CEUR-WS.org, p. 29-41 13 p. (CEUR Workshop Proceedings; vol. 3753).

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

    Open Access
  • The Precise Complexity of Reasoning in AℒC with ω-Admissible Concrete Domains

    Borgwardt, S., De Bortoli, F. & Koopmann, P., 2024, DL 2024 37th International Workshop on Description Logics: Proceedings of the 37th International Workshop on Description Logics (DL 2024) Bergen, Norway, June 18-21, 2024. Giordano, L., Jung, J. C. & Ozaki, A. (eds.). CEUR-WS, 10 p. (CEUR Workshop Proceedings; vol. 3739).

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

    Open Access
  • Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules

    Zafarghandi, A. K. & Koopmann, P., 2024, NMR 2024 Nonmonotonic Reasoning 2024: Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) Hanoi, Vietnam, November 2-4, 2024. Gierasimczuk, N. & Heyninck, J. (eds.). CEUR-WS.org, p. 122-131 10 p. (CEUR Workshop Proceedings; vol. 3835).

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

    Open Access