Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention)

Bourhis, Pierre; Krötzsch, Markus; Rudolph, Sebastian

Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention)

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 2826-2831.

Abstract

Expressive query languages are gaining relevance in knowledge representation (KR), and new reasoning problems come to the fore. Especially query containment is interesting in this context. The problem is known to be decidable for many expressive query languages, but exact complexities are often missing. We introduce a new query language, guarded queries (GQ), which generalizes most known languages where query containment is decidable. GQs can be nested (more expressive), or restricted to linear recursion (less expressive). Our comprehensive analysis of the computational properties and expressiveness of (linear/nested) GQs also yields insights on many previous languages.

Pierre Bourhis, Markus Krötzsch, and Sebastian Rudolph. 2015. Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 2826–2831. https://ijcai.org/proceedings/2015/400

@inproceedings{ijcai2015p400,
  title     = {Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention)},
  author    = {Bourhis, Pierre and Krötzsch, Markus and Rudolph, Sebastian},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-15}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Qiang Yang and Michael Wooldridge},
  pages     = {2826--2831},
  year      = {2015},
  month     = {7},
  note      = {Special Track on Knowledge Representation and Reasoning},
  url       = {https://ijcai.org/proceedings/2015/400},
}

TY  - CPAPER
TI  - Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention)
AU  - Bourhis, Pierre
AU  - Krötzsch, Markus
AU  - Rudolph, Sebastian
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 2826
EP  - 2831
UR  - https://ijcai.org/proceedings/2015/400
ER  -