427 search results - page 3 / 86 » e-Service Composition by Description Logics Based Reasoning |
DLOG
2008
13 years 10 months ago
2008
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
DLOG
2009
13 years 6 months ago
2009
DLOG
2008
13 years 10 months 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...
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...