Exact Query Reformulation with First-Order Ontologies and Databases

DOI10.1007/978-3-642-33353-8_16zbMath1361.68073OpenAlexW1904378708MaRDI QIDQ2915072

Nhung Ngo, Enrico Franconi, Volha Kerhet

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33353-8_16

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30)

Uses Software

• Prover9
• Mace4

Cites Work

• Sound and efficient closed-world reasoning for planning
• Constructibility and decidability versus domain independence and absoluteness
• Query Answering with DBoxes is Hard
• Exact Query Reformulation over Databases with First-order and Description Logics Ontologies
• The DL-Lite Family and Relations
• Answering queries using views: A survey
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Exact Query Reformulation with First-Order Ontologies and Databases