A Modal Representation of Graded Medical Statements
Medical natural language statements uttered by physicians are usually graded, i.e., are associated with a degree of uncertainty about the validity of a medical assessment. This uncertainty is often expressed through specific verbs, adverbs, or adjectives in natural language. In this paper, we look into a representation of such graded statements by presenting a simple non-normal modal logic which comes with a set of modal operators, directly associated with the words indicating the uncertainty and interpreted through confidence intervals in the model theory. We complement the model theory by a set of RDFS-/OWL 2 RL-like entailment (if-then) rules, acting on the syntactic representation of modalized statements. Our interest in such a formalization is related to the use of OWL as the de facto standard in (medical) ontologies today and its weakness to represent and reason about assertional knowledge that is uncertain or that changes over time. The approach is not restricted to medical statements, but is applicable to other graded statements as well.
KeywordsModal Logic Description Logic Propositional Formula Satisfaction Relation Propositional Letter
The research described in this paper has been co-funded by the Horizon 2020 Framework Programme of the European Union within the project PAL (Personal Assistant for healthy Lifestyle) under Grant agreement no. 643783. The authors have profited from discussions with our colleagues Miroslav Janíček and Bernd Kiefer and would like to thank the three reviewers for their suggestions.
- 2.Baader, F.: Description logic terminology. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) The Description Logic Handbook, pp. 495–505. Cambridge University Press, Cambridge (2003)Google Scholar
- 6.Hayes, P.: RDF semantics. Technical report, W3C (2004)Google Scholar
- 7.Heinsohn, J.: ALCP - Ein hybrider Ansatz zur Modellierung von Unsicherheit in terminologischen Logiken. Ph.D. thesis, Universität des Saarlandes, June 1993 (in German)Google Scholar
- 8.Jaeger, M.: Probabilistic reasoning in terminological logics. In: Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 305–316 (1994)Google Scholar
- 9.Jøsang, A.: Artificial reasoning with subjective logic. In: Proceedings of the 2nd Australian Workshop on Commonsense Reasoning (1997)Google Scholar
- 11.Krengel, U.: Einführung in die Wahrscheinlichkeitstheorie und Statistik, 7th edn. Vieweg (2003) (in German)Google Scholar
- 12.Krieger, H.U.: A temporal extension of the Hayes/ter Horst entailment rules and an alternative to W3C’s n-ary relations. In: Proceedings of the 7th International Conference on Formal Ontology in Information Systems (FOIS), pp. 323–336 (2012)Google Scholar
- 13.Krieger, H.U.: An efficient implementation of equivalence relations in OWL via rule and query rewriting. In: Proceedings of the 7th IEEE International Conference on Semantic Computing (ICSC), pp. 260–263 (2013)Google Scholar
- 15.Schulz, S., Martínez-Costa, C., Karlsson, D., Cornet, R., Brochhausen, M., Rector, A.: An ontological analysis of reference in health record statements. In: Proceedings of the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014) (2014)Google Scholar
- 16.Stoilos, G., Stamou, G.B., Tzouvaras, V., Pan, J.Z., Horrocks, I.: Fuzzy OWL: uncertainty and the semantic web. In: Proceedings of the OWLED 2005 Workshop on OWL: Experiences and Directions (2005)Google Scholar
- 19.Tresp, C.B., Molitor, R.: A description logic for vague knowledge. In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI), pp. 361–365 (1998)Google Scholar
- 20.Wikipedia: Modal logic – Wikipedia, The Free Encyclopedia (2015). https://en.wikipedia.org/wiki/Modal_logic, Accessed on 19 June 2015