Skip to main content
Conference Proceedings

Querying class-relationship logic in a metalogic framework

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2011) 7022 LNAI 96-107
DOI: 10.1007/978-3-642-24764-4_9
6Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.
Get full text

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. © 2011 Springer-Verlag.

Author supplied keywords

Cite

CITATION STYLE

APA

Fischer Nilsson, J. (2011). Querying class-relationship logic in a metalogic framework. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7022 LNAI, pp. 96–107). https://doi.org/10.1007/978-3-642-24764-4_9

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free