Skip to main content
Springer Nature Link
Log in

Mathematical Logic for Life Science Ontologies

  • Conference paper
Logic, Language, Information and Computation (WoLLIC 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5514))

  • 596 Accesses

Abstract

We discuss how concepts and methods introduced in mathematical logic can be used to support the engineering and deployment of life science ontologies. The required applications of mathematical logic are not straighforward and we argue that such ontologies provide a new and rich family of logical theories that wait to be explored by logicians.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Foundational Model Explorer, http://fme.biostr.washington.edu:8089/FME/index.html

  2. http://www.ihtsdo.org/

  3. KR-Med: Representing and sharing knowledge using SNOMED. In: CEUR Workshop Proceedings, vol. 410 (2008)

    Google Scholar 

  4. Andreka, H., Madarasz, J., Nemeti, I.: Logic of space-time and relativity theory. In: Handbook of Spatial logic, pp. 607–711. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  5. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proc. IJCAI. Morgan Kaufmann, San Francisco (2005)

    Google Scholar 

  6. Baader, F., Calvanes, D., McGuiness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  7. D’Agostino, G., Lenzi, G.: An axiomatization of bisimulation quantifiers via the μ-calculus. Theoret. Comput. Sci. 338 (2005)

    Google Scholar 

  8. Eiter, T., Wang, K.: Semantic forgetting in answer set programming. Artif. Intell. 172(14), 1644–1672 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  9. Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? A case for conservative extensions in description logic. In: Proc. KR, pp. 187–197 (2006)

    Google Scholar 

  10. Ghilardi, S., Zawadowski, M.: Undefinability of propositional quantifiers in the modal system S4. Studia Logica 55 (1995)

    Google Scholar 

  11. Golbeck, J., Fragaso, G., Hartel, F., Hendler, J., Parsia, B., Oberhaler, J.: The national cancer institute’s thesaurus and ontology. J. of Web Semantics (2003)

    Google Scholar 

  12. Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. Journal of Artificial Intelligence Research 31, 273–318 (2008)

    MathSciNet  MATH  Google Scholar 

  13. Hofmann, M.: Proof-theoretic approach to description-logic. In: Proc. LICS, pp. 229–237 (2005)

    Google Scholar 

  14. Konev, B., Lutz, C., Walther, D., Wolter, F.: Semantic modularity and module extraction in description logic. In: Proc. ECAI, pp. 55–59 (2008)

    Google Scholar 

  15. Konev, B., Walther, D., Wolter, F.: The logical difference problem for description logic terminologies. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS, vol. 5195, pp. 259–274. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  16. Konev, B., Walther, D., Wolter, F.: Forgetting and uniform interpolation in large-scale description logic terminologies. In: Proceedings of IJCAI (2009)

    Google Scholar 

  17. Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in el using a relational database system. In: Proceedings of IJCAI (2009)

    Google Scholar 

  18. Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. IJCAI, pp. 453–458 (2007)

    Google Scholar 

  19. Lutz, C., Wolter, F.: Conservative extensions in the lightweight description logic \(\mathcal{EL}\). In: Pfenning, F. (ed.) CADE 2007. LNCS, vol. 4603, pp. 84–99. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  20. Lutz, C., Wolter, F.: Deciding inseparability and conservative extensios in the description logic EL. Journal of Symbolic Computation (2009)

    Google Scholar 

  21. Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  22. I. H. T. S. D. Organisation. SNOMED CT User Guide (2008), http://www.ihtsdo.org/snomed-ct/snomed-ct-publications/

  23. Patel, C., Cimino, J., Dolby, J., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Ma, L., Schonberg, E., Srinivas, K.: Matching patient records to clinical trials using ontologies. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 816–829. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  24. Pitts, A.: On an interpretation of second-order quantification in first-order intuitionistic propositional logic. J. Symbolic Logic 57 (1992)

    Google Scholar 

  25. Diaconescu, J.G.R., Stefaneas, P.: Logical support for modularisation. In: Huet, G., Plotkin, G. (eds.) Logical Environments (1993)

    Google Scholar 

  26. Rector, A.L., Rogers, J.: Ontological and practical issues in using a description logic to represent medical concept systems: Experience from galen. In: Reasoning Web, pp. 197–231 (2006)

    Google Scholar 

  27. Reiter, R., Lin, F.: Forget it? In: Proceedings of AAAI Fall Symposium on Relevance, pp. 154–159 (1994)

    Google Scholar 

  28. Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. J. of the Amer. Med. Informatics Ass. (2000); Fall Symposium Special Issue

    Google Scholar 

  29. Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.): Modular Ontologies. LNCS, vol. 5445. Springer, Heidelberg (2009)

    MATH  Google Scholar 

  30. Visser, A.: Uniform interpolation and layered bisimulation. In: Gödel 1996 (Brno, 1996). Lecture Notes Logic, vol. 6. Springer, Heidelberg (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bremen, Germany

    Carsten Lutz

  2. Department of Computer Science, University of Liverpool, UK

    Frank Wolter

Authors
  1. Carsten Lutz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank Wolter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, 923-1292, Ishikawa, Japan

    Hiroakira Ono

  2. National Institute of Informatics, 2–1–2 Hitotsubashi, Chiyoda-ku, 101–8430, Tokyo, Japan

    Makoto Kanazawa

  3. Centro de Informática, Universidade Federal de Pernambuco, Recife, PE, Brazil

    Ruy de Queiroz

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lutz, C., Wolter, F. (2009). Mathematical Logic for Life Science Ontologies. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2009. Lecture Notes in Computer Science(), vol 5514. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02261-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02261-6_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02260-9

  • Online ISBN: 978-3-642-02261-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics