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
For the record, this question was answered on the Protege User mailing list, where such questions belong:

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.


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?


protege-user mailing list
[hidden email]

protege-dev mailing list
[hidden email]