Abstract
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.
Similar content being viewed by others
Notes
- 1.
Recall that an interval is a set of real numbers, together with a total ordering relation (e.g., \(\le \)) over the elements, thus \(\emptyset \) is a perfect, although degraded interval.
References
Areces, C., Hoffmann, G., Denis, A.: Modal logics with counting. In: Dawar, A., de Queiroz, R. (eds.) WoLLIC 2010. LNCS, vol. 6188, pp. 98–109. Springer, Heidelberg (2010)
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)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2001)
Fine, K.: In so many possible worlds. Notre Dame J. Formal Logic 13(4), 516–520 (1972)
Halpern, J.Y.: Reasoning About Uncertainty. MIT Press, Cambridge (2003)
Hayes, P.: RDF semantics. Technical report, W3C (2004)
Heinsohn, J.: ALCP - Ein hybrider Ansatz zur Modellierung von Unsicherheit in terminologischen Logiken. Ph.D. thesis, Universität des Saarlandes, June 1993 (in German)
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)
Jøsang, A.: Artificial reasoning with subjective logic. In: Proceedings of the 2nd Australian Workshop on Commonsense Reasoning (1997)
Jøsang, A.: A logic for uncertain probabilities. Int. J. Uncertainty, Fuzzyness Knowl. Based Syst. 9(3), 279–311 (2001)
Krengel, U.: Einführung in die Wahrscheinlichkeitstheorie und Statistik, 7th edn. Vieweg (2003) (in German)
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)
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)
Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Francisco (1988)
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)
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)
Straccia, U.: Reasoning within fuzzy description logics. J. Artif. Intell. Res. 14, 147–176 (2001)
ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. J. Web Seman. 3, 79–115 (2005)
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)
Wikipedia: Modal logic – Wikipedia, The Free Encyclopedia (2015). https://en.wikipedia.org/wiki/Modal_logic, Accessed on 19 June 2015
Acknowledgements
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krieger, HU., Schulz, S. (2016). A Modal Representation of Graded Medical Statements. In: Foret, A., Morrill, G., Muskens, R., Osswald, R., Pogodalla, S. (eds) Formal Grammar. FG FG 2015 2016. Lecture Notes in Computer Science(), vol 9804. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53042-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-53042-9_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-53041-2
Online ISBN: 978-3-662-53042-9
eBook Packages: Computer ScienceComputer Science (R0)