598 search results - page 26 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
DLOG
2009
14 years 7 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
DLOG
1997
14 years 11 months ago
1997
In companies a large amount of information is maintained that is accessible via network communication tools. This makes searching for a particular piece of information a di cult t...
102
click to vote
WILF
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
100
click to vote
DLOG
2001
14 years 11 months ago
2001
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...