Just-In-Time Compilation of Knowledge Bases
by Gilles Audemard, Jean-Marie Lagniez, Laurent Simon
First Order-Rewritability of Atomic Queries in Horn Description Logics
by Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Conjunctive Regular Path Queries in Lightweight Description Logics
by Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Tractable Queries for Lightweight Description Logics
by Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access
by Meghyn Bienvenu, Riccardo Rosati
Keyword
[none]
Group
°
Artificial Intelligence and Inference Systems
Contact
[none]
