1436 search results - page 27 / 288 » Description Logic Unplugged |
122
click to vote
DLOG
2001
15 years 3 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...
149
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
CADE
2002
Springer
16 years 2 months ago
2002
Springer
CORR
1998
Springer
15 years 1 months ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
124
click to vote
DLOG
2007
15 years 4 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...