Re: [protege-user] Reasoning on Existential restriction: Reg

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

Re: [protege-user] Reasoning on Existential restriction: Reg

Csongor Nyulas
Administrator
For the record, this question was answered on the Protege User mailing list, where such questions belong:
http://protege-project.136.n4.nabble.com/Reasoning-on-Existential-restriction-protege-OWL-Reg-td4672254.html

As a general observation, it is not a cool to send the same questions to multiple mailing lists / support channels at the same time. Better to send it just to the most appropriate one.

Csongor

On 6/18/19 1:17 AM, Sharmi M wrote:


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


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