1512 search results - page 25 / 303 » Description Logic Terminology |
IJAR
2010
13 years 6 months ago
2010
IJCAI
2003
13 years 9 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 ...
AMAI
2000
Springer
13 years 7 months ago
2000
Springer
principled ones
DLOG
2001
13 years 9 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...
CADE
2002
Springer
14 years 8 months ago
2002
Springer