2006OpenAlex automated
Rules with Contextually Scoped Negation
2014OpenAlex automated
$\mathcal{EL}$ -ifying Ontologies
2019OpenAlex automated
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
2014OpenAlex automated
Pushing the Boundaries of Tractable Ontology Reasoning
2020OpenAlex automated
When is Ontology-Mediated Querying Efficient?
2014OpenAlex automated
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs
2021OpenAlex automated
Answer Counting under Guarded TGDs
2020OpenAlex automated
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
2021OpenAlex automated
Characterising Fixed Parameter Tractability of Query Evaluation over Guarded TGDs
2007OpenAlex automated
Guarded Hybrid Knowledge Bases
2010OpenAlex automated
An Optimization for Reasoning with Forest Logic Programs
2014OpenAlex automated
Reasoning with forest logic programs
2011OpenAlex automated
Reasoning with Forest Logic Programs and f-hybrid knowledge bases
2019OpenAlex automated