1460 search results - page 13 / 292 » Preferential Description Logics |
133
click to vote
IJCAI
2003
15 years 6 months ago
2003
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
155
Voted
AMAI
2000
Springer
15 years 4 months ago
2000
Springer
principled ones
144
click to vote
DLOG
2001
15 years 6 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
155
Voted
DLOG
2007
15 years 7 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...