W3C home > Mailing lists > Public > www-archive@w3.org > June 2002

etailment testcase etc5-proof.n3

From: Jos De Roo <jos.deroo.jd@belgium.agfa.com>
Date: Sat, 29 Jun 2002 15:54:57 +0200
Message-ID: <3D1DBC31.90405@belgium.agfa.com>
To: www-archive@w3.org
proof of
http://lists.w3.org/Archives/Public/www-archive/2002Jun/att-0041/01-etc5.n3

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

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:32 GMT
# for query http://lists.w3.org/Archives/Public/www-archive/2002Jun/att-0041/01-etc5.n3
# given null

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


# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:34 GMT
# for query http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3
# given {http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3=[], <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test>=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/PositiveEntailmentTest>}

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/>.
@prefix : <http://www.w3.org/2000/03/rdf-tracking/#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/PositiveEntailmentTest>.
# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:34 GMT
# for query http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt
# given {http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/PositiveEntailmentTest>, http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/PositiveEntailmentTest>, http://www.agfa.com/w3c/euler/rdfs-rules.n3=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/PositiveEntailmentTest>, http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/PositiveEntailmentTest>, http://www.agfa.com/w3c/euler/rdf-rules.n3=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/PositiveEntailmentTest>}

@prefix mt: <http://www.w3.org/TR/rdf-mt/#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/rdf-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bar> rdfs:domain <http://example.org/Domain1>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bar> rdfs:domain <http://example.org/Domain2>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bar> rdfs:range <http://example.org/Range1>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bar> rdfs:range <http://example.org/Range2>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:domain rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:domain <http://example.org/Domain1>} log:implies
    {<http://example.org/Domain1> a rdfs:Class}} log:implies
  {<http://example.org/Domain1> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Domain1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:domain rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:domain <http://example.org/Domain2>} log:implies
    {<http://example.org/Domain2> a rdfs:Class}} log:implies
  {<http://example.org/Domain2> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Domain2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:range rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:range <http://example.org/Range1>} log:implies
    {<http://example.org/Range1> a rdfs:Class}} log:implies
  {<http://example.org/Range1> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Range1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:range rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:range <http://example.org/Range2>} log:implies
    {<http://example.org/Range2> a rdfs:Class}} log:implies
  {<http://example.org/Range2> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Range2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt in 344 steps (34396 steps/sec)
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/description> """
Should a property be allowed more than one rdfs:range property?
What should the semantics of multiple domain and range properties be?

-> Multiple domain and range constraints are permissable
   and will have conjunctive semantics.

test001
  describes a property with rdfs:domain the intersection of 2 domains
test002
  describes a property with rdfs:range the intersection of 2 ranges
test003
  sample statement
test004
  entailed description using test001, test002, test003 and
  the rules for RDF and RDFS entailment
  (see http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/ )
   """.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/entailmentRules> rdf:.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/entailmentRules> rdfs:.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/issue> :rdfs-domain-and-range.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/status> "NOT_APPROVED".
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/PositiveParserTest>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0405.html>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.rdf>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/issue> :rdfs-domain-and-range.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/status> "APPROVED".
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NT-Document>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.rdf> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/RDF-XML-Document>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/PositiveParserTest>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0405.html>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.rdf>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/issue> :rdfs-domain-and-range.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/status> "APPROVED".
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NT-Document>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.rdf> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/RDF-XML-Document>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/PositiveParserTest>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.rdf>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/issue> :rdfs-domain-and-range.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/status> "NOT_APPROVED".
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NT-Document>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.rdf> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/RDF-XML-Document>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/PositiveParserTest>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.rdf>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/issue> :rdfs-domain-and-range.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/status> "NOT_APPROVED".
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NT-Document>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.rdf> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/RDF-XML-Document>.

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3 in 499 steps (1082 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:36 GMT
# for query http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.n3
# given {http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.n3=[], <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001>=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NegativeEntailmentTest>, <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002>=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NegativeEntailmentTest>}

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/>.
@prefix : <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NegativeEntailmentTest>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html>.
# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:36 GMT
# for query http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt
# given {http://www.agfa.com/w3c/euler/rdfs-rules.n3=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NegativeEntailmentTest>, http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NegativeEntailmentTest>, http://www.agfa.com/w3c/euler/rdf-rules.n3=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NegativeEntailmentTest>}

# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt in 1 step (1000000 steps/sec)
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/description> """
     RDFCore WG RESOLVED that a reified statement was a stating, not a statement.
     The following entailment does not, therefore, hold.
   """.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/entailmentRules> rdf:.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/entailmentRules> :.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/status> "PENDING".
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NT-Document>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NT-Document>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NegativeEntailmentTest>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html>.
# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:37 GMT
# for query http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt
# given {http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NegativeEntailmentTest>, http://www.agfa.com/w3c/euler/rdfs-rules.n3=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NegativeEntailmentTest>, http://www.agfa.com/w3c/euler/rdf-rules.n3=<http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NegativeEntailmentTest>}

# No proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt in 38 steps (38000000 steps/sec)
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/description> """
     RDFCore WG RESOLVED that a statement does NOT entail its reification.
     The following entailment does not, therefore, hold.
   """.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/entailmentRules> rdf:.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/entailmentRules> :.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/status> "PENDING".
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NT-Document>.
<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema/NT-Document>.

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.n3 in 84 steps (139 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:38 GMT
# for query http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt
# given {http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt=[], http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt=[], http://www.agfa.com/w3c/euler/rdfs-rules.n3=[], http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt=[]}

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bar> rdfs:domain <http://example.org/Domain1>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bar> rdfs:domain <http://example.org/Domain2>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bar> rdfs:range <http://example.org/Range1>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bar> rdfs:range <http://example.org/Range2>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:domain rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:domain <http://example.org/Domain1>} log:implies
    {<http://example.org/Domain1> a rdfs:Class}} log:implies
  {<http://example.org/Domain1> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Domain1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:domain rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:domain <http://example.org/Domain2>} log:implies
    {<http://example.org/Domain2> a rdfs:Class}} log:implies
  {<http://example.org/Domain2> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Domain2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:range rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:range <http://example.org/Range1>} log:implies
    {<http://example.org/Range1> a rdfs:Class}} log:implies
  {<http://example.org/Range1> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Range1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:range rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:range <http://example.org/Range2>} log:implies
    {<http://example.org/Range2> a rdfs:Class}} log:implies
  {<http://example.org/Range2> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Range2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt in 308 steps (30796 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:39 GMT
# for query http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test001.nt
# given {http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt=[], http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
      <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
    {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
      <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
    {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>}.
<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>.
<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>.

# Proof found for http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test001.nt in 328 steps (10932 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:40 GMT
# for query http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test002.nt
# given {http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt=[], http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

<http://example.org/foo#ancestor> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2001/10/daml+oil#TransitiveProperty>.
<http://example.org/foo#parent> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/foo#ancestor>.
<http://example.org/foo#ancestor> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/foo#ancestor-or-uncle>.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>}.
<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>.
<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>.

# Proof found for http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test002.nt in 255 steps (12749 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:41 GMT
# for query http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt
# given {http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt=[], http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>}.
<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>.
<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>.

# Proof found for http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt in 251 steps (8366 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:42 GMT
# for query http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test005.nt
# given {http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt=[], http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
      <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
    {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
      <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
    {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.

# Proof found for http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test005.nt in 77 steps (77000000 steps/sec)

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt> <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> <http://www.w3.org/2001/10/daml+oil>) log:notEntails <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test006.nt>.
( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt> <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> <http://www.w3.org/2001/10/daml+oil>) log:notEntails <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test007.nt>.
# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:45 GMT
# for query http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt
# given {http://www.agfa.com/w3c/euler/rdfs-rules.n3=[], http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt=[]}

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bar> rdfs:domain <http://example.org/Domain1>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
  {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>}} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bas> rdfs:domain <http://example.org/Domain2>.
  <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bar> rdfs:range <http://example.org/Range1>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
  {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>}} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bas> rdfs:range <http://example.org/Range2>.
  <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2>}.

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt in 96 steps (96000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:45 GMT
# for query http://www.agfa.com/w3c/euler/authen.lemma.n3
# given {http://www.agfa.com/w3c/euler/authen.axiom.n3=[]}

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/authen#>.

 {
  <http://www.agfa.com/w3c/euler/authen#rule1> .
  <mailto:jos.deroo.jd@belgium.agfa.com> :member <http://www.agfa.com>.
  <http://www.agfa.com> :w3cmember <http://www.w3.org>.
  <http://www.agfa.com> :subscribed <mailto:w3c-ac-forum@w3.org/>} log:implies
{<mailto:jos.deroo.jd@belgium.agfa.com> :authenticated <mailto:w3c-ac-forum@w3.org/>}.

# Proof found for http://www.agfa.com/w3c/euler/authen.lemma.n3 in 4 steps (4000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:46 GMT
# for query http://www.agfa.com/w3c/euler/graph.lemma.n3
# given {http://www.agfa.com/w3c/euler/graph.axiom.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/graph#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
      :angers :oneway :nantes} log:implies
    {:angers :twoway :nantes}} log:implies
  {:angers :path :nantes}.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
        :lemans :oneway :angers} log:implies
      {:lemans :twoway :angers}} log:implies
    {:lemans :path :angers}.
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
         {
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
          :chartres :oneway :lemans} log:implies
        {:chartres :twoway :lemans}} log:implies
      {:chartres :path :lemans}.
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
         {
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
          :parijs :oneway :chartres} log:implies
        {:parijs :twoway :chartres}} log:implies
      {:parijs :path :chartres}} log:implies
    {:parijs :path :lemans}} log:implies
  {:parijs :path :angers}} log:implies
{:parijs :route :nantes}.

# Proof found for http://www.agfa.com/w3c/euler/graph.lemma.n3 in 149 steps (4806 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:47 GMT
# for query http://www.agfa.com/w3c/euler/gedcom-query.n3
# given {http://www.agfa.com/w3c/euler/gedcom-facts.n3=[], http://www.agfa.com/w3c/euler/gedcom-relations.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/gedcom#rule22> .
   {
    <http://www.agfa.com/w3c/euler/gedcom#rule11> .
    :Jos gc:childIn :dp.
    :Geert gc:childIn :dp.
    :Jos ont:differentFrom :Geert} log:implies
  {:Jos gc:sibling :Geert}.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule1> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
       {
        <http://www.agfa.com/w3c/euler/gedcom#rule1> .
        :Karel gc:childIn :dt.
        :Jos gc:spouseIn :dt} log:implies
      {:Karel gc:parent :Jos}} log:implies
    {:Karel gc:ancestor :Jos}} log:implies
  {:Jos gc:descendent :Karel}.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule1> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
       {
        <http://www.agfa.com/w3c/euler/gedcom#rule1> .
        :Ann_Sophie gc:childIn :dv.
        :Geert gc:spouseIn :dv} log:implies
      {:Ann_Sophie gc:parent :Geert}} log:implies
    {:Ann_Sophie gc:ancestor :Geert}} log:implies
  {:Geert gc:descendent :Ann_Sophie}} log:implies
{:Karel gc:cousin :Ann_Sophie}.
 {
  <http://www.agfa.com/w3c/euler/gedcom#rule17a> .
   {
    <http://www.agfa.com/w3c/euler/gedcom#rule1> .
    :Karel gc:childIn :dt.
    :Jos gc:spouseIn :dt} log:implies
  {:Karel gc:parent :Jos}.
   {
    <http://www.agfa.com/w3c/euler/gedcom#rule12> .
     {
      <http://www.agfa.com/w3c/euler/gedcom#rule11> .
      :Jos gc:childIn :dp.
      :Dirk gc:childIn :dp.
      :Jos ont:differentFrom :Dirk} log:implies
    {:Jos gc:sibling :Dirk}.
    :Dirk gc:sex :M} log:implies
  {:Jos gc:brother :Dirk}} log:implies
{:Karel gc:uncle :Dirk}.
 {
  <http://www.agfa.com/w3c/euler/gedcom#rule2> .
   {
    <http://www.agfa.com/w3c/euler/gedcom#rule1> .
    :Ann_Sophie gc:childIn :dv.
    :Geert gc:spouseIn :dv} log:implies
  {:Ann_Sophie gc:parent :Geert}.
  :Geert gc:sex :M} log:implies
{:Ann_Sophie gc:father :Geert}.
 {
  <http://www.agfa.com/w3c/euler/gedcom#rule17a> .
   {
    <http://www.agfa.com/w3c/euler/gedcom#rule1> .
    :Ann_Sophie gc:childIn :dv.
    :Geert gc:spouseIn :dv} log:implies
  {:Ann_Sophie gc:parent :Geert}.
   {
    <http://www.agfa.com/w3c/euler/gedcom#rule12> .
     {
      <http://www.agfa.com/w3c/euler/gedcom#rule11> .
      :Geert gc:childIn :dp.
      :Dirk gc:childIn :dp.
      :Geert ont:differentFrom :Dirk} log:implies
    {:Geert gc:sibling :Dirk}.
    :Dirk gc:sex :M} log:implies
  {:Geert gc:brother :Dirk}} log:implies
{:Ann_Sophie gc:uncle :Dirk}.

# Proof found for http://www.agfa.com/w3c/euler/gedcom-query.n3 in 36823 steps (136380 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:47 GMT
# for query http://www.agfa.com/w3c/euler/danc-query.n3
# given {http://www.agfa.com/w3c/euler/danc.n3=[]}

@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/danc#>.

[ a
  :travelSchedule; :of [ a dc:author; :of
      :; label _:7321654]; label
      _:1484678] :includes [ a :Trip; :when
          "2000-10"; :destination [ a :City; :called
              "Cambridge"; = :Cambridge]; label
              _:5275570].

# Proof found for http://www.agfa.com/w3c/euler/danc-query.n3 in 1 step (1000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:47 GMT
# for query http://www.agfa.com/w3c/euler/ziv-query.n3
# given {http://www.agfa.com/w3c/euler/ziv.n3=[]}

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/ziv#>.

_:917240 :maand "May".
_:917240 :city "Tel Aviv".
_:917240 :film "Pokemon 2".
_:917240 :cinema "Globus".

# Proof found for http://www.agfa.com/w3c/euler/ziv-query.n3 in 40 steps (3999 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:48 GMT
# for query http://www.agfa.com/w3c/euler/danb-query.n3
# given {http://www.agfa.com/w3c/euler/danb.n3=[]}

@prefix web: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/danb#>.

_:8306951 a agg:Company.
_:8306951 agg:corporateHomepage <http://megacorp.example.com/>.
_:8306951 agg:owner _:3334461.
_:3334461 a agg:Person.
_:3334461 agg:personalMailbox <mailto:mega@megacorp.example.com>.
_:6386057 a agg:User.
_:6386057 agg:personalMailbox <mailto:mega@megacorp.example.com>.
_:6386057 agg:technologyInterest _:6616781.
_:467840 a agg:Organisation.
_:467840 agg:corporateHomepage <http://megacorp.example.com/>.
_:467840 agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>.

# Proof found for http://www.agfa.com/w3c/euler/danb-query.n3 in 23 steps (23000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:48 GMT
# for query http://www.agfa.com/w3c/euler/tpoint-query.n3
# given {http://www.agfa.com/w3c/euler/tpoint-facts.n3=[], http://www.agfa.com/w3c/euler/tpoint.n3=[]}

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/tpoint#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

 {
  <http://www.agfa.com/w3c/euler/tpoint#rule3> .
   {
    <http://www.agfa.com/w3c/euler/tpoint#rule1> .
    ( [ :center
  [ :X :0; :Y
      :2]]) a :Measurement} log:implies
  {( [ :center
  [ :X :0; :Y
      :2]]) a :Calculation}} log:implies
{( [ :tpoint
  [ :X [ :product [ :sum [ :product [ :square [ :product [ :sum [ :minus [ :product :2; :product
      :3; :product [ :sum :6; :sum
          [ :minus :2]]]]; :sum
      [ :sqrt [ :sum [ :product :4; :product
          [ :square :3]; :product [ :square [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :minus [ :product :4; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :2; :sum
                      :6]]]; :sum [ :product :2; :product
                      :2; :product [ :sum :0; :sum
                          [ :minus :6]]]]]]]]]; :product
      [ :slash [ :product :2; :product
          [ :sum [ :square [ :product :2; :product
              [ :slash [ :sqrt :5]]]]; :sum
              [ :minus [ :square [ :sum :0; :sum
                  [ :minus :3]]]]]]]]]; :product
      :3]; :sum
      [ :minus [ :product [ :product [ :sum [ :minus [ :product :2; :product
          :3; :product [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :sqrt [ :sum [ :product :4; :product
              [ :square :3]; :product [ :square [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :minus [ :product :4; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :2; :sum
                          :6]]]; :sum [ :product :2; :product
                          :2; :product [ :sum :0; :sum
                              [ :minus :6]]]]]]]]]; :product
          [ :slash [ :product :2; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]]]]; :product
          :6]]; :sum :0; :sum
          [ :product [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]; :product
              :2]]; :product
      [ :slash [ :sum [ :square [ :product [ :sum [ :minus [ :product :2; :product
          :3; :product [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :sqrt [ :sum [ :product :4; :product
              [ :square :3]; :product [ :square [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :minus [ :product :4; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :2; :sum
                          :6]]]; :sum [ :product :2; :product
                          :2; :product [ :sum :0; :sum
                              [ :minus :6]]]]]]]]]; :product
          [ :slash [ :product :2; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]]]]]; :sum
          :1]]]; :Y
      [ :product [ :sum [ :product [ :product [ :sum [ :minus [ :product :2; :product
          :3; :product [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :sqrt [ :sum [ :product :4; :product
              [ :square :3]; :product [ :square [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :minus [ :product :4; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :2; :sum
                          :6]]]; :sum [ :product :2; :product
                          :2; :product [ :sum :0; :sum
                              [ :minus :6]]]]]]]]]; :product
          [ :slash [ :product :2; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]]]]; :product
          :0]; :sum
          [ :product [ :square [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]]; :product
              :2]; :sum [ :minus [ :product [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]; :product
              :3]]; :sum
              :6]; :product
          [ :slash [ :sum [ :square [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]]; :sum
              :1]]]]]) a :Calculation}.

# Proof found for http://www.agfa.com/w3c/euler/tpoint-query.n3 in 39 steps (243 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:48 GMT
# for query http://www.agfa.com/w3c/euler/test-test.n3
# given {http://www.agfa.com/w3c/euler/test.n3=[]}

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/test#>.

_:3414368 :a :b.
:a :b :c.
:a :d :e.
:f :g :i.
:a :b :c.
:a :d :f.
:a :b :c.
:a :b :d.
:a :b :e.
_:3414368 :c :d.
_:3414368 :a :b.
:a :b _:7219514.
_:7219514 :c :d.
:b :e :f.
:c :e :f.
_:5546792 :g :h.
_:5546792 :a :b.
_:5546792 :c :d.
_:5546792 :e :f.
_:2348239 :g :h.
_:2348239 :a _:6857206.
_:6857206 :b :c.
_:2348239 :d _:6378181.
_:6378181 :e :f.
_:78236 :e :f.
_:78236 :a _:6301159.
_:6301159 :b _:5799060.
_:5799060 :c :d.

# Proof found for http://www.agfa.com/w3c/euler/test-test.n3 in 282 steps (28197 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:49 GMT
# for query http://www.agfa.com/w3c/euler/animal-simple.n3
# given {http://www.agfa.com/w3c/euler/animal.n3=[]}

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.

<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>.
<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.daml.org/2000/12/daml+oil#restrictedBy> _:2614099.
_:2614099 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>.
_:2614099 <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>.
_:2614099 <http://www.daml.org/2000/12/daml+oil#cardinality> "2".
<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/2000/01/rdf-schema#label> "Animal".

# Proof found for http://www.agfa.com/w3c/euler/animal-simple.n3 in 10 steps (999 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:49 GMT
# for query http://www.agfa.com/w3c/euler/rdfc25May-test.n3
# given {http://www.agfa.com/w3c/euler/rdfc25May.n3=[]}

@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix w: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfc: <http://www.w3.org/2001/sw/RDFCoreWGCharter#>.
@prefix n: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix who: <http://www.w3.org/2001/sw/RDFCore/members#>.
@prefix mr: <http://www.w3.org/2000/11/mr76/minutes#>.
@prefix m: <http://www.w3.org/2000/04/maillog2rdf/email#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.

<http://www.w3.org/2001/sw/RDFCore/> u:label "W3C RDFCore Working Group".
<rdfc25May> a rdfc:Teleconference.
<rdfc25May> mr:date "2001-05-25".
<rdfc25May> mr:roll _:2756460.
_:2756460 n:_1 _:5938662.
_:5938662 mr:from who:brian_mcbride.
_:5938662 a mr:ChairAck.
_:2756460 n:_2 _:3450840.
_:3450840 mr:from who:danbri.
_:3450840 a mr:Present.
_:2756460 n:_3 _:7835377.
_:7835377 mr:from who:barstow.
_:7835377 a mr:Present.
_:2756460 n:_4 _:4826768.
_:4826768 mr:from who:beckett.
_:4826768 a mr:Present.
_:2756460 n:_5 _:5666669.
_:5666669 mr:from who:frank.
_:5666669 a mr:Absent.
_:2756460 n:_6 _:3854469.
_:3854469 mr:from who:connolly.
_:3854469 a mr:ScribeAck.
_:2756460 n:_7 _:5230193.
_:5230193 mr:from who:rdaniel.
_:5230193 a mr:Regrets.
_:2756460 n:_8 _:8030722.
_:8030722 mr:from who:bdehora.
_:8030722 a mr:Present.
_:2756460 n:_10 _:5996024.
_:5996024 mr:from who:rael.
_:5996024 a mr:Absent.
_:2756460 n:_9 _:8043078.
_:8043078 mr:from who:deroo.
_:8043078 a mr:Regrets.
_:2756460 n:_11 _:2833747.
_:2833747 mr:from who:grant.
_:2833747 a mr:Present.
_:2756460 n:_12 _:4673335.
_:4673335 mr:from who:horner.
_:4673335 a mr:Absent.
_:2756460 n:_13 _:2208288.
_:2208288 mr:from who:renato.
_:2208288 a mr:Absent.
_:2756460 n:_14 _:3502256.
_:3502256 mr:from who:ykitahara.
_:3502256 a mr:Absent.
_:2756460 n:_15 _:7958910.
_:7958910 mr:from who:Klyne.
_:7958910 a mr:Regrets.
_:2756460 n:_16 _:666980.
_:666980 mr:from who:mkopchenov.
_:666980 a mr:Absent.
_:2756460 n:_17 _:2766626.
_:2766626 mr:from who:lassila.
_:2766626 a mr:Absent.
_:2756460 n:_18 _:642846.
_:642846 mr:from who:fmanola.
_:642846 a mr:Present.
_:2756460 n:_19 _:8185063.
_:8185063 mr:from who:snakamura.
_:8185063 a mr:Absent.
_:2756460 n:_20 _:1582473.
_:1582473 mr:from who:spetschu.
_:1582473 a mr:Present.
_:2756460 n:_21 _:4752448.
_:4752448 mr:from who:pgr.
_:4752448 a mr:Absent.
_:2756460 n:_22 _:6460284.
_:6460284 mr:from who:aswartz.
_:6460284 a mr:Present.
_:2756460 n:_23 _:4252762.
_:4252762 mr:from who:mdean.
_:4252762 a mr:Present.
_:2756460 n:_24 _:5237832.
_:5237832 mr:from who:guha.
_:5237832 a mr:Absent.
_:2756460 n:_25 _:2191491.
_:2191491 mr:from who:em.
_:2191491 a mr:Present.
<rdfc25May> mr:agenda _:6411754.
_:6411754 n:_1 _:2301467.
_:2301467 u:label """00  Welcome, Roll Call, volunteer scribe, Agenda
                 Review Minutes of previous meeting""".
_:2301467 mr:summary """minutes recorded by EricM approved as corrected in 0124, 0125 @@links.
DanBri: intends to meet with Guha next week in IRC and to get a brain dump from him.
McBride solicits folks with test cases to send them to him.

McBride reminds all that ftf is scheduled for 1,2 Aug.
agenda request: discussion of communicating resolutions to developer community.
""".
_:2301467 mr:result _:894443.
_:894443 a mr:ActionAck.
_:894443 mr:index n:_1.
_:894443 mr:from who:guha.
_:894443 u:label "Solicit RDF feature usage info and report back to the group".
_:2301467 mr:result _:531758.
_:531758 a mr:ActionDone.
_:531758 mr:index n:_2.
_:531758 mr:from who:beckett.
_:531758 u:label "Update the proposed changes for this issue[@@which?] and add test cases to demonstrate how they worked.".
_:2301467 mr:result _:3405865.
_:3405865 mr:index n:_3.
_:3405865 mr:from who:lassilla.
_:3405865 mr:from who:danbri.
_:3405865 u:label """send analysis (#rdf-container-syntax-ambiguity and
    #rdf-containers-syntax-vs-schema)to rdfcore-wg list""".
_:3405865 a mr:ActionAck.
_:2301467 mr:result _:6915075.
_:6915075 mr:index n:_4.
_:6915075 mr:from who:beckett.
_:6915075 u:label "re #rdfms-not-id-and-resource-attr: Revise analysis and post to list".
_:6915075 a mr:ActionDone.
_:2301467 mr:result _:5899013.
_:5899013 mr:index n:_4.
_:5899013 mr:from who:guha.
_:5899013 u:label "re #rdfms-reification-required: Present analaysis to list for discussion.".
_:5899013 a mr:ActionAck.
_:2301467 mr:result _:8146001.
_:8146001 mr:index n:_6.
_:8146001 mr:from who:brian_mcbride.
_:8146001 u:label "Link test cases, results etc. from issues list".
_:8146001 a mr:ActionAck.
_:2301467 mr:result _:7756310.
_:7756310 mr:index n:_7.
_:7756310 mr:from who:grant.
_:7756310 u:label "Do an analysis of the impact of XML Base and summarise to list.".
_:7756310 a mr:ActionAck.
_:2301467 mr:result _:1346515.
_:1346515 mr:index n:_8.
_:1346515 mr:from who:brian_mcbride.
_:1346515 u:label "Contact Rael about hosting face to face at O'Reilly.".
_:1346515 a mr:ActionAck.
_:2301467 mr:result _:6817858.
_:6817858 mr:index n:_9.
_:6817858 mr:from who:Klyne.
_:6817858 mr:from who:fmanola.
_:6817858 u:label """to summarize www-rdf-logic perspective of reification as 
 it applies to both logic and rdf andreport back to rdfcore wg""".
_:6817858 a mr:ActionAck.
_:2301467 mr:result _:7754670.
_:7754670 mr:index n:_10.
_:7754670 a mr:Withdrawn.
_:7754670 u:label "dup of A9".
_:2301467 mr:result _:7332084.
_:7332084 mr:index n:_11.
_:7332084 mr:from who:em.
_:7332084 u:label "to provide a solution enabling write access to RDF M&S and Schema errata documents.".
_:7332084 a mr:ActionDone.
_:2301467 mr:result _:1691809.
_:1691809 mr:deliverable <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001May/0178.html>.
_:1691809 mr:index n:_12.
_:1691809 mr:from who:barstow.
_:1691809 u:label """to formalize his suggestion RDFCore changes be reflected in
                    a separate page so developers can easily find these
                    issues/resolutions.""".
_:1691809 a mr:ActionDone.
_:6411754 n:_2 _:5253969.
_:5253969 u:label "15  re issues: #rdf-containers-syntax-ambiguity #rdf-containers-syntax-vs-schema".
_:5253969 mr:summary "postponed. @@make this a class.".
_:6411754 n:_3 _:4977422.
_:4977422 u:label "30 re issue: #rdf-ns-prefix-confusion".
_:4977422 mr:summary """
Connolly: so the language doesn't contain these documents. Good. that's clear.
Connolly: licensing processors to accept documents that aren't in the language is risky... the user community learns what the language is by what the tools do.
[... scribe is discussing too much to do a good job recording; help? ]
EricM: there's a requirement for syntactic inclusion in HTML.
BillD: I think we need to fix productions 4, 5, and 9
DaveB: I listed a bunch of productions in item2 of the proposal...
BillD: let's make it clear that folks MUST NOT use unprefixed resource/about/.. attrs.
em  notes that he may have overstated earlier requirements as there is no specified requirement of syntactic inclusion in M&S Specification.
item 7 is withdrawn; change is incorporated into item 2.
ArtB: so you're changing production 6.19 so that the prefix is not optional?
DaveB: yes.
ArtB: do folks realize there might be a lot of RDF out there in this form?
several: yes.
BillD: this looks like an erratum then; the grammar had a typo.
EricM: let's note this in both places: the errata and the developers page.
BrianM: DaveB's proposal should be couched in terms of 'namespace qualified' rather than 'namespace
prefixed'.
scribe note: "prefixed" doesn't occur in the RDF 1.0 spec.
DaveB: I have 7 tests.
""".
_:4977422 mr:result _:4343712.
_:4343712 a mr:Decision.
_:4343712 u:label """
The current RDF/XML syntax uses the following attributes in the syntax:

     about aboutEach aboutEachPrefix
     ID bagID
     resource
     parseType
     -- List of RDF attributes (henceforth The List)

     The remaining concepts are not in the list because:
       a. Seq Bag Alt Property Statement
         These are rdfs:Class-es and can never be used as attributes
       b. RDF Description   
         Syntax only things that have no current use as attributes
       c. li _<n> subject predicate object type value
         Not allowed to be used unprefixed according to the grammar

     Note Re: aboutEach aboutEachPrefix
       At present it is expected these will be removed from the
       specification although the WG has not addressed this yet.
       See thread at http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001May/0123.html
[@@@hmm... formatting/structure of decisions]
""".
_:4977422 mr:result _:7104150.
_:7104150 a mr:Decision.
_:7104150 u:label """
2.  The grammar will be corrected to require namespace-qualification
    for all attributes for The List.  A namespace prefix MUST be used
    for these attributes, where the namespace prefix points to the
    RDF URI http://www.w3.org/1999/02/22-rdf-syntax-ns#

    The meaning of the attributes is defined by the appropriate RDF
    M&S sections and is not modified here.

    The changes to the grammar at
      http://www.w3.org/TR/REC-rdf-syntax/#grammar
    include modifying productions 6.6, 6.7, 6.8, 6.9, 6.11, 6.18,
    6.32, 6.33 to have rdf: added before all the attributes.  There
    are almost certainly other changes to the grammar, as well as
    changes throughout the rest of the document such as examples and
    in-text mentions.
""".
_:4977422 mr:result _:4395840.
_:4395840 a mr:Decision.
_:4395840 u:label "to remove 3, 4, 5 from the proposal of Thu, 24 May 2001 14:47:07 +0100; i.e. not to license RDF processors to accept documents that contain unprefixed attributes".
_:4977422 mr:result _:2417379.
_:2417379 a mr:Decision.
_:2417379 u:label """6.  The grammar will be corrected to allow non-prefixed [correction: _not_ non-qualified] RDF elements (NOT attributes) when a default XML
    namespace is defined with an xmlns="..." attribute.

    Discussion: For example
      <Description xmlns="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
         ...
      </Description>
    is currently forbidden by production 6.3; it requires rdf:Description
""".
_:4977422 mr:result _:2865120.
_:2865120 a mr:ActionAck.
_:2865120 mr:from who:brian_mcbride.
_:2865120 u:label "edit the errata per the resolutions above; i.e. those regarding #rdf-ns-prefix-confusion".
_:4977422 mr:result _:3471002.
_:3471002 a mr:ActionAck.
_:3471002 mr:from who:beckett.
_:3471002 u:label "assemble test cases re #rdf-ns-prefix-confusion and suggest details of how the grammar in the spec should be updated.".
_:6411754 n:_4 _:2758093.
_:2758093 u:label "Format for expected results of test cases".
_:2758093 mr:summary """jang: we have an evolving convention for test case input; I have a suggestion for "expected results" format. that I intend to send.""".
_:2758093 mr:result _:8218801.
_:8218801 a mr:ActionAck.
_:8218801 mr:from who:grant.
_:8218801 u:label "propose expected results format.".
_:6411754 n:_5 _:6574198.
_:6574198 u:label "Adjournment".
_:6574198 mr:result _:6199126.
_:6199126 a mr:Decision.
_:6199126 u:label "to meet again one week hence".
<rdfc25May> mr:previous <mid:5.1.0.14.2.20010518145947.080e8268@localhost>.
<rdfc25May> mr:meetingCall <mid:3B0D19C7.7EA85FDF@hplb.hpl.hp.com>.
<mid:3B0D19C7.7EA85FDF@hplb.hpl.hp.com> mr:archivedIn <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001May/0168.html>.
<mid:3B0D19C7.7EA85FDF@hplb.hpl.hp.com> m:subject "RDFCore WG 2001-05-25 Teleconference Agenda".
<mid:5.1.0.14.2.20010518145947.080e8268@localhost> mr:archivedIn <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001May/0122.html>.
_:2206592 mr:record <mid:5.1.0.14.2.20010518145947.080e8268@localhost>.
_:2206592 mr:date "2001-05-18".
rdfc:Teleconference a u:Class.
rdfc:Teleconference u:label "Teleconference".
rdfc:Teleconference u:seeAlso <http://www.w3.org/2001/sw/RDFCore/>.

# Proof found for http://www.agfa.com/w3c/euler/rdfc25May-test.n3 in 4378 steps (48643 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:50 GMT
# for query http://www.agfa.com/w3c/euler/subprop-query.n3
# given {http://www.agfa.com/w3c/euler/rdfs-rules.n3=[], http://www.agfa.com/w3c/euler/subprop.n3=[]}

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/subprop#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    :Mary :firstHusband :Dan} log:implies
  {:Mary :husband :Dan}} log:implies
{:Mary :spouse :Dan}.

# Proof found for http://www.agfa.com/w3c/euler/subprop-query.n3 in 3 steps (3000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:50 GMT
# for query http://www.agfa.com/w3c/euler/subclass-query.n3
# given {http://www.agfa.com/w3c/euler/rdfs-rules.n3=[], http://www.agfa.com/w3c/euler/subclass.n3=[]}

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/subclass#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.

 {rdfs:Class a rdfs:Class.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
    rdfs:Class a rdfs:Class} log:implies
  {rdfs:Class u:subClassOf rdfs:Resource}} log:implies
{rdfs:Class a rdfs:Resource}.

