Querying Class-Relationship Logic in a Metalogic Framework

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

Standard

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

Publication: Research - peer-reviewArticle 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, , 10.1007/978-3-642-24764-4_9

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). 10.1007/978-3-642-24764-4_9

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). Available from: 10.1007/978-3-642-24764-4_9

MLA

Nilsson, Jørgen Fischer "Querying Class-Relationship Logic in a Metalogic Framework". 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; Journal number 7022). Available: 10.1007/978-3-642-24764-4_9

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). Available from: 10.1007/978-3-642-24764-4_9

Author

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

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-reviewArticle 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",
doi = "10.1007/978-3-642-24764-4_9",
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 -