1582 search results - page 32 / 317 » On Higher-Order Description Logics |
AMAI
2000
Springer
13 years 8 months ago
2000
Springer
principled ones
CORR
2011
Springer
13 years 3 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
DLOG
2001
13 years 10 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
DLOG
2007
13 years 10 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...