Conference paper
Querying Class-Relationship Logic in a Metalogic Framework
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.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2011 |
Pages: | 96-107 |
Proceedings: | 9th International Conference on Flexible Query Answering Systems |
Series: | Lecture Notes in Artificial Intelligence |
Journal subtitle: | 9th International Conference, Fqas 2011 Ghent, Belgium, October 26-28, 2011 Proceedings |
ISBN: | 3642247636 , 3642247644 , 9783642247637 and 9783642247644 |
ISSN: | 16113349 and 03029743 |
Types: | Conference paper |
DOI: | 10.1007/978-3-642-24764-4_9 |
ORCIDs: | Nilsson, Jørgen Fischer |