Ontology-Based Context Modeling
Foundations of Logic Programming