Querying Class-Relationship Logic in a Metalogic Framework
- 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
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.
KeywordsQuerying knowledge bases and ontologies Datalog as metalogic Analytic vs. synthetic knowledge
Unable to display preview. Download preview PDF.