activity
20152026
most citedOptimal Alignment of Temporal Knowledge Bases

1 citations · 1 across the 8 of their papers we have counts for

collaborators
Showing cs.LOShow all

6 papers · 1 filter

cs.LO2026

The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in ELbot

Anselm Haak, Patrick Koopmann, Yasir Mahmood +1

Abduction is a central approach to explain missing entailments from a knowledge base by providing a hypothesis, that would, if added to the knowledge base, make the missing entailm…

cs.LO2026

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…

cs.LO2025

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…

cs.LO2023★ 1 cited

Optimal Alignment of Temporal Knowledge Bases

Oliver Fernandez-Gil, Fabio Patrizi, Giuseppe Perelli +1

Answering temporal CQs over temporalized Description Logic knowledge bases (TKB) is a main technique to realize ontology-based situation recognition. In case the collected data in…

cs.LO2018

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…

cs.LO2015

Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies

Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza +1

Fuzzy Description Logics (DLs) provide a means for representing vague knowledge about an application domain. In this paper, we study fuzzy extensions of conjunctive queries (CQs) o…