Re: comment: equivalentClass is redundant in several time ontology parts

Hi Dan,

Thank you for your comment. The redundant equivalentClass will be removed in the
next edition of the time ontology note.

Thanks!

Feng

Quoting Dan Connolly <connolly@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 13:59:25 UTC