199 citations · 396 across the 17 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 5 cited
Rewriting the Infinite Chase
Michael Benedikt, Maxime Buron, Stefano Germano +2
Guarded tuple-generating dependencies (GTGDs) are a natural extension of description logics and referential constraints. It has long been known that queries over GTGDs can be answe…
cs.LO2014★ 199 cited
Hypertableau Reasoning for Description Logics
Boris Motik, Rob Shearer, Ian Horrocks
We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge representation formalism with applications in areas such as the Semantic Web. Unnecessary nond…