1435 search results - page 2 / 287 » E-connections of Description Logics |
CADE
1998
Springer
13 years 9 months ago
1998
Springer
CADE
2006
Springer
13 years 9 months ago
2006
Springer
DLOG
1998
13 years 6 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
DLOG
2007
13 years 7 months ago
2007
We introduce a description language for specifying partial ordering relations over concept descriptions in description logics, and show how the language can be used in combination ...
AISC
1998
Springer
13 years 9 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...