Querying Class-Relationship Logic in a Metalogic Framework

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

View graph of relations

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.
Original languageEnglish
TitleFlexible Query Answering Systems : 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings
PublisherSpringer
Publication date2011
Pages96-107
ISBN (print)978-3-642-24763-7
ISBN (electronic)978-3-642-24764-4
DOIs
StatePublished

Conference

Conference9th International Conference on Flexible Query Answering Systems
Number9
CountryBelgium
CityGhent
Period26/10/1128/10/11
Internet addresshttp://fqas2011.ugent.be/drupal6/
NameLecture Notes in Artificial Intelligence
Number7022
ISSN (Print)0302-9743
CitationsWeb of Science® Times Cited: No match on DOI

Keywords

  • Datalog as metalogic, Querying knowledge bases and ontologies, Analytic vs. synthetic knowledge
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 6314681