# Generated with http://www.agfa.com/w3c/euler/#R3303 on 5 Jan 2003 01:14:38 GMT
# for query http://www.agfa.com/w3c/2003/01calt/pimC.n3
# given {http://www.agfa.com/w3c/2003/01calt/pimP.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 log: <http://www.w3.org/2000/10/swap/log#> .
@prefix : <http://www.agfa.com/w3c/2003/01calt/pim#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix str: <http://www.w3.org/2000/10/swap/string#> .

 {
  <http://www.agfa.com/w3c/2003/01calt/pim#rule1a> .
  :janeDoe a :LivePerson.
  :janeDoe :bornYear "2000".
  :janeDoe :bornMonth "04".
  :janeDoe :bornDay "13".
  <http://www.agfa.com/w3c/2003/01calt/pimP.n3> :forYear "2000".
  "2000" math:notLessThan "2000".
  ( "2000" "-" "04" "-" "13") str:concatenation "2000-04-13"} log:implies
{:janeDoe :happyBirthDay "2000-04-13"}.

 {
  <http://www.agfa.com/w3c/2003/01calt/pim#rule1a> .
  :janeDoe a :LivePerson.
  :janeDoe :bornYear "2000".
  :janeDoe :bornMonth "04".
  :janeDoe :bornDay "13".
  <http://www.agfa.com/w3c/2003/01calt/pimP.n3> :forYear "2001".
  "2001" math:notLessThan "2000".
  ( "2001" "-" "04" "-" "13") str:concatenation "2001-04-13"} log:implies
{:janeDoe :happyBirthDay "2001-04-13"}.

 {
  <http://www.agfa.com/w3c/2003/01calt/pim#rule1a> .
  :janeDoe a :LivePerson.
  :janeDoe :bornYear "2000".
  :janeDoe :bornMonth "04".
  :janeDoe :bornDay "13".
  <http://www.agfa.com/w3c/2003/01calt/pimP.n3> :forYear "2002".
  "2002" math:notLessThan "2000".
  ( "2002" "-" "04" "-" "13") str:concatenation "2002-04-13"} log:implies
{:janeDoe :happyBirthDay "2002-04-13"}.

 {
  <http://www.agfa.com/w3c/2003/01calt/pim#rule1a> .
  :janeDoe a :LivePerson.
  :janeDoe :bornYear "2000".
  :janeDoe :bornMonth "04".
  :janeDoe :bornDay "13".
  <http://www.agfa.com/w3c/2003/01calt/pimP.n3> :forYear "2003".
  "2003" math:notLessThan "2000".
  ( "2003" "-" "04" "-" "13") str:concatenation "2003-04-13"} log:implies
{:janeDoe :happyBirthDay "2003-04-13"}.

 {
  <http://www.agfa.com/w3c/2003/01calt/pim#rule1b> .
  :johnDoe :bornYear "1946".
  :johnDoe :bornMonth "11".
  :johnDoe :bornDay "01".
  :johnDoe :diedYear "2001".
  <http://www.agfa.com/w3c/2003/01calt/pimP.n3> :forYear "1999".
  "1999" math:notLessThan "1946".
  "1999" math:lessThan "2001".
  ( "1999" "-" "11" "-" "01") str:concatenation "1999-11-01"} log:implies
{:johnDoe :happyBirthDay "1999-11-01"}.

 {
  <http://www.agfa.com/w3c/2003/01calt/pim#rule1b> .
  :johnDoe :bornYear "1946".
  :johnDoe :bornMonth "11".
  :johnDoe :bornDay "01".
  :johnDoe :diedYear "2001".
  <http://www.agfa.com/w3c/2003/01calt/pimP.n3> :forYear "2000".
  "2000" math:notLessThan "1946".
  "2000" math:lessThan "2001".
  ( "2000" "-" "11" "-" "01") str:concatenation "2000-11-01"} log:implies
{:johnDoe :happyBirthDay "2000-11-01"}.

 {
  <http://www.agfa.com/w3c/2003/01calt/pim#rule1d> .
  :johnDoe :bornYear "1946".
  :johnDoe :bornMonth "11".
  :johnDoe :bornDay "01".
  :johnDoe :diedYear "2001".
  :johnDoe :diedMonth "11".
  :johnDoe :diedDay "03".
  <http://www.agfa.com/w3c/2003/01calt/pimP.n3> :forYear "2001".
  "01" math:lessThan "03".
  ( "2001" "-" "11" "-" "01") str:concatenation "2001-11-01"} log:implies
{:johnDoe :happyBirthDay "2001-11-01"}.


# Proof found for http://www.agfa.com/w3c/2003/01calt/pimC.n3 in 96 steps (8921 steps/sec) using 1 engine