hasSymbolData is functional and has domain Symbol about emmo HOT 2 CLOSED

Hi,
no, we removed the restriction Symbol hasSymbolData some xsd:string. That hasSymbolData has domain Symbol means that all entities with a hasSymbolData restriction must be a Symbol.

I think it should be ok.

from emmo.

Oh sorry my mistake, I thought for a functional property there must be exactly one value, but apparently no value is also fine:

https://www.w3.org/TR/owl-ref/#FunctionalProperty-def

A functional property is a property that can have only one (unique) value y for each instance x, i.e. there cannot be two distinct values y1 and y2 such that the pairs (x,y1) and (x,y2) are both instances of this property. Both object properties and datatype properties can be declared as "functional". For this purpose, OWL defines the built-in class owl:FunctionalProperty as a special subclass of the RDF class rdf:Property.

The following axiom states that the husband property is functional, i.e., a woman can have at most one husband (a good example of culture dependence of ontologies):

<owl:ObjectProperty rdf:ID="husband">
  <rdf:type    rdf:resource="&owl;FunctionalProperty" />
  <rdfs:domain rdf:resource="#Woman" />
  <rdfs:range  rdf:resource="#Man" />
</owl:ObjectProperty>

from emmo.