Sciweavers

1285 search results - page 39 / 257
» Description Logic Reasoner: System Description
Sort
View
JAR
2007
67views more  JAR 2007»
14 years 11 months ago
Optimizing Terminological Reasoning for Expressive Description Logics
Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schne...
CORR
2000
Springer
106views Education» more  CORR 2000»
14 years 11 months ago
Practical Reasoning for Very Expressive Description Logics
Ian Horrocks, Ulrike Sattler, Stephan Tobies
CADE
2010
Springer
15 years 27 days ago
Global Caching for Coalgebraic Description Logics
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
Rajeev Goré, Clemens Kupke, Dirk Pattinson,...