4 papers
ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
Anselm Haak, Patrick Koopmann, Yasir Mahmood +1
Given a knowledge base (KB) with a non-entailed fact, the ABox abduction problem asks for possible extensions of the KB that would entail this fact. This problem has many applicati…
Why not? Developing ABox Abduction beyond Repairs
Anselm Haak, Patrick Koopmann, Yasir Mahmood +1
Abduction is the task of computing a sufficient extension of a knowledge base (KB) that entails a conclusion not entailed by the original KB. It serves to compute explanations, or…
Efficient TBox Reasoning with Value Restrictions using the wer reasoner
Franz Baader, Patrick Koopmann, Friedrich Michel +2
The inexpressive Description Logic (DL) , which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out…
Query Answering for Rough EL Ontologies (Extended Technical Report)
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Querying large datasets with incomplete and vague data is still a challenge. Ontology-based query answering extends standard database query answering by background knowledge from a…