# $Id: dtC.n3,v 1.6 2003/09/29 23:24:22 jderoo Exp $

# PxButton | test | java Euler --nope --local --step 100000 dtP xsd-rules rdfs-rules dtC |
# PxButton | test# | Euler --local --step 100000 dtP xsd-rules rdfs-rules dtC |

@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 test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>.
@prefix : <dt#>.

: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.