# Proof found for http://www.agfa.com/w3c/euler/subclass-query.n3 in 307 steps (7674 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:51 GMT
# for query http://www.agfa.com/w3c/euler/rdfs-query.n3
# given {http://www.agfa.com/w3c/euler/rdfs-rules.n3=[], http://www.agfa.com/w3c/euler/rdf-facts.n3=[]}

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/rdf-facts#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

:foo :bar :baz.
:foo a rdfs:Resource.
:bar a rdf:Property.
:bar a rdfs:Resource.
:baz a rdfs:Resource.
rdfs:Resource a rdfs:Class.
rdfs:Resource a rdfs:Resource.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
  rdfs:Resource a rdfs:Class} log:implies
{rdfs:Resource rdfs:subClassOf rdfs:Resource}.
rdf:Property a rdfs:Class.
rdf:Property a rdfs:Resource.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
  rdf:Property a rdfs:Class} log:implies
{rdf:Property rdfs:subClassOf rdfs:Resource}.
rdfs:Class a rdfs:Class.
rdfs:Class a rdfs:Resource.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
  rdfs:Class a rdfs:Class} log:implies
{rdfs:Class rdfs:subClassOf rdfs:Resource}.
rdfs:Literal rdf:type rdfs:Class.
rdfs:Literal a rdfs:Resource.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
  rdfs:Literal a rdfs:Class} log:implies
{rdfs:Literal rdfs:subClassOf rdfs:Resource}.
rdf:type a rdf:Property.
rdf:type a rdfs:Resource.
rdf:type rdfs:domain rdfs:Resource.
rdf:type rdfs:range rdfs:Class.
rdfs:domain a rdf:Property.
rdfs:domain a rdfs:Resource.
rdfs:domain rdfs:domain rdf:Property.
rdfs:domain rdfs:range rdfs:Class.
rdfs:range a rdf:Property.
rdfs:range a rdfs:Resource.
rdfs:range rdfs:domain rdf:Property.
rdfs:range rdfs:range rdfs:Class.
rdfs:subClassOf a rdf:Property.
rdfs:subClassOf a rdfs:Resource.
rdfs:subClassOf rdfs:domain rdfs:Class.
rdfs:subClassOf rdfs:range rdfs:Class.
rdfs:subPropertyOf a rdf:Property.
rdfs:subPropertyOf a rdfs:Resource.
rdfs:subPropertyOf rdfs:domain rdf:Property.
rdfs:subPropertyOf rdfs:range rdf:Property.

