177 citations · 356 across the 9 of their papers we have counts for
3 papers · 2 filters
Reasoning with Individuals for the Description Logic SHIQ
Ian Horrock, Ulrike Sattler, Stephan Tobies
While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. In this pap…
Practical Reasoning for Expressive Description Logics
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive r…
Practical Reasoning for Very Expressive Description Logics
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive r…