1317 search results - page 7 / 264 » Fusions of Description Logics and Abstract Description Syste... |
CADE
2000
Springer
14 years 23 days ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
MODELLIERUNG
2008
13 years 9 months ago
2008
CADE
2004
Springer
14 years 8 months ago
2004
Springer
CADE
2001
Springer
14 years 8 months ago
2001
Springer
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 s...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...