29 search results - page 1 / 6 » Epistemic First-order Queries over Description Logic Knowled... |
73
Voted
DLOG
2006
15 years 7 days ago
2006
AAAI
2000
15 years 6 days ago
2000
105
Voted
ECSQARU
2009
Springer
15 years 5 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
14 years 2 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
14 years 8 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 ...