Representation of Parsimonious Covering Theory in OWL-DL

Document Type

Conference Proceeding

Publication Date

6-2011

Abstract

The Web Ontology Language has not been designed for representing abductive inference, which is often required for applications such as medical disease diagnosis. As a consequence, existing OWL ontologies have limited ability to encode knowledge for such applications. In the last 150 years, many logic frameworks for the representation of abductive inference have been developed. Among these frameworks, Parsimonious Covering Theory (PCT) has achieved wide recognition. PCT is a formal model of diagnostic reasoning in which knowledge is represented as a network of causal associations, and whose goal is to account for observed symptoms with plausible explanatory hypotheses. In this paper, we argue that OWL does provide some of the expressivity required to approximate diagnostic reasoning, and outline a suitable encoding of PCT in OWL-DL.

Comments

This paper was presented at the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), San Francisco, CA, June 5-6, 2011.

Slides of presentation are available at Slideshare.


Share

COinS