Cardinality restriction

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

Cardinality restriction

Daniel Schiebel
Dear all,

I've a little question, I'm not sure if I understand it the right way:
Is there any difference in

Class_C1 has_Property_XY min 1 Class_C2

and

Class_C1 has_Property_XY some Class_C2

Thank you in advance and best regards,
Daniel



--
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
Reply | Threaded
Open this post in threaded view
|

Re: Cardinality restriction

samsontu

On Aug 10, 2019, at 4:17 PM, Daniel Schiebel <[hidden email]> wrote:

Dear all,

I've a little question, I'm not sure if I understand it the right way:
Is there any difference in

Class_C1 has_Property_XY min 1 Class_C2

and

Class_C1 has_Property_XY some Class_C2


There is no difference.

With best regards,
Samson



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

smime.p7s (1K) Download Attachment
Reply | Threaded
Open this post in threaded view
|

Re: Cardinality restriction

Matthew Horridge-2
Administrator
That’s right, the difference is only syntactic.  I’d use “some” rather than “min 1” for simplicity and for fitting into the OWL 2 profiles – “some” is supported in the OWL 2 EL profile, for example, but “min 1” is not.

Cheers,

Matthew


On Aug 10, 2019, at 21:54, Samson Tu <[hidden email]> wrote:


On Aug 10, 2019, at 4:17 PM, Daniel Schiebel <[hidden email]> wrote:

Dear all,

I've a little question, I'm not sure if I understand it the right way:
Is there any difference in

Class_C1 has_Property_XY min 1 Class_C2

and

Class_C1 has_Property_XY some Class_C2


There is no difference.

With best regards,
Samson


_______________________________________________
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