Closed World Reasoning in the Semantic Web through Epistemic Operators.

Abstract

Abstract. The open world assumption makes OWL principally suit-able to handle incomplete knowledge in Semantic Web scenarios, how-ever, some scenarios desire closed world reasoning. Autoepistemic de-scription logics allow to realise closed world reasoning in open world set-tings through epistemic operators. An extension of OWL by epistemic operators therefore allows for non-monotonic features known from closed world systems, such as default rules, integrity constraints or epistemic querying. These features can be beneficially applied in Semantic Web scenarios, where OWL lacks expressiveness. 1