I have a Student class in my ontology having two sub classes i-e GraduateStudent and UnderGradStuden. GraduateStudent have instances John and Smith and UnderGradStudent has Davis. I want something which says: since Smith is GraduateStudent so infers a triple Smith is a Student.
Now I know how to implement it using Jena rule: use rule as string, query it, use Reasoner class and execute query. But I want to know how can I use it using RDFS inference. can it be done explicitly by passing argument "OntModelSpec.OWL_MEM_RULE_INF" to model or something extra needs to be done?
