Skip to main content
SpringerLink
Log in

Querying Class-Relationship Logic in a Metalogic Framework

  • Conference paper
Book cover Flexible Query Answering Systems (FQAS 2011)

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

Included in the following conference series:

Abstract

We introduce a class relationship logic for stating various forms of logical relationships between classes. This logic is intended for ontologies and knowledge bases and combinations thereof. Reasoning and querying is conducted in the Datalog logical language, which serves as an embracing decidable and tractable metalogic.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Fischer Nilsson, J.: Diagrammatic Reasoning with Classes and Relationships, 18 pages (2010) (submitted)

    Google Scholar 

  2. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic programs with Description Logic. In: 12th WWW. ACM, New York (2003)

    Google Scholar 

  3. Calì, A., Gottlob, G., Lukasiewicz, T.: A General Datalog-based Framework for Tractable Query Answering over Ontologies. In: De Virgilio, R., Giunchiglia, F., Tanca, L. (eds.) Semantic Web Information Management: A Model-Based Perspective. Springer, Heidelberg (2010)

    Google Scholar 

  4. Hamfelt, A., Fischer Nilsson, J.: Towards a Logic Programming Methodology Based on Higher-Order Predicates. New Generation Computing 15(4), 421–448 (1997)

    Article  Google Scholar 

  5. Fischer Nilsson, J., Palomäki, J.: Towards Computing with Intensions and Extensions of Concepts. In: Charrel, P.-J., et al. (eds.) Information Modelling and Knowledge Bases IX. IOS Press, Amsterdam (1998)

    Google Scholar 

  6. Fischer Nilsson, J.: A Conceptual Space Logic, in Kawaguchi, E. In: Kawaguchi, E., et al. (eds.) 9th European-Japanese Conferences on Information Modelling and Knowledge Bases, Information Modelling and Knowledge Bases XI, Iwate, Japan, May 24-28. IOS Press, Amsterdam (1999/2000)

    Google Scholar 

  7. Fischer Nilsson, J.: On Reducing Relationships to Property Ascriptions. In: Kiyoki, Y., Tokuda, T., Jaakkola, H., Chen, X., Yoshida, N. (eds.) Information Modelling and Knowledge Bases XX. Frontiers in Artificial Intelligence and Applications, vol. 190 (January 2009) hardcover ISBN: 978-1-58603-957-8

    Google Scholar 

  8. Fischer Nilsson, J.: Ontological constitutions for classes and properties. In: Schärfe, H., Hitzler, P., Øhrstrøm, P. (eds.) ICCS 2006. LNCS (LNAI), vol. 4068, pp. 37–53. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  9. Andreasen, T., et al.: A Semantics-based Approach to Retrieving Biomedical Information. In: Christiansen, H., et al. (eds.) FQAS 2011. LNCS (LNAI), pp. 108–118. Springer, Heidelberg (2011)

    Google Scholar 

  10. Blondé, W., et al.: Metarel: an Ontology to support the inferencing of Semantic Web relations within biomedical Ontologies. In: International Conference on Biomedical Ontology, Buffalo, NY (2009)

    Google Scholar 

  11. Smith, B., et al.: Relations in biomedical ontologies. Genome Biology 6, R46 (2005)

    Google Scholar 

  12. Zambach, S.: A formal framework on the semantics of regulatory relations and their presence as verbs in biomedical texts. In: Andreasen, T., Yager, R.R., Bulskov, H., Christiansen, H., Larsen, H.L. (eds.) FQAS 2009. LNCS, vol. 5822, pp. 443–452. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  13. Zambach, S., Hansen, J.U.: Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways. In: Khuri, S., Lhotská, L., Pisanti, N. (eds.) ITBAM 2010. LNCS, vol. 6266, pp. 186–200. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  14. Smith, B., Rosse, C.: The Role of Foundational Relations in the Alignment of Biomedical Ontologies. In: MEDINFO 2004. IOS Press, Amsterdam (2004)

    Google Scholar 

  15. van Benthem, J.: Essays in Logical Semantics. Reidel, Dordrecht (1986)

    Book  MATH  Google Scholar 

  16. Ajspur, M., Zambach, S.: Reduction of composites of relations between classes within formal ontologies. In: ARCOE Working Notes, Barcelona (2011)

    Google Scholar 

  17. Simons, P.: Parts, A Study in Ontology. Clarendon Press, Oxford (1987)

    Google Scholar 

  18. Brink, C., et al.: Peirce Algebras. Formal Aspects of Computing 6(3) (1994)

    Google Scholar 

  19. Sanchez Valencia, V.: The Algebra of Logic. In: Gabbay, D.M., Woods, J. (eds.) Handbook of the History of Logic. The Rise of Modern Logic: From Leibniz to Frege, vol. 3. Elsevier, Amsterdam (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DTU Informatics, Technical University of Denmark, Denmark

    Jørgen Fischer Nilsson

Authors
  1. Jørgen Fischer Nilsson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Communication, Business and Information Technologies, Roskilde University, P.O. box 260, 4000, Roskilde, Denmark

    Henning Christiansen

  2. Department of Telecommunications and Information Processing, Ghent University, Sint-Pietersnieuwstraat 41, 9000, Ghent, Belgium

    Guy De Tré

  3. Computer Engineering Department, Middle East Technical University (METU), 06531, Ankara, Türkiye

    Adnan Yazici

  4. Systems Research Institute, Polish Academy of Science, Newelska 6, 01-447, Warsaw, Poland

    Slawomir Zadrozny

  5. Department of Computer Science, Roskilde University, Building 42.1, P.O Box 260, 4000, Roskilde, Denmark

    Troels Andreasen

  6. Department of Electronic Systems, Aalborg University, Niels Bohrs Vey 8, H321, 6700, Esbjerg, Denmark

    Henrik Legind Larsen

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fischer Nilsson, J. (2011). Querying Class-Relationship Logic in a Metalogic Framework. In: Christiansen, H., De Tré, G., Yazici, A., Zadrozny, S., Andreasen, T., Larsen, H.L. (eds) Flexible Query Answering Systems. FQAS 2011. Lecture Notes in Computer Science(), vol 7022. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24764-4_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24764-4_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24763-7

  • Online ISBN: 978-3-642-24764-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation