262 search results - page 6 / 53 » Reasoning and Explanation in EL and in Expressive Descriptio... |
105
click to vote
DLOG
2003
15 years 1 months ago
2003
This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...
160
click to vote
CADE
2002
Springer
15 years 12 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
DLOG
2009
14 years 9 months ago
2009
118
click to vote
KR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
CADE
2001
Springer
15 years 12 months ago
2001
Springer
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...