3446 search results - page 38 / 690 » A Reasoning Algorithm for pD* |
112
click to vote
DLOG
2004
15 years 2 months ago
2004
In this paper, we propose a tableau-based technique for reasoning with various distributed DL knowledge bases. This technique can be applied both to DDLs and to new and relevant s...
120
click to vote
DLOG
2006
15 years 2 months ago
2006
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
105
click to vote
DLOG
2006
15 years 2 months ago
2006
A variety of fuzzy description logics are proposed to extend classical description logics with fuzzy capability. However, reasoning with general TBoxes is still an open problem in...
123
click to vote
CADE
2003
Springer
16 years 1 months ago
2003
Springer
Ordinals form the basis for termination proofs in ACL2. Currently, ACL2 uses a rather inefficient representation for the ordinals up to 0 and provides limited support for reasoning...
123
click to vote
DLOG
2004
15 years 2 months ago
2004
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effe...