1470 search results - page 10 / 294 » An Introduction to Description Logics |
DLOG
2008
14 years 1 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
13 years 11 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
ACSD
2001
IEEE
14 years 1 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
DLOG
2004
13 years 11 months ago
2004
We present an application
TABLEAUX
1999
Springer
14 years 2 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.