# Proof found for http://www.agfa.com/w3c/euler/rdfs-query.n3 in 89 steps (8899 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:51 GMT
# for query http://www.agfa.com/w3c/euler/owl-query.n3
# given {http://www.agfa.com/w3c/euler/owl-facts.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule16c1> .
  :a a :b.
  :a a :c.
  :b owl:complementOf :c} log:implies
{:a :inconsistentWith owl:complementOf}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule16s1> .
  :b owl:complementOf :c.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule5b> .
    :a owl:complementOf :b.
    :c owl:complementOf :a} log:implies
  {:c owl:sameClassAs :b}} log:implies
{:b :inconsistentWith owl:sameClassAs}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule5d> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule12b> .
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule12a> } log:implies
    {( :a ( :a :a)) :remove ( :a)}} log:implies
  {( :a ( :b :a :a)) :remove ( :b :a)}.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule5d> .
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule12b> .
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule12a> } log:implies
      {( :a ( :a)) :remove ( )}} log:implies
    {( :a ( :b :a)) :remove ( :b)}.
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule5a> } log:implies
    {[ owl:oneOf
  ( :b)] owl:sameClassAs [ owl:oneOf ( :b)]}} log:implies
  {[ owl:oneOf
  ( :a :b)] owl:sameClassAs [ owl:oneOf ( :b :a)]}} log:implies
{[ owl:oneOf
  ( :a :a :b)] owl:sameClassAs [ owl:oneOf ( :b :a :a)]}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule6b> .
  :p a owl:ManyToOneProperty.
  :s :p :j.
  :s :p :i} log:implies
{:j owl:equivalentTo :i}.
:o owl:equivalentTo :m.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule9i2> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule9c2> .
    :John a [ owl:intersectionOf ( :Person :Student)].
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule10c> .
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule10a> } log:implies
      {( :Student) owl:item :Student}} log:implies
    {( :Person :Student) owl:item :Student}} log:implies
  {:John a :Student}.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule9i1> .
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule9c2> .
      :John a [ owl:intersectionOf ( :Person :Student)].
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule10b> } log:implies
      {( :Person :Student) owl:item :Person}} log:implies
    {:John a :Person}} log:implies
  {:John a [ owl:intersectionOf ( :Person)]}} log:implies
{:John a [ owl:intersectionOf ( :Student :Person)]}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule9i2> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule9c2> .
    :John a [ owl:intersectionOf ( :Person :Student)].
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule10c> .
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule10a> } log:implies
      {( :Student) owl:item :Student}} log:implies
    {( :Person :Student) owl:item :Student}} log:implies
  {:John a :Student}.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule9i1> .
    :John a :Employee} log:implies
  {:John a [ owl:intersectionOf ( :Employee)]}} log:implies
{:John a [ owl:intersectionOf ( :Student :Employee)]}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule9i2> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule9i2> .
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule9c2> .
      :John a [ owl:intersectionOf ( :Person :Student)].
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule10c> .
         {
          <http://www.agfa.com/w3c/euler/owl-rules#rule10a> } log:implies
        {( :Student) owl:item :Student}} log:implies
      {( :Person :Student) owl:item :Student}} log:implies
    {:John a :Student}.
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule9i1> .
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule9c2> .
        :John a [ owl:intersectionOf ( :Person :Student)].
         {
          <http://www.agfa.com/w3c/euler/owl-rules#rule10c> .
           {
            <http://www.agfa.com/w3c/euler/owl-rules#rule10a> } log:implies
          {( :Student) owl:item :Student}} log:implies
        {( :Person :Student) owl:item :Student}} log:implies
      {:John a :Student}} log:implies
    {:John a [ owl:intersectionOf ( :Student)]}} log:implies
  {:John a [ owl:intersectionOf ( :Student :Student)]}.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule9i1> .
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule9c2> .
      :John a [ owl:intersectionOf ( :Person :Student)].
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule10b> } log:implies
      {( :Person :Student) owl:item :Person}} log:implies
    {:John a :Person}} log:implies
  {:John a [ owl:intersectionOf ( :Person)]}} log:implies
{:John a [ owl:intersectionOf ( [ owl:intersectionOf ( :Student :Student)] :Person)]}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule9i2> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule9c2> .
    :John a [ owl:intersectionOf ( :Person :Student)].
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule10b> } log:implies
    {( :Person :Student) owl:item :Person}} log:implies
  {:John a :Person}.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule9i1> .
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule9u1> .
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule10b> } log:implies
      {( :Student [ owl:complementOf :Student]) owl:item :Student}.
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule9c2> .
        :John a [ owl:intersectionOf ( :Person :Student)].
         {
          <http://www.agfa.com/w3c/euler/owl-rules#rule10c> .
           {
            <http://www.agfa.com/w3c/euler/owl-rules#rule10a> } log:implies
          {( :Student) owl:item :Student}} log:implies
        {( :Person :Student) owl:item :Student}} log:implies
      {:John a :Student}} log:implies
    {:John a [ owl:unionOf ( :Student [ owl:complementOf
      :Student])]}} log:implies
  {:John a [ owl:intersectionOf ( [ owl:unionOf ( :Student [ owl:complementOf
      :Student])])]}} log:implies
{:John a [ owl:intersectionOf ( :Person [ owl:unionOf
      ( :Student [ owl:complementOf
          :Student])])]}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule9c1> .
  :H owl:oneOf ( :s :m :t).
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule10c> .
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule10b> } log:implies
    {( :m :t) owl:item :m}} log:implies
  {( :s :m :t) owl:item :m}} log:implies
{:m a :H}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule10c> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule10c> .
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule10a> } log:implies
    {( :c) owl:item :c}} log:implies
  {( :b :c) owl:item :c}} log:implies
{( :a :b :c) owl:item :c}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule11b> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule11b> .
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule11a> } log:implies
    {( ( ) ( :c)) :append ( :c)}} log:implies
  {( ( :b) ( :c)) :append ( :b :c)}} log:implies
{( ( :a :b) ( :c)) :append ( :a :b :c)}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule12b> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule12a> } log:implies
  {( :b ( :b :c)) :remove ( :c)}} log:implies
{( :b ( :a :b :c)) :remove ( :a :c)}.

