Reasoning on Existential restriction: Reg

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

Reasoning on Existential restriction: Reg

sharmi m

Dear all,
I modeled the following using protege.
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?

Biju




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