no code implementations • 8 Aug 2023 • James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter
Knowledge Representation and Reasoning is a central, longstanding, and active area of Artificial Intelligence.
no code implementations • 4 Feb 2014 • Ilianna Kollia, Birte Glimm
Our experimental study shows that the static ordering usually outperforms the dynamic one when accurate statistics are available.
no code implementations • 16 Jan 2014 • Sebastian Rudolph, Birte Glimm
Provided that queries contain only simple roles, our result also shows decidability of entailment of (unions of) conjunctive queries in the logic that underpins OWL 1 DL and we believe that the presented results will pave the way for further progress towards conjunctive query entailment decision procedures for the Description Logics underlying the OWL standards.