# Generated with http://www.agfa.com/w3c/euler/#R31022 on 22 Jul 2002 16:38:54 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/#R31022 on 22 Jul 2002 16:38:54 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 321 steps (19980 steps/sec)


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