tp.ttl

jena2.5.4推理机系统的一种最基本实现 HP实验室出品

# $Id: tP.ttl,v 1.9 2007/09/17 17:40:55 andy_seaborne Exp $

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix t: <http://www.w3.org/2001/sw/DataAccess/tests/data/TypePromotion/tP-0#> .

t:decimal1		rdf:value	"1"^^xsd:decimal .
t:float1		rdf:value	"1"^^xsd:float .
t:double1		rdf:value	"1"^^xsd:double .
t:booleanT		rdf:value	"true"^^xsd:boolean .
t:dateTime1		rdf:value	"2005-01-14T12:34:56"^^xsd:dateTime .

# types derived from xsd:decimal: 

 t:integer1		rdf:value	"1"^^xsd:integer .
  t:nonPositiveIntegerN1	rdf:value	"-1"^^xsd:nonPositiveInteger .
   t:negativeIntegerN1	rdf:value	"-1"^^xsd:negativeInteger .
  t:long1		rdf:value	"1"^^xsd:long .
   t:int1		rdf:value	"1"^^xsd:int .
    t:short1		rdf:value	"1"^^xsd:short .
     t:byte1		rdf:value	"1"^^xsd:byte .
  t:nonNegativeInteger1	rdf:value	"1"^^xsd:nonNegativeInteger .
   t:unsignedLong1	rdf:value	"1"^^xsd:unsignedLong .
    t:unsignedInt1	rdf:value	"1"^^xsd:unsignedInt .
     t:unsignedShort1	rdf:value	"1"^^xsd:unsignedShort .
      t:unsignedByte1	rdf:value	"1"^^xsd:unsignedByte .
   t:positiveInteger1	rdf:value	"1"^^xsd:positiveInteger .