# $Id: pimP.n3,v 1.1 2003/01/05 01:58:57 amdus Exp $

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <pim#>.

<> :forYear "1999", "2000", "2001", "2002", "2003".

:johnDoe a :Contact;
         :bornYear "1946"; :bornMonth "11"; :bornDay "01";
         :diedYear "2001"; :diedMonth "11"; :diedDay "03" .
:janeDoe a :Contact; a :LivePerson;
         :bornYear "2000"; :bornMonth "04"; :bornDay "13".

{:rule1a. ?p a :LivePerson; :bornYear ?by; :bornMonth ?bm; :bornDay ?bd.
          <> :forYear ?y. ?y math:notLessThan ?by.
          (?y "-" ?bm "-" ?bd)  str:concatenation ?s} => {?p :happyBirthDay ?s}.
{:rule1b. ?p :bornYear ?by; :bornMonth ?bm; :bornDay ?bd; :diedYear ?dy.
          <> :forYear ?y. ?y math:notLessThan ?by; math:lessThan ?dy.
          (?y "-" ?bm "-" ?bd)  str:concatenation ?s} => {?p :happyBirthDay ?s}.
{:rule1c. ?p :bornYear ?by; :bornMonth ?bm; :bornDay ?bd; :diedYear ?dy; :diedMonth ?dm.
          <> :forYear ?dy. ?bm math:lessThan ?dm.
          (?dy "-" ?bm "-" ?bd)  str:concatenation ?s} => {?p :happyBirthDay ?s}.
{:rule1d. ?p :bornYear ?by; :bornMonth ?bm; :bornDay ?bd; :diedYear ?dy; :diedMonth ?bm; :diedDay ?dd.
          <> :forYear ?dy. ?bd math:lessThan ?dd.
          (?dy "-" ?bm "-" ?bd)  str:concatenation ?s} => {?p :happyBirthDay ?s}.