1436 search results - page 27 / 288 » Description Logic Unplugged |
98
Voted
DLOG
2001
14 years 11 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...
112
Voted
CVPR
2011
IEEE
14 years 6 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
15 years 10 months ago
2002
Springer
CORR
1998
Springer
14 years 9 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...
87
Voted
DLOG
2007
15 years 5 hour 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...