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
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:53 GMT