|Title||Defeasible Inference with Circumscriptive OWL Ontologies|
|Publication Type||Conference Paper|
|Year of Publication||2008|
|Authors||Stephan Grimm, Pascal Hitzler|
|Publisher||5th European Semantic Web Conference, ESWC08|
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.