# Proof found for http://www.agfa.com/w3c/euler/owl-query.n3 in 910 steps (29353 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:53 GMT
# for query http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph_query.n3
# given {http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph.n3=[], http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules.n3=[]}

@prefix ns: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rr: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix nsns: <http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph_query.n3#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {ns:e1 rgml:source ns:n1.
  ns:e1 rgml:target ns:n2} log:implies
{ns:n1 rr:adjacent ns:n2}.

# Proof found for http://www.cs.rpi.edu/~puninj/RGML/N3/simplegraph_query.n3 in 2 steps (2000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:54 GMT
# for query http://cvs.ilrt.org/cvsweb/~checkout~/redland/raptor/tests/test.nt
# given {http://cvs.ilrt.org/cvsweb/~checkout~/redland/raptor/tests/test.nt=[]}

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

<http://example.org/resource1> <http://example.org/property> <http://example.org/resource2>.
_:anon <http://example.org/property> <http://example.org/resource2>.
<http://example.org/resource2> <http://example.org/property> _:anon.
<http://example.org/resource3> <http://example.org/property> <http://example.org/resource2>.
<http://example.org/resource4> <http://example.org/property> <http://example.org/resource2>.
<http://example.org/resource5> <http://example.org/property> <http://example.org/resource2>.
<http://example.org/resource6> <http://example.org/property> <http://example.org/resource2>.
<http://example.org/resource7> <http://example.org/property> "simple literal".
<http://example.org/resource8> <http://example.org/property> "backslash:\\".
<http://example.org/resource9> <http://example.org/property> "dquote:\"".
<http://example.org/resource10> <http://example.org/property> "newline:\n".
<http://example.org/resource11> <http://example.org/property> "return\r".
<http://example.org/resource12> <http://example.org/property> "tab:\t".
<http://example.org/resource13> <http://example.org/property> <http://example.org/resource2>.
<http://example.org/resource14> <http://example.org/property> "x".
<http://example.org/resource15> <http://example.org/property> _:anon.
<http://example.org/resource16> <http://example.org/property> "\u00E9".
<http://example.org/resource17> <http://example.org/property> "\u20AC".
<http://example.org/resource18> <http://example.org/property> "\U001FFFFF".
<http://example.org/resource19> <http://example.org/property> "\U03FFFFFF".
<http://example.org/resource20> <http://example.org/property> "\U7FFFFFFF".
<http://example.org/resource21> <http://example.org/property> xml"".
<http://example.org/resource22> <http://example.org/property> xml" ".
<http://example.org/resource23> <http://example.org/property> xml"x".
<http://example.org/resource23> <http://example.org/property> xml"\"".
<http://example.org/resource24> <http://example.org/property> xml"<a/>".
<http://example.org/resource25> <http://example.org/property> xml"a <b/>".
<http://example.org/resource26> <http://example.org/property> xml"a <b></b> c".
<http://example.org/resource26> <http://example.org/property> xml"a\n<b></b>\nc".
<http://example.org/resource27> <http://example.org/property> xml"chat".
<http://example.org/resource28> <http://example.org/property> xml"chat"-fr.
<http://example.org/resource29> <http://example.org/property> xml"chat"-en.
<http://example.org/resource30> <http://example.org/property> "chat"-fr.
<http://example.org/resource31> <http://example.org/property> "chat"-en.

