Test cases for approval

Hi all,
I ran the following OWL Direct Semantics tests cases and they pass:
:owlds01 -- Test: OWL DS bnodes are not existentials
:owlds02 -- Test: OWL DS bnodes are not existentials with answer
:plainLit -- Test: Plain literals with language tag are not the same
as the same literal without
:bind01 -- Test: bind01 - BIND fixed data for OWL DL
:bind02 -- Test: bind02 - BIND fixed data for OWL DL
:bind03 -- Test: bind03 - BIND fixed data for OWL DL
:bind04 -- Test: bind04 - BIND fixed data for OWL DL
:bind05 -- Test: bind05 - BIND fixed data for OWL DL
:bind06 -- Test: bind06 - BIND fixed data for OWL DL
:bind07 -- Test: bind07 - BIND fixed data for OWL DL

The bind0x test cases are as for simple entailment, but the input data
is extended o make it an OWL 2 DL ontology.  The test :plainLit is
applicable also under OWL 2 RDF Based semantics.
Birte

-- 
Dr. Birte Glimm, Room 309
Computing Laboratory
Parks Road
Oxford
OX1 3QD
United Kingdom
+44 (0)1865 283520

Received on Tuesday, 22 February 2011 16:03:21 UTC