Sciweavers

1285 search results - page 39 / 257
» Description Logic Reasoner: System Description
Sort
View
99
Voted
JAR
2007
67views more  JAR 2007»
15 years 1 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»
15 years 1 months ago
Practical Reasoning for Very Expressive Description Logics
Ian Horrocks, Ulrike Sattler, Stephan Tobies
CADE
2010
Springer
15 years 2 months 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,...