29 search results - page 1 / 6 » Epistemic First-order Queries over Description Logic Knowled... |
DLOG
2006
13 years 6 months ago
2006
AAAI
2000
13 years 6 months ago
2000
ECSQARU
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
DLOG
2011
12 years 8 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...
DLOG
2009
13 years 2 months ago
2009
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...