Defeasible Inference with Circumscriptive OWL Ontologies

TitleDefeasible Inference with Circumscriptive OWL Ontologies
Publication TypeConference Paper
Year of Publication2008
AuthorsStephan Grimm, Pascal Hitzler
Publisher5th European Semantic Web Conference, ESWC08
Abstract

The Web Ontology Language (OWL) adheres to the openworld assumption and can thus not be used for forms of nonmonotonic reasoning or defeasible inference, an acknowledged desirable feature in open Semantic Web environments. We investigate the use of the formalism of circumscriptive description logics (DLs) to realise defeasible inference within the OWL framework. By example, we demonstrate how reasoning with (restricted) circumscribed OWL ontologies facilitates various forms of defeasible inference, also in comparison to alternative approaches. Moreover, we sketch an extension to DL tableaux for handling the circumscriptive case and report on a preliminary implementation.

Full Text

Stephan Grimm, Pascal Hitzler,'Defeasible Inference with Circumscriptive OWL Ontologies,' Proceedings of the Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, ARea 2008, at the 5th European Semantic Web Conference, ESWC08, Tenerife, Spain, June 2008.
year: 2008
venue name: 5th European Semantic Web Conference, ESWC08
hasURL: http://knoesis.wright.edu/faculty/pascal/resources/publications/area2008...