comment: equivalentClass is redundant in several time ontology parts

In
http://www.isi.edu/~pan/SWBP/time-ontology-note/time-ontology-note-3rdEd.html

I see:

:TemporalUnit
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:oneOf (:unitSecond :unitMinute :unitHour :unitDay :unitWeek :unitMonth :unitYear)
              ] .

It means pretty much the same thing if you just write:

:TemporalUnit
      a       owl:Class ;
      owl:oneOf (:unitSecond :unitMinute :unitHour :unitDay :unitWeek :unitMonth :unitYear).


Likewise you can shorten...

:TemporalEntity
      a       owl:Class ;
      rdfs:subClassOf :TemporalThing ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:unionOf (:Instant :Interval)
              ] .

to just...

:TemporalEntity
      a       owl:Class ;
      rdfs:subClassOf :TemporalThing ;
      owl:unionOf (:Instant :Interval).


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Friday, 30 June 2006 02:16:48 UTC