1966 search results - page 44 / 394 » Description Logics and Planning |
128
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
117
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rule...
123
click to vote
DLOG
2006
15 years 3 months ago
2006
Tree automata are often used for satisfiability testing in the area of description logics, which usually yields ExpTime complexity results. We examine conditions under which this ...
126
click to vote
KRDB
2003
15 years 3 months ago
2003
Motivated by the possibilities of applying deductive database technology for efficient query answering in description logics, we present a translation operator µ that transforms...
IANDC
2008
15 years 2 months ago
2008
We present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. To...