Representation of Parsimonious Covering Theory in OWL-DL

TitleRepresentation of Parsimonious Covering Theory in OWL-DL
Publication TypeConference Papers
Year of Publication2011
AuthorsHenson, CA, Thirunarayan, K, Sheth, AP, Hitzler, P
EditorDumontier, M, Courtot, M
Conference NameProceedings of the 8th International Workshop on OWL: Experiences and Directions {(OWLED} 2011), San Francisco, California, USA, June 5-6, 2011
Conference LocationSan Francisco, California, USA

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.