Querying Class-Relationship Logic in a Metalogic Framework

Jørgen Fischer Nilsson

doi:10.1007/978-3-642-24764-4_9

Querying Class-Relationship Logic in a Metalogic Framework

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	Flexible Query Answering Systems : 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings
Publisher	Springer
Publication date	2011
Pages	96-107
ISBN (Print)	978-3-642-24763-7
ISBN (Electronic)	978-3-642-24764-4
DOIs	https://doi.org/10.1007/978-3-642-24764-4_9
Publication status	Published - 2011
Event	9th International Conference on Flexible Query Answering Systems - Ghent, Belgium Duration: 26 Oct 2011 → 28 Oct 2011 Conference number: 9 http://fqas2011.ugent.be/drupal6/

Conference

Conference	9th International Conference on Flexible Query Answering Systems
Number	9
Country/Territory	Belgium
City	Ghent
Period	26/10/2011 → 28/10/2011
Internet address	http://fqas2011.ugent.be/drupal6/

Series	Lecture Notes in Artificial Intelligence
Number	7022
ISSN	0302-9743

Keywords

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

Access to Document

10.1007/978-3-642-24764-4_9

http://fqas2011.ugent.be/drupal6/

OpenUrl availability

Full text

Cite this

@inproceedings{676bcca38ea54994a708726877ceca34,

title = "Querying Class-Relationship Logic in a Metalogic Framework",

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.",

keywords = "Datalog as metalogic, Querying knowledge bases and ontologies, Analytic vs. synthetic knowledge",

author = "Nilsson, {J{\o}rgen Fischer}",

year = "2011",

doi = "10.1007/978-3-642-24764-4_9",

language = "English",

isbn = "978-3-642-24763-7",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer",

number = "7022",

pages = "96--107",

booktitle = "Flexible Query Answering Systems",

note = "9th International Conference on Flexible Query Answering Systems, FQAS 2011 ; Conference date: 26-10-2011 Through 28-10-2011",

url = "http://fqas2011.ugent.be/drupal6/",

}

Nilsson, JF 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. Springer, Lecture Notes in Artificial Intelligence, no. 7022, pp. 96-107, 9th International Conference on Flexible Query Answering Systems, Ghent, Belgium, 26/10/2011. https://doi.org/10.1007/978-3-642-24764-4_9

Querying Class-Relationship Logic in a Metalogic Framework. / Nilsson, Jørgen Fischer.
Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, 2011. p. 96-107 (Lecture Notes in Artificial Intelligence; No. 7022).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Querying Class-Relationship Logic in a Metalogic Framework

AU - Nilsson, Jørgen Fischer

N1 - Conference code: 9

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

KW - Datalog as metalogic

KW - Querying knowledge bases and ontologies

KW - Analytic vs. synthetic knowledge

U2 - 10.1007/978-3-642-24764-4_9

DO - 10.1007/978-3-642-24764-4_9

M3 - Article in proceedings

SN - 978-3-642-24763-7

T3 - Lecture Notes in Artificial Intelligence

SP - 96

EP - 107

BT - Flexible Query Answering Systems

PB - Springer

T2 - 9th International Conference on Flexible Query Answering Systems

Y2 - 26 October 2011 through 28 October 2011

ER -

Querying Class-Relationship Logic in a Metalogic Framework

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this