1435 search results - page 4 / 287 » E-connections of Description Logics |
DLOG
2006
15 years 1 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
DLOG
2004
15 years 1 months ago
2004
We present an application
TABLEAUX
1999
Springer
15 years 4 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.
101
click to vote
IJCAI
2003
15 years 1 months ago
2003
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar chy of decidable logics with multiple maximal el ements. It would be desirable to ...
114
click to vote
DLOG
2007
15 years 2 months ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...