Hide/Show Apps

Querying Class-Relationship Logic in a Metalogic Framework

Nilsson, Jorgen Fischer
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.