A Denotational Semantics for OIL-Lite and Standard Oil

I. Horrocks
Department of Computer Science
University of Manchester, UK