How can I specify the axioms "DisjointDataProperties" and "Haskey" in Protégé 5.0?

[mpuebla]

Hello:

  How can I specify the axioms "DisjointDataProperties" and "Haskey" in Protégé 5.0?

Best regards, Manuel Puebla.



--
Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html
_______________________________________________
protege-user mailing list
[e-mail]
https://mailman.stanford.edu/mailman/listinfo/protege-user

[samsontu]

On Jun 23, 2019, at 3:06 PM, mpuebla <[hidden email]> wrote:

Hello: How can I specify a "Disjoint Data Properties" axiom in Protégé? Best regards, Manuel Puebla.

---

In the Protege GUI, the “Description:” panel for data properties has a widget for you to add properties that are disjoint with the selected data property. See below, beneath the Ranges widget:

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

[mpuebla]

 Thanks for the reply.

And the axiom "" Haskey "" ?, where can I specify it in Protégé 5.0 ?, Will
it be in the "Target for key" section of the "Classes" panel?

A greeting.



--
Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html
_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user

[Matthew Horridge-2]

Hi,

Yes, that’s the one.

Cheers,

Matthew

> On Jun 29, 2019, at 08:41, mpuebla <[hidden email]> wrote:
>
>
> Thanks for the reply.
>
> And the axiom "" Haskey "" ?, where can I specify it in Protégé 5.0 ?, Will
> it be in the "Target for key" section of the "Classes" panel?
>
> A greeting.
>
>
>
> --
> Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html
> _______________________________________________
> protege-user mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-user

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

[mpuebla]

OK thanks.

I have another question related to the "DisjointDataProperties", but I will
ask the question in a new post.

Greetings.



--
Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html
_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user