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.
Cite
Text
Calì et al. "Ontological Reasoning with F-Logic Lite and Its Extensions." AAAI Conference on Artificial Intelligence, 2010. doi:10.1609/AAAI.V24I1.7709Markdown
[Calì et al. "Ontological Reasoning with F-Logic Lite and Its Extensions." AAAI Conference on Artificial Intelligence, 2010.](https://mlanthology.org/aaai/2010/cali2010aaai-ontological/) doi:10.1609/AAAI.V24I1.7709BibTeX
@inproceedings{cali2010aaai-ontological,
title = {{Ontological Reasoning with F-Logic Lite and Its Extensions}},
author = {Calì, Andrea and Gottlob, Georg and Kifer, Michael and Lukasiewicz, Thomas and Pieris, Andreas},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2010},
pages = {1660-1665},
doi = {10.1609/AAAI.V24I1.7709},
url = {https://mlanthology.org/aaai/2010/cali2010aaai-ontological/}
}