A model theoretic semantics for DAML+OIL (2001)

by Frank van Harmelen, Ian Horrocks, Peter F PatelSchneider
Venue:W3C Note