Sciweavers

DLOG
2009

Generalized Closed World Reasoning in Description Logics with Extended Domain Closure

13 years 8 months ago
Generalized Closed World Reasoning in Description Logics with Extended Domain Closure
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 base. In this paper, a generalized closed world assumption (GCWA) is specified for the description logic ALCN and all of its sublanguages, provided that the terminological component is eliminable. In certain situations, by applying the GCWA, queries are often answered as intended by users. Opposed to queries with an epistemic operator K, querying with this approach provides the information which of the corresponding assertions can consistently be assumed to be true. Further, the GCWA can be applied locally.
Oliver Gries
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where DLOG
Authors Oliver Gries
Comments (0)