|Title||Representation of Parsimonious Covering Theory in OWL-DL|
|Publication Type||Conference Paper|
|Year of Publication||2011|
|Authors||Cory Henson, Krishnaprasad Thirunarayan, Amit Sheth, Pascal Hitzler|
|Conference Name||8th International Workshop on OWL: Experiences and Directions (OWLED 2011)|
|Conference Location||San Francisco, California|
|Keywords||OWL and Abductive Reasoning and Parsimonious Covering Theory|
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.
|Full Text|| |
Cory Henson, Krishnaprasad Thirunarayan, Amit Sheth, Pascal Hitzler, 'Representation of Parsimonious Covering Theory in OWL-DL,' In: Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), San Francisco, CA, United States, June 5-6, 2011, CEUR-WS.org, ISSN 1613-0073.