W3C home > Mailing lists > Public > public-swbp-wg@w3.org > June 2006

comment: equivalentClass is redundant in several time ontology parts

From: Dan Connolly <connolly@w3.org>
Date: Thu, 29 Jun 2006 21:16:39 -0500
To: public-swbp-wg@w3.org
Message-Id: <1151633799.1191.84.camel@dirk.w3.org>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:17:22 GMT