W3C home > Mailing lists > Public > www-archive@w3.org > May 2003

testcase owl:oneOf owl:inverseOf inconsistency detection

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Sat, 31 May 2003 23:12:57 +0200
To: www-archive@w3.org
Message-ID: <OF6246ACFE.85C9CBAA-ONC1256D37.00737C26-C1256D37.00748AD3@agfa.be>

@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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:30 GMT