01489nas a2200181   4500008004100000245006100041210006000102260004800162490000800210520085700218100002101075700003201096700002001128700002001148700002201168700002201190856009501212       2011                        eng d00aRepresentation of Parsimonious Covering Theory in OWL-DL0 aRepresentation of Parsimonious Covering Theory in OWLDL  aSan Francisco, California, USAbCEUR-WS.org0 v7963 a<p>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.</p>
1 aHenson, Cory, A.1 aThirunarayan, Krishnaprasad1 aSheth, Amit, P.1 aHitzler, Pascal1 aDumontier, Michel1 aCourtot, Mélanie  uhttps://daselab.cs.ksu.edu/publications/representation-parsimonious-covering-theory-owl-dl