Reasoning support for expressive ontology languages using a theorem prover (2006)

Cached

Download Links

by Ian Horrocks , Andrei Voronkov
Venue:In FoIKS
Citations:11 - 0 self