427 search results - page 8 / 86 » e-Service Composition by Description Logics Based Reasoning |
112
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
152
click to vote
JAR
2007
15 years 3 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
146
Voted
DLOG
2003
15 years 5 months ago
2003
This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...
131
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
125
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...