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

More Testing

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Wed, 7 May 2003 12:12:50 +0100
Message-ID: <16056.59954.511482.588472@galahad.cs.man.ac.uk>
To: jjc@hplb.hpl.hp.com
CC: www-webont-wg@w3.org, "Mehrdad Omidvari" <Mehrdad.Omidvari@networkinference.com>

Jeremy,

More test results from Mehrdad Omidvari and the team at Network
Inference:


As part of the definition of the Web Ontology Language (OWL) the Web
Ontology Working Group has provided a set of test cases.

Network Inference has verified the correctness of the following test
cases, using its Cerebra inference engine. It's worth noting that
Cerebra is primarily an Owl-DL inference engine. Some of the Owl-full
test cases are in fact Owl-DL in terms of their logical features, but
the tests themselves are written in Owl-Full syntax rather than in the
stricter Owl-DL Syntax. The syntax of these Owl-Full tests was
modified to make them Owl-DL compliant. All the DL and Lite tests were
validated as having a correct syntax by the Cerebra parser.

http://www.w3.org/2002/03owlt/AllDifferent/Manifest001#test
http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001#test
http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003#test
http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001#test
http://www.w3.org/2002/03owlt/Nothing/Manifest002#test
http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest001#test
http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001
http://www.w3.org/2002/03owlt/complementOf/Manifest001#test
http://www.w3.org/2002/03owlt/differentFrom/Manifest001#test
http://www.w3.org/2002/03owlt/differentFrom/Manifest002#test
http://www.w3.org/2002/03owlt/disjointWith/Manifest001#test
http://www.w3.org/2002/03owlt/disjointWith/Manifest002#test
http://www.w3.org/2002/03owlt/distinctMembers/Manifest001#test
http://www.w3.org/2002/03owlt/equivalentClass/Manifest001#test
http://www.w3.org/2002/03owlt/equivalentClass/Manifest002#test
http://www.w3.org/2002/03owlt/equivalentClass/Manifest003#test
http://www.w3.org/2002/03owlt/equivalentClass/Manifest004#test
http://www.w3.org/2002/03owlt/equivalentClass/Manifest005#test
http://www.w3.org/2002/03owlt/equivalentProperty/Manifest001#test
http://www.w3.org/2002/03owlt/equivalentProperty/Manifest002#test
http://www.w3.org/2002/03owlt/equivalentProperty/Manifest003#test
http://www.w3.org/2002/03owlt/equivalentProperty/Manifest004#test
http://www.w3.org/2002/03owlt/equivalentProperty/Manifest006#test
http://www.w3.org/2002/03owlt/intersectionOf/Manifest001#test
http://www.w3.org/2002/03owlt/inverseOf/Manifest001#test
http://www.w3.org/2002/03owlt/oneOf/Manifest001#test
http://www.w3.org/2002/03owlt/oneOf/Manifest002#test
http://www.w3.org/2002/03owlt/oneOf/Manifest003#test
http://www.w3.org/2002/03owlt/unionOf/Manifest001#test
http://www.w3.org/2002/03owlt/unionOf/Manifest002#test
Received on Wednesday, 7 May 2003 07:46:57 GMT

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