199 citations · 953 across the 42 of their papers we have counts for
1 paper · 2 filters
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…