TY - CONF T1 - Representation of Parsimonious Covering Theory in OWL-DL T2 - Proceedings of the 8th International Workshop on OWL: Experiences and Directions {(OWLED} 2011), San Francisco, California, USA, June 5-6, 2011 Y1 - 2011 A1 - Cory A. Henson A1 - Krishnaprasad Thirunarayan A1 - Amit P. Sheth A1 - Pascal Hitzler ED - Michel Dumontier ED - Mélanie Courtot AB -

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.

JF - Proceedings of the 8th International Workshop on OWL: Experiences and Directions {(OWLED} 2011), San Francisco, California, USA, June 5-6, 2011 PB - CEUR-WS.org CY - San Francisco, California, USA VL - 796 ER -