267 search results - page 8 / 54 » Evolution of DL - Lite Knowledge Bases |
100
click to vote
KI
2008
Springer
15 years 1 months ago
2008
Springer
To model human concepts of motions is essential for the development of the systems and machines that collaborate with ordinary people on spatiodynamic tasks. This paper applies two...
119
click to vote
DLOG
2011
14 years 5 months ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
140
click to vote
TABLEAUX
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
125
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
108
click to vote
OTM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This article wants to address the need for a research effort and framework that studies and embraces the novel, difficult but crucial issues of adaptation of knowledge r...