Hide/Show Apps

Querying Class-Relationship Logic in a Metalogic Framework

2011-10-28
Nilsson, Jorgen Fischer
Show full item record
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
3
views
0
downloads
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 DATALOC logical language, which serves as an embracing decidable and tractable metalogic.
Querying Knowledge Bases And Ontologies, DATALOG As Metalogic, Analytic Vs. Synthetic Knowledge
https://hdl.handle.net/11511/63397
Department of Computer Engineering, Conference / Seminar
METU IIS - Integrated Information Service IT Support Service
You can transmit your request, problems about services
provided by METU Computer Center, and follow the process.