OWL: A Description Logic Based Ontology Language.

Ian Horrocks

Browse the full ICLP paper archive.