3446 search results - page 218 / 690 » A Reasoning Algorithm for pD* |
149
click to vote
DLOG
2007
15 years 6 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
139
click to vote
DLOG
2007
15 years 6 months ago
2007
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
125
click to vote
DLOG
2008
15 years 6 months ago
2008
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
139
click to vote
ASWC
2008
Springer
15 years 6 months ago
2008
Springer
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
148
click to vote
IJCAI
2007
15 years 6 months ago
2007
The paper describes a simple but effective framework for visual object tracking in video sequences. The main contribution of this work lies in the introduction of a case-based rea...