1966 search results - page 8 / 394 » Description Logics and Planning |
DLOG
2008
15 years 2 months ago
2008
Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...
FORTE
2010
15 years 1 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
ER
2007
Springer
15 years 5 months ago
2007
Springer
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
CADE
2001
Springer
16 years 18 hour ago
2001
Springer