#------------------------------------------------------------------
# Tracking down non-deterministic bug.
#
# $Id: expt.rules,v 1.6 2005-02-15 16:27:45 der Exp $
#------------------------------------------------------------------

-> table(rdf:type).

[rdfs9-alt:  (?a rdf:type ?y) <- (?a rdf:type ?x) (?x rdfs:subClassOf ?y) ] 

[distinct1: (?X owl:differentFrom ?Y) <- 
    (?C owl:disjointWith ?D), (?X rdf:type ?C), (?Y rdf:type ?D)   ]

[validationIndiv: (?X rb:violation error('conflict', 'Two individuals both same and different, may be due to disjoint classes or functional properties', ?Y)) 
				<- (?X owl:differentFrom ?Y), (?X owl:sameAs ?Y) ]
				
[validationIndiv: (?I rb:violation error('conflict', 'Individual a member of disjoint classes', ?I)) 
				<- (?I rdf:type http://jena.hpl.hp.com/testing/reasoners/owl#A), 
				   (?I rdf:type http://jena.hpl.hp.com/testing/reasoners/owl#B)]