Querying Class-Relationship Logic in a Metalogic Framework

  • Jørgen Fischer Nilsson
Conference paper

DOI: 10.1007/978-3-642-24764-4_9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7022)
Cite this paper as:
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

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.

Keywords

Querying knowledge bases and ontologies Datalog as metalogic Analytic vs. synthetic knowledge 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jørgen Fischer Nilsson
    • 1
  1. 1.DTU InformaticsTechnical University of DenmarkDenmark

Personalised recommendations