427 search results - page 3 / 86 » e-Service Composition by Description Logics Based Reasoning |
DLOG
2008
15 years 4 days ago
2008
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
DLOG
2009
14 years 7 months ago
2009
100
click to vote
DLOG
2008
15 years 4 days 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
15 years 10 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...