More Testing


More test results from Mehrdad Omidvari and the team at Network

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.

Received on Wednesday, 7 May 2003 07:46:57 UTC