Sciweavers

3446 search results - page 68 / 690
» A Reasoning Algorithm for pD*
Sort
View
DLOG
2008
15 years 3 months ago
Classifying Fuzzy Subsumption in Fuzzy-EL+
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan
WEBI
2007
Springer
15 years 7 months ago
Extending XML Query Language Xcerpt by Ontology Queries
The paper addresses a problem of combining XML querying with ontology reasoning. We present an extension of a rule-based XML query and transformation language Xcerpt. The extensio...
Wlodzimierz Drabent, Artur Wilk
DLOG
2007
15 years 3 months ago
Inverse Roles Make Conjunctive Queries Hard
Abstract. Conjunctive query answering is an important DL reasoning task. Although this task is by now quite well-understood, tight complexity bounds for conjunctive query answering...
Carsten Lutz
DLOG
2007
15 years 3 months ago
A Possibilistic Extension of Description Logics
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...
Guilin Qi, Jeff Z. Pan, Qiu Ji
CG
2000
Springer
15 years 5 months ago
A Least-Certainty Heuristic for Selective Search
: We present a new algorithm for selective search by iterative expansion of leaf nodes. The algorithm reasons with leaf evaluations in a way that leads to high confidence in the c...
Paul E. Utgoff, Richard P. Cochran