Closed World Reasoning in the Semantic Web through Epistemic Operators

EFI Forest Policy Research Forum: Cross-Sectoral Policy Impacts on Forests

Stephan Grimm ; Boris Motik

Others  :  http://CEUR-WS.org/Vol-188/sub12.pdf
PID  :  345

来源: CEUR

【 摘 要 】

The open world assumption makes OWL principally suitable to handle incomplete knowledge in Semantic Web scenarios, however, some scenarios desire closed world reasoning. Autoepistemic description logics allow to realise closed world reasoning in open world settings 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.