search

oeg-upm / Chowlk

Tool to transform an ontology diagram into OWL code.
Apache License 2.0
22 stars 6 forks source link

Add `owl:oneOf` to notation #35

Closed GordianDziwis closed 4 months ago

GordianDziwis commented 2 years ago

image

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

Thank you Bona ,

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

What do you think?

GordianDziwis commented 2 years ago

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 4 months ago

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