testcase owl:oneOf owl:inverseOf inconsistency detection

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix reason: <http://www.w3.org/2000/10/swap/reason#>.

{

(<http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3>.log:semantics
   <http://www.agfa.com/w3c/euler/owl-rules.n3>.log:semantics

<http://www.agfa.com/w3c/euler/rdfs-rules.n3>.log:semantics).log:conjunction
  =>

<http://eulersharp.sourceforge.net/2003/05geot/continentsC.n3>.log:semantics
}

  reason:because

<http://eulersharp.sourceforge.net/2003/05geot/continentsE.n3>.log:semantics.


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Saturday, 31 May 2003 17:13:02 UTC