- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Wed, 7 May 2003 12:12:50 +0100
- 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 UTC