1498 search results - page 12 / 300 » Description logic for coalitions |
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 ...
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
click to vote
DLOG
2008
15 years 2 days 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.
DLOG
2004
14 years 11 months ago
2004
We present an application