Including all RDFS reasoning capabilities, plus Transitivity (different from RDFS) Inheritance of disjointness constraint –Plant is disjoint with Animal, and Mammal is a subclass of Animal ->Plant is disjoint with Mammal Inferring equivalent relationship via FunctionalProperty –mother is a FunctionalProperty, Joe's mother is Julie, Joe's mother is Maggie -> Julie and Maggie is equivalent If an object is an instance of a restriction class, then the object has the specified value for that property –A restriction class called WhiteSkinPeople has a hasValue property called skinColor whose value is White, Joe is an instance of WhiteSkinPeople -> Joe has White skinColor Reasoning with inverseOf –owns and ownedby Any many more… OWL inference capabilities (only a small part of them)* *
{}