# Proof found for http://cvs.ilrt.org/cvsweb/~checkout~/redland/raptor/tests/test.nt in 629 steps (62893 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:57 GMT
# for query http://www.agfa.com/w3c/n3/dt10-conc.nt
# given {http://www.agfa.com/w3c/n3/dt10-premise.nt=[]}

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

_:a_rdfxg0 <http://purl.org/dc/elements/1.1/title> "10".
<http://www.w3.org/2000/10/swap/test/dt10-premise.rdf#mary> <http://example/vocab#age> "10".

# Proof found for http://www.agfa.com/w3c/n3/dt10-conc.nt in 2 steps (2000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:59 GMT
# for query http://www.agfa.com/w3c/n3/poolGame-query-web.n3
# given {http://www.w3.org/2001/08swws67/poolGame-kb.n3=[]}

@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix xlink: <http://www.w3.org/1999/xlink>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix xyz: <http://www.agfa.com/w3c/n3/poolGame-filter?>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix ont_: <http://www.w3.org/2001/08swws67/@@/ont_#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix : <http://www.w3.org/2001/08swws67/poolGame-kb.n3#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix v: <http://www.w3.org/2001/08swws67/?>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.

<http://www.w3.org/2001/08swws67/poolGame.n3#EricDanBayArea> <http://www.w3.org/2001/08swws67/poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>.

# Proof found for http://www.agfa.com/w3c/n3/poolGame-query-web.n3 in 1 step (1000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:41:59 GMT
# for query http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001.n3
# given null

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


# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:00 GMT
# for query http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt
# given {http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt=[], http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt=[], http://www.agfa.com/w3c/euler/rdfs-rules.n3=[], http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt=[]}

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bar> rdfs:domain <http://example.org/Domain1>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  <http://example.org/bar> rdfs:domain <http://example.org/Domain2>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bar> rdfs:range <http://example.org/Range1>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
  <http://example.org/bar> rdfs:range <http://example.org/Range2>.
  <http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>} log:implies
{<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:domain rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:domain <http://example.org/Domain1>} log:implies
    {<http://example.org/Domain1> a rdfs:Class}} log:implies
  {<http://example.org/Domain1> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Domain1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:domain rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:domain <http://example.org/Domain2>} log:implies
    {<http://example.org/Domain2> a rdfs:Class}} log:implies
  {<http://example.org/Domain2> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Domain2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:range rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:range <http://example.org/Range1>} log:implies
    {<http://example.org/Range1> a rdfs:Class}} log:implies
  {<http://example.org/Range1> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Range1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
  rdfs:subClassOf rdfs:domain <http://www.w3.org/2000/01/rdf-schema#Class>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule7> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> .
      rdfs:range rdfs:range rdfs:Class.
      <http://example.org/bar> rdfs:range <http://example.org/Range2>} log:implies
    {<http://example.org/Range2> a rdfs:Class}} log:implies
  {<http://example.org/Range2> rdfs:subClassOf rdfs:Resource}} log:implies
{<http://example.org/Range2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>}.

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt in 308 steps (15399 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:01 GMT
# for query http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test001.nt
# given {http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt=[], http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
      <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
    {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
      <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
    {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>}.
<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>.
<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>.

# Proof found for http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test001.nt in 328 steps (16399 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:02 GMT
# for query http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test002.nt
# given {http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt=[], http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

<http://example.org/foo#ancestor> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2001/10/daml+oil#TransitiveProperty>.
<http://example.org/foo#parent> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/foo#ancestor>.
<http://example.org/foo#ancestor> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/foo#ancestor-or-uncle>.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>}.
<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>.
<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>.

# Proof found for http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test002.nt in 255 steps (25497 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:03 GMT
# for query http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt
# given {http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt=[], http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>}.
<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad>.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
  <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
{<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>.
<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>.

# Proof found for http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt in 251 steps (12549 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:04 GMT
# for query http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test005.nt
# given {http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt=[], http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
      <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
    {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
      <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
    {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od>} log:implies
  {<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
    <http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd>} log:implies
  {<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}.

# Proof found for http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test005.nt in 77 steps (77000000 steps/sec)

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt> <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> <http://www.w3.org/2001/10/daml+oil>) log:notEntails <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test006.nt>.
( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt> <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> <http://www.w3.org/2001/10/daml+oil>) log:notEntails <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test007.nt>.

# Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001.n3 in 1244 steps (199 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:05 GMT
# for query http://www.agfa.com/w3c/n3/p8e.n3
# given null

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


# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:06 GMT
# for query http://www.agfa.com/w3c/n3/p8.nt
# given {http://www.agfa.com/w3c/euler/rdfd-rules.n3=[], http://www.agfa.com/w3c/n3/p7.nt=[], http://www.agfa.com/w3c/euler/rdfs-rules.n3=[], http://www.agfa.com/w3c/n3/p7s.nt=[]}

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfd-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfd: <http://www.w3.org/2002/rdf-datatyping#>.
@prefix : <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/dt#Jenny> <http://example.org/dt#birthDate> _:x.
_:x <http://example.org/dt#USdate> "05-08-67".
 {
  <http://www.agfa.com/w3c/euler/rdfd-rules#rule1b> .
  <http://example.org/dt#USdate> a rdfd:Datatype.
  _:x <http://example.org/dt#USdate> "05-08-67"} log:implies
{_:x <http://www.w3.org/2002/rdf-datatyping#lex> "05-08-67"}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule1a> .
    <http://example.org/dt#USdate> a rdfd:Datatype} log:implies
  {<http://example.org/dt#USdate> rdfs:domain <http://example.org/dt#USdate>}.
  _:x <http://example.org/dt#USdate> "05-08-67"} log:implies
{_:x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/dt#USdate>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule1a> .
    <http://example.org/dt#UKdate> a rdfd:Datatype} log:implies
  {<http://example.org/dt#UKdate> rdfs:domain <http://example.org/dt#UKdate>}.
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule2> .
     {
      <http://www.agfa.com/w3c/euler/rdfd-rules#rule1b> .
      <http://example.org/dt#USdate> a rdfd:Datatype.
      _:x <http://example.org/dt#USdate> "05-08-67"} log:implies
    {_:x <http://www.w3.org/2002/rdf-datatyping#lex> "05-08-67"}.
    <http://example.org/dt#Jenny> <http://example.org/dt#birthDate> _:x} log:implies
  {_:x <http://example.org/dt#UKdate> "05-08-67"}} log:implies
{_:x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/dt#UKdate>}.
<http://example.org/dt#Jenny> <http://example.org/dt#birthDate> _:y.
_:y <http://example.org/dt#UKdate> "08-05-67".
 {
  <http://www.agfa.com/w3c/euler/rdfd-rules#rule1b> .
  <http://example.org/dt#UKdate> a rdfd:Datatype.
  _:y <http://example.org/dt#UKdate> "08-05-67"} log:implies
{_:y <http://www.w3.org/2002/rdf-datatyping#lex> "08-05-67"}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule1a> .
    <http://example.org/dt#UKdate> a rdfd:Datatype} log:implies
  {<http://example.org/dt#UKdate> rdfs:domain <http://example.org/dt#UKdate>}.
  _:y <http://example.org/dt#UKdate> "08-05-67"} log:implies
{_:y <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/dt#UKdate>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule1a> .
    <http://example.org/dt#USdate> a rdfd:Datatype} log:implies
  {<http://example.org/dt#USdate> rdfs:domain <http://example.org/dt#USdate>}.
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule2> .
     {
      <http://www.agfa.com/w3c/euler/rdfd-rules#rule1b> .
      <http://example.org/dt#UKdate> a rdfd:Datatype.
      _:y <http://example.org/dt#UKdate> "08-05-67"} log:implies
    {_:y <http://www.w3.org/2002/rdf-datatyping#lex> "08-05-67"}.
    <http://example.org/dt#Jenny> <http://example.org/dt#birthDate> _:y} log:implies
  {_:y <http://example.org/dt#USdate> "08-05-67"}} log:implies
{_:y <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/dt#USdate>}.
<http://example.org/dt#Jenny> <http://example.org/dt#age> _:z.
 {
  <http://www.agfa.com/w3c/euler/rdfd-rules#rule2> .
  _:z <http://www.w3.org/2002/rdf-datatyping#lex> "35".
  <http://example.org/dt#Jenny> <http://example.org/dt#age> _:z} log:implies
{_:z <http://www.w3.org/2001/XMLSchema#number> "35"}.
_:z <http://www.w3.org/2002/rdf-datatyping#lex> "35".
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule1a> .
    <http://www.w3.org/2001/XMLSchema#number> a rdfd:Datatype} log:implies
  {<http://www.w3.org/2001/XMLSchema#number> rdfs:domain <http://www.w3.org/2001/XMLSchema#number>}.
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule2> .
    _:z <http://www.w3.org/2002/rdf-datatyping#lex> "35".
    <http://example.org/dt#Jenny> <http://example.org/dt#age> _:z} log:implies
  {_:z <http://www.w3.org/2001/XMLSchema#number> "35"}} log:implies
{_:z <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2001/XMLSchema#number>}.
<http://example.org/dt#John> <http://example.org/dt#age> "35".

# Proof found for http://www.agfa.com/w3c/n3/p8.nt in 331 steps (33096 steps/sec)


# Proof found for http://www.agfa.com/w3c/n3/p8e.n3 in 332 steps (543 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:07 GMT
# for query http://www.agfa.com/w3c/euler/graph.proof.n3
# given {http://www.agfa.com/w3c/euler/graph.axiom.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/graph#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
@prefix nsnsns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.agfa.com/w3c/euler/owl-rules#rule2>  .
  {<http://www.agfa.com/w3c/euler/rdfs-rules#rule6>  .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6> 
      .:angers :oneway :nantes} log:implies {:angers :twoway
          :nantes}} log:implies
      {:angers :path
          :nantes}.
  {<http://www.agfa.com/w3c/euler/owl-rules#rule2>  .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6> 
      .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6>  .:lemans :oneway
          :angers} log:implies
          {:lemans :twoway
              :angers}} log:implies {:lemans :path
          :angers}.{<http://www.agfa.com/w3c/euler/owl-rules#rule2>  .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6> 
          .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6>  .:chartres :oneway
              :lemans} log:implies
              {:chartres :twoway
                  :lemans}} log:implies {:chartres :path
              :lemans}.{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6>  .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6> 
              .:parijs :oneway :chartres} log:implies {:parijs :twoway
                  :chartres}} log:implies
              {:parijs :path
                  :chartres}} log:implies {:parijs :path
              :lemans}} log:implies {:parijs :path
          :angers}} log:implies
{:parijs :route :nantes}.

# Proof found for http://www.agfa.com/w3c/euler/graph.proof.n3 in 49 steps (195 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:07 GMT
# for query http://www.agfa.com/w3c/euler/graph.check.n3
# given {http://www.agfa.com/w3c/euler/graph.axiom.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/graph#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
@prefix nsnsns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{<http://www.agfa.com/w3c/euler/owl-rules#rule2>  .
  {<http://www.agfa.com/w3c/euler/rdfs-rules#rule6>  .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6> 
      .:angers :oneway :nantes} log:implies {:angers :twoway
          :nantes}} log:implies
      {:angers :path
          :nantes}.
  {<http://www.agfa.com/w3c/euler/owl-rules#rule2>  .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6> 
      .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6>  .:lemans :oneway
          :angers} log:implies
          {:lemans :twoway
              :angers}} log:implies {:lemans :path
          :angers}.{<http://www.agfa.com/w3c/euler/owl-rules#rule2>  .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6> 
          .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6>  .:chartres :oneway
              :lemans} log:implies
              {:chartres :twoway
                  :lemans}} log:implies {:chartres :path
              :lemans}.{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6>  .{<http://www.agfa.com/w3c/euler/rdfs-rules#rule6> 
              .:parijs :oneway :chartres} log:implies {:parijs :twoway
                  :chartres}} log:implies
              {:parijs :path
                  :chartres}} log:implies {:parijs :path
              :lemans}} log:implies {:parijs :path
          :angers}} log:implies
{:parijs :route :nantes}.

# Proof found for http://www.agfa.com/w3c/euler/graph.check.n3 in 49 steps (222 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:08 GMT
# for query http://www.agfa.com/w3c/euler/tpoint-proof.n3
# given {http://www.agfa.com/w3c/euler/tpoint-facts.n3=[], http://www.agfa.com/w3c/euler/tpoint.n3=[]}

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/tpoint#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

{<http://www.agfa.com/w3c/euler/tpoint#rule3>  .
  {<http://www.agfa.com/w3c/euler/tpoint#rule1>  .( [ :center [ :X :0; :Y
      :2]]) a
      :Measurement} log:implies
      {( [ :center [ :X :0; :Y
          :2]]) a
          :Calculation}} log:implies
{( [ :tpoint
  [ :X [ :product [ :sum [ :product [ :square [ :product [ :sum [ :minus [ :product :2; :product
      :3; :product [ :sum :6; :sum
          [ :minus :2]]]]; :sum
      [ :sqrt [ :sum [ :product :4; :product
          [ :square :3]; :product [ :square [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :minus [ :product :4; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :2; :sum
                      :6]]]; :sum [ :product :2; :product
                      :2; :product [ :sum :0; :sum
                          [ :minus :6]]]]]]]]]; :product
      [ :slash [ :product :2; :product
          [ :sum [ :square [ :product :2; :product
              [ :slash [ :sqrt :5]]]]; :sum
              [ :minus [ :square [ :sum :0; :sum
                  [ :minus :3]]]]]]]]]; :product
      :3]; :sum
      [ :minus [ :product [ :product [ :sum [ :minus [ :product :2; :product
          :3; :product [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :sqrt [ :sum [ :product :4; :product
              [ :square :3]; :product [ :square [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :minus [ :product :4; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :2; :sum
                          :6]]]; :sum [ :product :2; :product
                          :2; :product [ :sum :0; :sum
                              [ :minus :6]]]]]]]]]; :product
          [ :slash [ :product :2; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]]]]; :product
          :6]]; :sum :0; :sum
          [ :product [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]; :product
              :2]]; :product
      [ :slash [ :sum [ :square [ :product [ :sum [ :minus [ :product :2; :product
          :3; :product [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :sqrt [ :sum [ :product :4; :product
              [ :square :3]; :product [ :square [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :minus [ :product :4; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :2; :sum
                          :6]]]; :sum [ :product :2; :product
                          :2; :product [ :sum :0; :sum
                              [ :minus :6]]]]]]]]]; :product
          [ :slash [ :product :2; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]]]]]; :sum
          :1]]]; :Y
      [ :product [ :sum [ :product [ :product [ :sum [ :minus [ :product :2; :product
          :3; :product [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :sqrt [ :sum [ :product :4; :product
              [ :square :3]; :product [ :square [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :minus [ :product :4; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :2; :sum
                          :6]]]; :sum [ :product :2; :product
                          :2; :product [ :sum :0; :sum
                              [ :minus :6]]]]]]]]]; :product
          [ :slash [ :product :2; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]]]]; :product
          :0]; :sum
          [ :product [ :square [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]]; :product
              :2]; :sum [ :minus [ :product [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]; :product
              :3]]; :sum
              :6]; :product
          [ :slash [ :sum [ :square [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]]; :sum
              :1]]]]]) a :Calculation}.

# Proof found for http://www.agfa.com/w3c/euler/tpoint-proof.n3 in 11 steps (219 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:09 GMT
# for query http://www.agfa.com/w3c/euler/tpoint-check.n3
# given {http://www.agfa.com/w3c/euler/tpoint-facts.n3=[], http://www.agfa.com/w3c/euler/tpoint.n3=[]}

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/tpoint#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.

{<http://www.agfa.com/w3c/euler/tpoint#rule3>  .
  {<http://www.agfa.com/w3c/euler/tpoint#rule1>  .( [ :center [ :X :0; :Y
      :2]]) a
      :Measurement} log:implies
      {( [ :center [ :X :0; :Y
          :2]]) a
          :Calculation}} log:implies
{( [ :tpoint
  [ :X [ :product [ :sum [ :product [ :square [ :product [ :sum [ :minus [ :product :2; :product
      :3; :product [ :sum :6; :sum
          [ :minus :2]]]]; :sum
      [ :sqrt [ :sum [ :product :4; :product
          [ :square :3]; :product [ :square [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :minus [ :product :4; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :2; :sum
                      :6]]]; :sum [ :product :2; :product
                      :2; :product [ :sum :0; :sum
                          [ :minus :6]]]]]]]]]; :product
      [ :slash [ :product :2; :product
          [ :sum [ :square [ :product :2; :product
              [ :slash [ :sqrt :5]]]]; :sum
              [ :minus [ :square [ :sum :0; :sum
                  [ :minus :3]]]]]]]]]; :product
      :3]; :sum
      [ :minus [ :product [ :product [ :sum [ :minus [ :product :2; :product
          :3; :product [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :sqrt [ :sum [ :product :4; :product
              [ :square :3]; :product [ :square [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :minus [ :product :4; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :2; :sum
                          :6]]]; :sum [ :product :2; :product
                          :2; :product [ :sum :0; :sum
                              [ :minus :6]]]]]]]]]; :product
          [ :slash [ :product :2; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]]]]; :product
          :6]]; :sum :0; :sum
          [ :product [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]; :product
              :2]]; :product
      [ :slash [ :sum [ :square [ :product [ :sum [ :minus [ :product :2; :product
          :3; :product [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :sqrt [ :sum [ :product :4; :product
              [ :square :3]; :product [ :square [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :minus [ :product :4; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :2; :sum
                          :6]]]; :sum [ :product :2; :product
                          :2; :product [ :sum :0; :sum
                              [ :minus :6]]]]]]]]]; :product
          [ :slash [ :product :2; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]]]]]; :sum
          :1]]]; :Y
      [ :product [ :sum [ :product [ :product [ :sum [ :minus [ :product :2; :product
          :3; :product [ :sum :6; :sum
              [ :minus :2]]]]; :sum
          [ :sqrt [ :sum [ :product :4; :product
              [ :square :3]; :product [ :square [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :minus [ :product :4; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :2; :sum
                          :6]]]; :sum [ :product :2; :product
                          :2; :product [ :sum :0; :sum
                              [ :minus :6]]]]]]]]]; :product
          [ :slash [ :product :2; :product
              [ :sum [ :square [ :product :2; :product
                  [ :slash [ :sqrt :5]]]]; :sum
                  [ :minus [ :square [ :sum :0; :sum
                      [ :minus :3]]]]]]]]; :product
          :0]; :sum
          [ :product [ :square [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]]; :product
              :2]; :sum [ :minus [ :product [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]; :product
              :3]]; :sum
              :6]; :product
          [ :slash [ :sum [ :square [ :product [ :sum [ :minus [ :product :2; :product
              :3; :product [ :sum :6; :sum
                  [ :minus :2]]]]; :sum
              [ :sqrt [ :sum [ :product :4; :product
                  [ :square :3]; :product [ :square [ :sum :6; :sum
                      [ :minus :2]]]]; :sum
                  [ :minus [ :product :4; :product
                      [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :0; :sum
                              [ :minus :3]]]]]; :product [ :sum [ :square [ :product :2; :product
                          [ :slash [ :sqrt :5]]]]; :sum
                          [ :minus [ :square [ :sum :2; :sum
                              :6]]]; :sum [ :product :2; :product
                              :2; :product [ :sum :0; :sum
                                  [ :minus :6]]]]]]]]]; :product
              [ :slash [ :product :2; :product
                  [ :sum [ :square [ :product :2; :product
                      [ :slash [ :sqrt :5]]]]; :sum
                      [ :minus [ :square [ :sum :0; :sum
                          [ :minus :3]]]]]]]]]; :sum
              :1]]]]]) a :Calculation}.

# Proof found for http://www.agfa.com/w3c/euler/tpoint-check.n3 in 11 steps (274 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:09 GMT
# for query http://www.agfa.com/w3c/n3/b5.nt
# given {http://www.agfa.com/w3c/n3/b4.nt=[]}

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

_:stmt1 <http://example.org/re#property> <http://example.org/re#SomePropertyValue>.

# Proof found for http://www.agfa.com/w3c/n3/b5.nt in 1 step (1000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:09 GMT
# for query http://www.agfa.com/w3c/n3/p2.nt
# given {http://www.agfa.com/w3c/n3/p1.nt=[]}

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

_:G <http://example.org/family#gender> <http://example.org/family#Female>.
_:B <http://example.org/family#gender> <http://example.org/family#Male>.

# Proof found for http://www.agfa.com/w3c/n3/p2.nt in 3 steps (3000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:10 GMT
# for query http://www.agfa.com/w3c/n3/p5.nt
# given {http://www.agfa.com/w3c/n3/p4.nt=[]}

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

_:s1 <http://example.org/eg#foo> <http://example.org/eg#baz>.

# Proof found for http://www.agfa.com/w3c/n3/p5.nt in 1 step (99 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:10 GMT
# for query http://www.agfa.com/w3c/n3/p8.nt
# given {http://www.agfa.com/w3c/euler/rdfd-rules.n3=[], http://www.agfa.com/w3c/n3/p7.nt=[], http://www.agfa.com/w3c/euler/rdfs-rules.n3=[], http://www.agfa.com/w3c/n3/p7s.nt=[]}

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfd-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfd: <http://www.w3.org/2002/rdf-datatyping#>.
@prefix : <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://example.org/dt#Jenny> <http://example.org/dt#birthDate> _:x.
_:x <http://example.org/dt#USdate> "05-08-67".
 {
  <http://www.agfa.com/w3c/euler/rdfd-rules#rule1b> .
  <http://example.org/dt#USdate> a rdfd:Datatype.
  _:x <http://example.org/dt#USdate> "05-08-67"} log:implies
{_:x <http://www.w3.org/2002/rdf-datatyping#lex> "05-08-67"}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule1a> .
    <http://example.org/dt#USdate> a rdfd:Datatype} log:implies
  {<http://example.org/dt#USdate> rdfs:domain <http://example.org/dt#USdate>}.
  _:x <http://example.org/dt#USdate> "05-08-67"} log:implies
{_:x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/dt#USdate>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule1a> .
    <http://example.org/dt#UKdate> a rdfd:Datatype} log:implies
  {<http://example.org/dt#UKdate> rdfs:domain <http://example.org/dt#UKdate>}.
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule2> .
     {
      <http://www.agfa.com/w3c/euler/rdfd-rules#rule1b> .
      <http://example.org/dt#USdate> a rdfd:Datatype.
      _:x <http://example.org/dt#USdate> "05-08-67"} log:implies
    {_:x <http://www.w3.org/2002/rdf-datatyping#lex> "05-08-67"}.
    <http://example.org/dt#Jenny> <http://example.org/dt#birthDate> _:x} log:implies
  {_:x <http://example.org/dt#UKdate> "05-08-67"}} log:implies
{_:x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/dt#UKdate>}.
<http://example.org/dt#Jenny> <http://example.org/dt#birthDate> _:y.
_:y <http://example.org/dt#UKdate> "08-05-67".
 {
  <http://www.agfa.com/w3c/euler/rdfd-rules#rule1b> .
  <http://example.org/dt#UKdate> a rdfd:Datatype.
  _:y <http://example.org/dt#UKdate> "08-05-67"} log:implies
{_:y <http://www.w3.org/2002/rdf-datatyping#lex> "08-05-67"}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule1a> .
    <http://example.org/dt#UKdate> a rdfd:Datatype} log:implies
  {<http://example.org/dt#UKdate> rdfs:domain <http://example.org/dt#UKdate>}.
  _:y <http://example.org/dt#UKdate> "08-05-67"} log:implies
{_:y <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/dt#UKdate>}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule1a> .
    <http://example.org/dt#USdate> a rdfd:Datatype} log:implies
  {<http://example.org/dt#USdate> rdfs:domain <http://example.org/dt#USdate>}.
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule2> .
     {
      <http://www.agfa.com/w3c/euler/rdfd-rules#rule1b> .
      <http://example.org/dt#UKdate> a rdfd:Datatype.
      _:y <http://example.org/dt#UKdate> "08-05-67"} log:implies
    {_:y <http://www.w3.org/2002/rdf-datatyping#lex> "08-05-67"}.
    <http://example.org/dt#Jenny> <http://example.org/dt#birthDate> _:y} log:implies
  {_:y <http://example.org/dt#USdate> "08-05-67"}} log:implies
{_:y <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/dt#USdate>}.
<http://example.org/dt#Jenny> <http://example.org/dt#age> _:z.
 {
  <http://www.agfa.com/w3c/euler/rdfd-rules#rule2> .
  _:z <http://www.w3.org/2002/rdf-datatyping#lex> "35".
  <http://example.org/dt#Jenny> <http://example.org/dt#age> _:z} log:implies
{_:z <http://www.w3.org/2001/XMLSchema#number> "35"}.
_:z <http://www.w3.org/2002/rdf-datatyping#lex> "35".
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule1a> .
    <http://www.w3.org/2001/XMLSchema#number> a rdfd:Datatype} log:implies
  {<http://www.w3.org/2001/XMLSchema#number> rdfs:domain <http://www.w3.org/2001/XMLSchema#number>}.
   {
    <http://www.agfa.com/w3c/euler/rdfd-rules#rule2> .
    _:z <http://www.w3.org/2002/rdf-datatyping#lex> "35".
    <http://example.org/dt#Jenny> <http://example.org/dt#age> _:z} log:implies
  {_:z <http://www.w3.org/2001/XMLSchema#number> "35"}} log:implies
{_:z <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2001/XMLSchema#number>}.
<http://example.org/dt#John> <http://example.org/dt#age> "35".

# Proof found for http://www.agfa.com/w3c/n3/p8.nt in 331 steps (33096 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:11 GMT
# for query http://www.w3.org/2002/03owlt/sameGuyC.n3
# given {http://www.agfa.com/w3c/euler/owl-rules.n3=[], http://www.w3.org/2002/03owlt/sameGuyP.n3=[]}

@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://example/vocab#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ex: <http://example/vocab#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

[ contact:mailbox
  <mailto:connolly@w3.org>] :hairColor :red.
[ contact:mailbox
  <mailto:connolly@w3.org>] :birthPlace :KC.

# Proof found for http://www.w3.org/2002/03owlt/sameGuyC.n3 in 2 steps (2000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:12 GMT
# for query http://www.agfa.com/w3c/2000/10/swap/test/pathCrossQ.n3
# given {http://www.agfa.com/w3c/2000/10/swap/test/pathCross.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix usps: <http://www.w3.org/2000/10/swap/pim/usps#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix pc: <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix c: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix dt: <http://www.w3.org/2000/10/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ont: <http://www.w3.org/2001/10/daml+oil#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix : <http://www.agfa.com/w3c/2000/10/swap/test/pathCross#>.
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix map: <http://www.w3.org/2000/10/swap/pim/earthMap#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
@prefix s: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix cn: <http://opencyc.sourceforge.net/daml/cyc.daml#>.

:DanC cn:acquaintedWith :DanBri.
_:www2002 cn:socialParticipants :DanBri.
 {_:1547915 :name "Hawaii".
  _:6713174 map:cityName "Honolulu".
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
    _:6713174 cn:inRegion _:1547915.
    _:www2002 cn:inRegion _:6713174} log:implies
  {_:www2002 cn:inRegion _:1547915}.
  _:6713174 cn:inRegion _:1547915} log:implies
{_:www2002 cn:inRegion ( "Honolulu" "Hawaii")}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule1> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
     {{{
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
          _:webConf cn:startingDate [ dt:date "2002-05-07"]} log:implies
        {_:webConf cn:startsDuring [ dt:date "2002-05-07"]}.
         {
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
          _:webConf cn:endingDate [ dt:date "2002-05-11"]} log:implies
        {_:webConf cn:endsDuring [ dt:date "2002-05-11"]}} log:implies
      {_:webConf cn:temporallySubsumes ( [ dt:date "2002-05-07"] [ dt:date
      "2002-05-11"])}.
       {{
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
          _:www2002 cn:startingDate [ dt:date "2002-05-07"]} log:implies
        {_:www2002 cn:startsDuring [ dt:date "2002-05-07"]}.
         {
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
          _:www2002 cn:endingDate [ dt:date "2002-05-11"]} log:implies
        {_:www2002 cn:endsDuring [ dt:date "2002-05-11"]}} log:implies
      {_:www2002 cn:temporallySubsumes ( [ dt:date "2002-05-07"] [ dt:date
      "2002-05-11"])}} log:implies
    {_:webConf cn:temporallyIntersects _:www2002}} log:implies
  {_:webConf cn:temporalBoundsIntersect _:www2002}} log:implies
{_:www2002 cn:temporalBoundsIntersect _:webConf}.
_:webConf cn:socialParticipants :DanC.
 {_:758393 :name "Hawaii".
  _:3935059 map:cityName "Honolulu".
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
    _:3935059 cn:inRegion _:758393.
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
      _:521309 cn:inRegion _:3935059.
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
        _:webConf cn:eventOccursAt _:521309} log:implies
      {_:webConf cn:inRegion _:521309}} log:implies
    {_:webConf cn:inRegion _:3935059}} log:implies
  {_:webConf cn:inRegion _:758393}.
  _:3935059 cn:inRegion _:758393} log:implies
{_:webConf cn:inRegion ( "Honolulu" "Hawaii")}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule1> .
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
     {{{
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
          _:webConf cn:startingDate [ dt:date "2002-05-07"]} log:implies
        {_:webConf cn:startsDuring [ dt:date "2002-05-07"]}.
         {
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
          _:webConf cn:endingDate [ dt:date "2002-05-11"]} log:implies
        {_:webConf cn:endsDuring [ dt:date "2002-05-11"]}} log:implies
      {_:webConf cn:temporallySubsumes ( [ dt:date "2002-05-07"] [ dt:date
      "2002-05-11"])}.
       {{
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
          _:webConf cn:startingDate [ dt:date "2002-05-07"]} log:implies
        {_:webConf cn:startsDuring [ dt:date "2002-05-07"]}.
         {
          <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
          _:webConf cn:endingDate [ dt:date "2002-05-11"]} log:implies
        {_:webConf cn:endsDuring [ dt:date "2002-05-11"]}} log:implies
      {_:webConf cn:temporallySubsumes ( [ dt:date "2002-05-07"] [ dt:date
      "2002-05-11"])}} log:implies
    {_:webConf cn:temporallyIntersects _:webConf}} log:implies
  {_:webConf cn:temporalBoundsIntersect _:webConf}} log:implies
{_:webConf cn:temporalBoundsIntersect _:webConf}.

# Proof found for http://www.agfa.com/w3c/2000/10/swap/test/pathCrossQ.n3 in 4101 steps (34174 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:12 GMT
# for query http://www.agfa.com/w3c/euler/builtins.n3
# given {http://www.agfa.com/w3c/euler/ziv.n3=[]}

@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix ns: <http://www.agfa.com/w3c/euler/builtins#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix ziv: <http://www.agfa.com/w3c/euler/ziv#>.
@prefix : <http://www.agfa.com/w3c/euler/ziv#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


( "a" "b" "c") str:concatenation "abc".
( "a" "b" "c") str:concatenation "abc".
"xyz" str:greaterThan "abc".
"abc" str:notGreaterThan "xyz".
"abc" str:lessThan "xyz".
"xyz" str:notLessThan "abc".
"xyz" str:notLessThan "xyz".
"abc" str:startsWith "ab".
"abc" str:endsWith "bc".
"abc" str:endsWith "abc".
( "1" "2" "3") math:sum "6.0".
( "6.0" "1") math:difference "5.0".
( "1" "2" "3") math:product "6.0".
( "6.0" "3") math:quotient "2.0".
( "5.0" "2.0") math:remainder "1.0".
"-5" math:negation "5.0".
( "2" "10") math:exponentiation "1024.0".
( "a" ( "b" "c") "d") math:memberCount "3".
"6.0" math:greaterThan "2.0".
"2.0" math:notGreaterThan "6.0".
"2.0" math:lessThan "6.0".
"6.0" math:notLessThan "2.0".
"6.0" math:equalTo "6.0".
"2.0" math:notEqualTo "6.0".
{[ ziv:maand
  "May"; ziv:city _:c; ziv:film
      _:f; ziv:cinema "Globus"] 
          } math:proofCount "5".
ns:x log:equalTo ns:x.
ns:x log:notEqualTo ns:y.
{ns:a ns:b ns:c.ns:d ns:e
      ns:f.ns:g ns:h ns:i} log:includes {ns:d ns:e
          ns:f}.
{ns:a ns:b ns:c.ns:d ns:e
      ns:f.ns:g ns:h ns:i} log:notIncludes {ns:d ns:x
          ns:f}.

# Proof found for http://www.agfa.com/w3c/euler/builtins.n3 in 535 steps (6687 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:13 GMT
# for query http://www.w3.org/2002/03owlt/mapInvC.n3
# given {http://www.w3.org/2002/03owlt/mapInvP.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.
@prefix my: <http://example/myVocab#>.
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://example/vocab#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ex: <http://example/vocab#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix your: <http://example/yourVocab#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule1> .
  :joe my:hasBrother :bob} log:implies
{:bob your:isBrotherOf :joe}.

# Proof found for http://www.w3.org/2002/03owlt/mapInvC.n3 in 2 steps (2000000 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:17 GMT
# for query http://www.w3.org/2002/03owlt/oneOfC.n3
# given {http://www.w3.org/2002/03owlt/oneOfP.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.w3.org/2002/03owlt/oneOf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule5e> .
  :x owl:oneOf ( :a :a :b).
  :y owl:oneOf ( :b :a :a).
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule5d> .
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule12b> .
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule12a> } log:implies
      {( :a ( :a :a)) ns:remove ( :a)}} log:implies
    {( :a ( :b :a :a)) ns:remove ( :b :a)}.
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule5d> .
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule12b> .
         {
          <http://www.agfa.com/w3c/euler/owl-rules#rule12a> } log:implies
        {( :a ( :a)) ns:remove ( )}} log:implies
      {( :a ( :b :a)) ns:remove ( :b)}.
       {
        <http://www.agfa.com/w3c/euler/owl-rules#rule5a> } log:implies
      {[ owl:oneOf
  ( :b)] owl:sameClassAs [ owl:oneOf ( :b)]}} log:implies
    {[ owl:oneOf
  ( :a :b)] owl:sameClassAs [ owl:oneOf ( :b :a)]}} log:implies
  {[ owl:oneOf
  ( :a :a :b)] owl:sameClassAs [ owl:oneOf ( :b :a :a)]}} log:implies
{:x owl:sameClassAs :y}.

# Proof found for http://www.w3.org/2002/03owlt/oneOfC.n3 in 30 steps (2999 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:18 GMT
# for query http://www.w3.org/2002/03owlt/pathTransitiveC.n3
# given {http://www.w3.org/2002/03owlt/pathTransitiveP.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.w3.org/2002/03owlt/pathTransitive#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule2> .
  :Antwerp :path :Amsterdam.
  :Ghent :path :Antwerp} log:implies
{:Ghent :path :Amsterdam}.

# Proof found for http://www.w3.org/2002/03owlt/pathTransitiveC.n3 in 7 steps (699 steps/sec)

# Generated with http://www.agfa.com/w3c/euler/#R30088 on 29 Jun 2002 13:42:18 GMT
# for query http://www.w3.org/2002/03owlt/unionOfC.n3
# given {http://www.w3.org/2002/03owlt/unionOfP.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.w3.org/2002/03owlt/unionOf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule9u1> .
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule10b> } log:implies
  {( :Student :Employee) owl:item :Student}.
  :John a :Student} log:implies
{:John a [ owl:unionOf ( :Student :Employee)]}.

# Proof found for http://www.w3.org/2002/03owlt/unionOfC.n3 in 37 steps (3699 steps/sec)


# Proof found for http://lists.w3.org/Archives/Public/www-archive/2002Jun/att-0041/01-etc5.n3 in 52399 steps (1118 steps/sec)
Received on Saturday, 29 June 2002 09:53:05 GMT

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