Chapter

Flexible Query Answering Systems

Volume 7022 of the series Lecture Notes in Computer Science pp 96-107

Querying Class-Relationship Logic in a Metalogic Framework

  • Jørgen Fischer NilssonAffiliated withDTU Informatics, Technical University of Denmark

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