oneOf question

[Bohms, H.M. (Michel)]

 

In owl spec I see examples like:

 

 :MyBirthdayGuests  owl:equivalentClass  [

   rdf:type   owl:Class ;

   owl:oneOf  ( :Bill  :John  :Mary )

] .

 

I use now (seems perfectly fine in tbc):

 

ex1:LoadLevelType

  a owl:Class ;

  rdfs:subClassOf owl:Thing ;

  owl:oneOf (

      ex1:Light

      ex1:Normal

      ex1:Heavy

    ) ;

.

 

Based on example, should I use:

 

ex1:LoadLevelType

  a owl:Class ;

  rdfs:subClassOf owl:Thing ;

  owl:equivalentClass [

     rdf:type owl:Class

     owl:oneOf (

        ex1:Light

        ex1:Normal

        ex1:Heavy

    ) ] ;

.

 

Or even:

 

ex1:LoadLevelType

  a owl:Class ;

  rdfs:subClassOf owl:Thing ;

  rdfs:subClassOf [

     rdf:type owl:Class

     owl:oneOf (

        ex1:Light

        ex1:Normal

        ex1:Heavy

    ) ] ;

.

 

Thx Michel

 

 

Dr. ir. H.M. (Michel) Böhms Senior Data Scientist T +31888663107 M +31630381220 E michel...@tno.nl Location   This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. TNO accepts no liability for the content of this e-mail, for the manner in which you use it and for damage of any kind resulting from the risks inherent to the electronic transmission of messages.

 

 

[Bohms, H.M. (Michel)]

Thx a lot for some advice on below.

Op 4 dec. 2019 20:14 schreef "Bohms, H.M. (Michel)" <michel...@tno.nl>:

T +31888663107 M +31630381220 E michel...@tno.nl Location