Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Açık Bilim Politikası
Açık Bilim Politikası
Frequently Asked Questions
Frequently Asked Questions
Browse
Browse
By Issue Date
By Issue Date
Authors
Authors
Titles
Titles
Subjects
Subjects
Communities & Collections
Communities & Collections
Querying Class-Relationship Logic in a Metalogic Framework
Date
2011-10-28
Author
Nilsson, Jorgen Fischer
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
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.
Subject Keywords
Querying Knowledge Bases And Ontologies
,
DATALOG As Metalogic
,
Analytic Vs. Synthetic Knowledge
URI
https://hdl.handle.net/11511/63397
Collections
Department of Computer Engineering, Conference / Seminar