W3C home > Mailing lists > Public > public-rif-wg@w3.org > August 2008

RDF and OWL test cases

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Wed, 27 Aug 2008 18:04:44 +0200
Message-ID: <48B57B1C.5010709@inf.unibz.it>
To: RIF WG <public-rif-wg@w3.org>
I added some test cases concerned with RDF and owl.  I improvised a
little when writing the RDF graphs.  Let me know if its okay.

RDF:
http://www.w3.org/2005/rules/wiki/RDF_Combination_Constant_Equivalence
http://www.w3.org/2005/rules/wiki/RDF_Combination_Constant_Equivalence_Graph_Entailment

OWL DL:
http://www.w3.org/2005/rules/wiki/Annotation_Entailment
http://www.w3.org/2005/rules/wiki/Non-Annotation_Entailment
http://www.w3.org/2005/rules/wiki/Individual-Data_Separation_Inconsistency
http://www.w3.org/2005/rules/wiki/OWL_Combination_Vocabulary_Separation_Inconsistency
http://www.w3.org/2005/rules/wiki/OWL_Combination_Vocabulary_Separation_Inconsistency_II
-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
scholar.
  - Donald Foster


Received on Wednesday, 27 August 2008 16:04:25 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:53 GMT