problems with semantic definition of enumerations

[VladimirAlexiev]

@Sveino (Is this the right project to report this? While posting https://github.com/smart-data-models/dataModel.EnergyCIM/issues/3 I noticed some problems in the RDFS representation of enumerations (from IEC61970-600-2_CGMES_3_0_0_RDFS_501Ed2CD_EQ):

cim:ACDCConverterDCTerminal.polarity
        rdf:type         owl:DatatypeProperty ;
        rdfs:domain      cim:ACDCConverterDCTerminal ;
        rdfs:range       cim:DCPolarityKind ;

cim:DCPolarityKind  rdf:type  owl:Class ;
        rdfs:label       "DCPolarityKind"@en ;
        rdfs:subClassOf  cim:Enumeration ;
        eq:Package       "Package_CoreEquipmentProfile" ;
        owl:oneOf        ( cim:DCPolarityKind.positive cim:DCPolarityKind.middle cim:DCPolarityKind.negative ) ;
        skos:definition  "Polarity for DC circuits."@en .

cim:DCPolarityKind.middle
        rdf:type         owl:NamedIndividual , owl:Thing ;
        rdfs:domain      cim:DCPolarityKind ;
        rdfs:label       "middle "@en ;
        eq:isenum        "True" ;

Mandatory fixes:

• [ ] property: change rdf:type owl:DatatypeProperty to owl:ObjectProperty since the values are resources not literals
• [ ] class: rdfs:subClassOf cim:Enumeration will cause all class members to also be members of cim:Enumeration, which is useless since that's a mere "marker" class (you won't query by it). Change this to rdf:type
• [ ] instance: rdf:type owl:Thing is wrong, remove it
• [ ] instance: rdf:type owl:NamedIndividual is useless since you won't query by it, remove it
• [ ] instance: rdfs:domain cim:DCPolarityKind is wrong since this is an individual not a property. Change to rdf:type

Optional fixes:

• [ ] remove the lang tag from rdfs:label "DCPolarityKind"@en since that's equal to the local name (akin to a programming language identifier). If you translate CIM to eg German, you would not translate this label, since that will harm interoperability
• [ ] eq:Package "Package_CoreEquipmentProfile" uses a prefix that's specific to that package (profile), which is not warranted. Change this to eg the cims: namespace
• [ ] change eq:isenum "True" to cims:isEnum true (3 changes): use a universal namespace, camelCase, and a xsd:booleanvalue