135 citations · 302 across the 18 of their papers we have counts for
3 papers · 1 filter
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
We propose a novel, type-elimination-based method for reasoning in the description logic SHIQbs including DL-safe rules. To this end, we first establish a knowledge compilation met…
OWL: Yet to arrive on the Web of Data?
Birte Glimm, Aidan Hogan, Markus Krötzsch +1
Seven years on from OWL becoming a W3C recommendation, and two years on from the more recent OWL 2 W3C recommendation, OWL has still experienced only patchy uptake on the Web. Alth…
A Description Logic Primer
Markus Krötzsch, Frantisek Simancik, Ian Horrocks
This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the D…