no code implementations • 25 Jan 2020 • Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese
Moreover, we show that well-known formula-based approaches are also not appropriate for DL-Lite expansion and contraction: they either have a high complexity of computation, or they produce logical theories that cannot be expressed in DL-Lite.
no code implementations • 20 Sep 2017 • Simon Razniewski, Vevake Balaraman, Werner Nutt
In this work, we have developed a human-annotated dataset of 350 preference judgments among pairs of knowledge base properties for fixed entities.
no code implementations • 5 Mar 2015 • Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche
In this paper, we focus on the class of single-function object-creating conjunctive queries, or sifo CQs for short.