1462 search results - page 22 / 293 » Autoepistemic Description Logics |
106
Voted
DLOG
2001
15 years 1 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...
128
click to vote
CVPR
2011
IEEE
14 years 8 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 6 days ago
2002
Springer
107
click to vote
DLOG
2007
15 years 2 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...
104
click to vote
KR
2000
Springer
15 years 3 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...