Querying Class-Relationship Logic in a Metalogic Framework

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    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
    Title of host publicationFlexible 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
    Publication statusPublished - 2011
    Event9th International Conference on Flexible Query Answering Systems - Ghent, Belgium
    Duration: 26 Oct 201128 Oct 2011
    Conference number: 9
    http://fqas2011.ugent.be/drupal6/

    Conference

    Conference9th International Conference on Flexible Query Answering Systems
    Number9
    CountryBelgium
    CityGhent
    Period26/10/201128/10/2011
    Internet address
    SeriesLecture Notes in Artificial Intelligence
    Number7022
    ISSN0302-9743

    Keywords

    • Datalog as metalogic
    • Querying knowledge bases and ontologies
    • Analytic vs. synthetic knowledge

    Cite this

    Nilsson, J. F. (2011). Querying Class-Relationship Logic in a Metalogic Framework. In Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings (pp. 96-107). Springer. Lecture Notes in Artificial Intelligence, No. 7022 https://doi.org/10.1007/978-3-642-24764-4_9