oeg-upm/Chowlk

Add `owl:oneOf` to notation

GordianDziwis opened this issue · 3 comments

GordianDziwis commented

image

 :MyBirthdayGuests  owl:equivalentClass  [
   rdf:type   owl:Class ;
   owl:oneOf  ( :John  :Mary )
 ] .
mariapoveda commented

Thank you Bona ,

wer are considering this option too https://chowlk.linkeddata.es/notation.html#all-different

What do you think?

GordianDziwis commented

Not sure what you mean with this option? Because allDifferent is not the same as oneOf, or do you refer to the notation?

Sergio-Carulli commented

Enumeration of individuals and data values have been added to Chowlk. Please see https://chowlk.linkeddata.es/notation.html#enumeration-identifier