Query Translation for Ontology-extended Data Sources
Logical Form
Validity
Chapter 4
Dr Alick Bush and Dr Gemma Griffith
Formal Semantics (Logic)
CSE 5731 Lectures 13-14 First-Order Logic CSE 573 Artificial Intelligence I Henry Kautz Fall 2001.