Folie 1 ISWeb - Information Systems & Semantic Web Steffen Staab [email protected] Foundations of Logic Programming 1 of 48 Three-Valued Models of Program Completion…