Patrick Koopmann
6 papers · 2019–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (11) 🐣 Hot Topic Early Bird
❓
The Questioner
🚀
Conference Pioneer
🌈
Renaissance Researcher
(5)
Top co-authors
Research topics
Keywords
description logic
(5)
knowledge representation
(2)
knowledge base
(2)
module extraction
(2)
uniform interpolation
(2)
contrastive explanation
(1)
hypothesis generation
(1)
temporal data
(1)
complex concept
(1)
ontology engineering
(1)
probabilistic data
(1)
datalog rewriting
(1)
abox abduction
(1)
ontology entailment
(1)
role chain axiom
(1)
stream reasoning
(1)
conjunctive queries
(1)
horn logic
(1)
ontology rewriting
(1)
assertion entailment
(1)
Papers
Can You Tell the Difference? Contrastive Explanations for ABox Entailments
AAAI 2026
Efficient Computation of General Modules for ALC Ontologies
IJCAI 2023
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics
IJCAI 2021
Deductive Module Extraction for Expressive Description Logics
IJCAI 2020
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment
AAAI 2019
Ontology-Based Query Answering for Probabilistic Temporal Data
AAAI 2019