27 search results - page 1 / 6 » NEXPTIME-Complete Description Logics with Concrete Domains |
DLOG
2007
13 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...
CADE
2001
Springer
14 years 4 months ago
2001
Springer
IJCAI
2003
13 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 ...
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
In description logics (DLs), concrete domains are used for defining concepts based on concrete qualities of their instances such as the weight, age, duration, and spatial extensio...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predic...