Querying Class-Relationship Logic in a Metalogic Framework

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

Standard

Querying Class-Relationship Logic in a Metalogic Framework. / Nilsson, Jørgen Fischer.

In: 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).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

Harvard

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, pp. 96-107. Lecture Notes in Artificial Intelligence, no. 7022

APA

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

CBE

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. pp. 96-107. (Lecture Notes in Artificial Intelligence; No. 7022).

MLA

Nilsson, Jørgen Fischer "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. 2011. 96-107. (Lecture Notes in Artificial Intelligence; ???journalNumber??? 7022).

Vancouver

Nilsson JF. 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. 2011. p. 96-107. (Lecture Notes in Artificial Intelligence; No. 7022).

Author

Nilsson, Jørgen Fischer / Querying Class-Relationship Logic in a Metalogic Framework.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

Bibtex

@inbook{676bcca38ea54994a708726877ceca34,

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

publisher = "Springer",

author = "Nilsson, {Jørgen Fischer}",

year = "2011",

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

series = "Lecture Notes in Artificial Intelligence",

pages = "96-107",

booktitle = "Flexible Query Answering Systems",

}

RIS

TY - GEN

T1 - Querying Class-Relationship Logic in a Metalogic Framework

A1 - Nilsson,Jørgen Fischer

AU - Nilsson,Jørgen Fischer

PB - Springer

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

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

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

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

SN - 978-3-642-24763-7

BT - Flexible Query Answering Systems

T2 - Flexible Query Answering Systems

T3 - Lecture Notes in Artificial Intelligence

T3 - en_GB

SP - 96

EP - 107

ER -