data-1.ttl

Jena推理机

@prefix t: <http://example/t#> .
@prefix :  <http://example/ns#> .
@prefix xsd:    <http://www.w3.org/2001/XMLSchema#> .

:x1 :p "a"^^t:type1 .
:x2 :p "b"^^t:type1 .

:y1 :p "a"^^t:type2 .
:y2 :p "b"^^t:type2 .

:z1 :p 1 .
:z2 :p "01"^^xsd:integer .
:z3 :p 2 .
:z4 :p "02"^^xsd:integer .