Ontological Reasoning with F-logic Lite and its Extensions

Andrea Calì; Georg Gottlob; Michael Kifer; Thomas Lukasiewicz; Andreas Pieris

Ontological Reasoning with F-logic Lite and its Extensions

Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In the database area, checking query containment is an important query optimization and schema integration technique. In knowledge representation it has been used for object classification, schema integration, service discovery, and more. In the presence of a knowledge base, the problem of query containment is strictly related to that of query answering; indeed, the two are reducible to each other; we focus on the latter, and our results immediately extend to the former.

Original language	English
Title of host publication	Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010
Publisher	The AAAI Press
Pages	1660-1665
Number of pages	6
Publication status	Published - 5 Jul 2010

Access to Document

http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1881

Cite this

@inproceedings{7b40236d4f924ec392a9c285ebf7af35,

title = "Ontological Reasoning with F-logic Lite and its Extensions",

abstract = "Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In the database area, checking query containment is an important query optimization and schema integration technique. In knowledge representation it has been used for object classification, schema integration, service discovery, and more. In the presence of a knowledge base, the problem of query containment is strictly related to that of query answering; indeed, the two are reducible to each other; we focus on the latter, and our results immediately extend to the former.",

author = "Andrea Cal{\`i} and Georg Gottlob and Michael Kifer and Thomas Lukasiewicz and Andreas Pieris",

year = "2010",

month = jul,

day = "5",

language = "English",

pages = "1660--1665",

booktitle = "Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010",

publisher = "The AAAI Press",

}

TY - GEN

T1 - Ontological Reasoning with F-logic Lite and its Extensions

AU - Calì, Andrea

AU - Gottlob, Georg

AU - Kifer, Michael

AU - Lukasiewicz, Thomas

AU - Pieris, Andreas

PY - 2010/7/5

Y1 - 2010/7/5

N2 - Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In the database area, checking query containment is an important query optimization and schema integration technique. In knowledge representation it has been used for object classification, schema integration, service discovery, and more. In the presence of a knowledge base, the problem of query containment is strictly related to that of query answering; indeed, the two are reducible to each other; we focus on the latter, and our results immediately extend to the former.

AB - Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In the database area, checking query containment is an important query optimization and schema integration technique. In knowledge representation it has been used for object classification, schema integration, service discovery, and more. In the presence of a knowledge base, the problem of query containment is strictly related to that of query answering; indeed, the two are reducible to each other; we focus on the latter, and our results immediately extend to the former.

M3 - Conference contribution

SP - 1660

EP - 1665

BT - Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010

PB - The AAAI Press

ER -

Ontological Reasoning with F-logic Lite and its Extensions

Abstract

Access to Document

Fingerprint

Cite this