Using OWL:equivalentClass to create Enum lists

[ashleysommer]

The recommended way to create an Enum in an owl ontology is to use owl:equivalentClass with a bnode containing an owl:oneOf list like this:

cn:CausalEffectIncrease
    a owl:NamedIndividual , cn:CausalEffect ;
    rdfs:comment "The link has the effect of Increasing."@en ;
    rdfs:label "Increase"@en ;
    .

cn:CausalEffectDecrease
    a owl:NamedIndividual , cn:CausalEffect ;
    rdfs:comment "The link has the effect of Decreasing."@en ;
    rdfs:label "Decrease"@en ;

cn:CausalEffects
    a rdfs:Class, owl:Class ;
    rdfs:subClassOf cn:CausalEffect ;
    owl:equivalentClass [
        owl:oneOf ( cn:CausalEffectIncrease cn:CausalEffectDecrease ) ;
                        ] ;
    rdfs:comment "Enum of possible Casual Effects. Can be \"Increase\" or \"Decrease\"."@en ;
    .

When rendering this in pyLode I get this output:

Notice the owl:equivalentClass

I would expect this to render a list of the named individuals like this:

• equivalentClass: Enumeration
  • cn:CausalEffectIncrease
  • cn:CausalEffectDecrease