Reasoning on Existential restriction -protege OWL: Reg

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Reasoning on Existential restriction -protege OWL: Reg

madan m
Dear all,
I modeled the following using protege-OWL.
Dance student is a student who has Master.

classes: Student, DanceStudent, Master
object type property: hasMaster
individual of DanceStudent(amol)
Necessary condition defined on DanceStudent:
              student and (hasMaster some Master)

After running the reasoner, i expect the individual "amol" will have the inferred axiom as : hasMaster some Master.  (due to existential restriction imposed)
But it is not inferred by the reasoner?
can you pls clarify?
anything went  wrong?

ilanka

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev