1568 search results - page 6 / 314 » Fusions of Description Logics |
103
click to vote
AISC
1998
Springer
15 years 1 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...
77
Voted
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
CADE
1999
Springer
15 years 1 months ago
1999
Springer
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 ...
ECSQARU
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...