- From: Jos de Bruijn <debruijn@inf.unibz.it>
- Date: Wed, 27 Aug 2008 18:04:44 +0200
- To: RIF WG <public-rif-wg@w3.org>
Received on Wednesday, 27 August 2008 16:04:25 UTC
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 UTC