# $Id: dtC.n3,v 1.20 2005/09/22 11:50:37 amdus Exp $

# PxButton | test  | java euler.EulerRunner --nope dtP.n3 xsd-rules.n3 rdfs-rules.n3 dtC.n3
# PxButton | test# | Euler --nope dtP.n3 xsd-rules.n3 rdfs-rules.n3 dtC.n3

@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 : <http://www.agfa.com/w3c/euler/dtP#>.

:road :repair "P14M3DT10H30M"^^xsd:duration.
:testcase :made "2002-11-16T00:41:00Z"^^xsd:dateTime.
:john :birthday "1956-01-10"^^xsd:date.
:john :birthday "1956-01"^^xsd:gYearMonth.
:john :birthday "1956"^^xsd:gYear.
:john :birthday "--01-10"^^xsd:gMonthDay.
:john :birthday "---10"^^xsd:gDay.
:john :birthday "--01--"^^xsd:gMonth.
:jane :age "+10.000"^^xsd:decimal.
:mary :ageS "11"^^xsd:string.
:john :ageS "11".
:jenny :age _:A.

"10.1"^^xsd:decimal math:greaterThan "8.4"^^xsd:decimal.
"P1Y2M"^^xsd:duration math:notGreaterThan "P14MT10H"^^xsd:duration.
"01:41:00+01:00"^^xsd:time math:lessThan "05:41:00Z"^^xsd:time.
"1956-01-10"^^xsd:date math:notLessThan "1956-01-10"^^xsd:date.
"10"^^xsd:int math:equalTo "010"^^xsd:int.

"a" a rdfs:Literal.
5 a rdfs:Literal.
5.0 a rdfs:Literal.
0.5e1 a rdfs:Literal.
:aaa :ppp "333"^^xsd:int.
:bbb :ppp " 333 "^^xsd:int.
:bbb :ppp [ a rdfs:Literal].
:foo :bar "chat"@fr^^rdf:XMLLiteral.
:foo :bar "chat"@fr^^:baz.
:ccc :qqq "sss"@en-US.

:Jane :age "15"^^xsd:decimal.
:JaneC :age "15"^^xsd:byte.
:doc :language "en-US"^^xsd:string.
:doc2 :language "en-US".
:doc :language "en-US".
:Jeremy :ageInYears "40"^^xsd:float.
:JeremyC :ageInYears "40"^^xsd:float.
:car :engineSizeInLitres "1.3"^^xsd:float.
:car2 :engineSizeInLitres "1.3"^^xsd:float.
:doc :identifier "http://www.example.org/doc"^^xsd:string.
#:doc :checkSum "D7c="^^xsd:base64Binary.