oeg-upm / Chowlk

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

Add `owl:hasValue` to notation #34

Closed GordianDziwis closed 4 months ago

GordianDziwis commented 2 years ago

image

 :JohnsChildren  owl:equivalentClass  [
   rdf:type        owl:Restriction ;
   owl:onProperty  :hasParent ;
   owl:hasValue    :John
 ] .
mariapoveda commented 2 years ago

Thanks, it makes sense. Maybe hasValue to be closer to the owl construct.

Would you use the same notation (rectangle) for data values?

GordianDziwis commented 2 years ago

I thought the notation for data values is a rectangle with the content "value"^^datatype?

Sergio-Carulli commented 4 months ago

Value constraints have been implemented. Please see https://chowlk.linkeddata.es/notation.html#restriction-value-constraint-identifier