2302 search results - page 18 / 461 » Basic Description Logics |
74
Voted
KR
1994
Springer
15 years 4 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...
122
Voted
DLOG
2008
15 years 3 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...
96
Voted
DLOG
2006
15 years 2 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
97
Voted
DLOG
2004
15 years 2 months ago
2004
We present an application
75
Voted
TABLEAUX
1999
Springer
15 years 5 months ago
1999
Springer
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.