1512 search results - page 21 / 303 » Description Logic Terminology |
DLOG
2001
14 years 11 months ago
2001
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 ...
81
Voted
CADE
2010
Springer
14 years 10 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
61
Voted
KR
1994
Springer
15 years 1 months ago
1994
Springer
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...
100
Voted
DLOG
2008
14 years 12 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
DLOG
2006
14 years 11 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.