W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

Re: WOWG: We need your results on the Tests

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Thu, 17 Jul 2003 02:34:26 +0200
To: "Dan Connolly <connolly" <connolly@w3.org>
Cc: webont <www-webont-wg@w3.org>, www-webont-wg-request@w3.org, hendler@cs.umd.edu
Message-ID: <OF788FC154.DB3B1B59-ONC1256D66.00010FA0-C1256D66.00032775@agfa.be>


[...]

> I wonder if the manifest correlates tests to
> the feature groups in that table... or if
> it could be enhanced to without much work.

Well, it doesn't straight ahead, and we would
need additional tests in the 7.1 section
(and is not without much work...).

On the other hand, I think that silly looking
"module" tests would be very useful as well.
For example (and expressed in N3):


:p a owl:FunctionalProperty.
:s :p :i.
:s :p :j.
:m owl:sameAs :n.
:n owl:sameAs :o.
:H owl:oneOf (:s :m :t).
:x owl:intersectionOf (:a :b :c).
:y owl:intersectionOf (:b :c).
:J a :x.
:test34 owl:equivalentClass :test43.
:test43 owl:equivalentClass :test46.
:test3x a :test34.
:R2 owl:onProperty :p2.
:R2 owl:hasValue :y2.
:x2 a :R2.
:Car rdfs:subClassOf :Automobile.
:Automobile rdfs:subClassOf :Car.
:X a [ owl:oneOf (:a :b :c)].
:Y a [ owl:intersectionOf (:A :X :C :D)].
:Z a [ owl:unionOf (:M :N :O)].


OWL-Full entails


:j owl:sameAs :i.
:o owl:sameAs :m.
:p owl:sameAs :p.
:m a :H.
:x rdfs:subClassOf :y.
:J a :y.
:test3x a :test43.
:test3x a :test46.
:test43 owl:equivalentClass :test34.
:test34 owl:equivalentClass :test46.
:x2 :p2 :y2.
:Automobile owl:equivalentClass :Car.
:X a [ owl:oneOf (:d :c :b :a)].
:Y a [ owl:intersectionOf (:C :X :A)].
:Z a [ owl:unionOf (:P :O :N :M)].


They stress running code wrt decidability...


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 16 July 2003 20:34:39 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT