9145 search results - page 68 / 1829 » Description Logic Systems |
125
Voted
NGC
2007
Springer
15 years 2 days ago
2007
Springer
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...
102
Voted
ECAI
2008
Springer
15 years 2 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...
109
Voted
DLOG
2006
15 years 1 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 ...
116
click to vote
KRDB
2003
15 years 1 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...
88
Voted
IANDC
2008
15 years 18 days 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...