unbroken.n3

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

@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix :        <#> .

rdfs:Resource
      a       rdfs:Class ;
      rdfs:subClassOf rdfs:Resource .

<eh:/V>
      a       rdfs:Class ;
      rdfs:subClassOf rdfs:Resource .

<eh:/T>
      a       rdfs:Class ;
      rdfs:subClassOf <eh:/V> , rdfs:Resource .

<eh:/U>
      a       rdfs:Class ;
      rdfs:subClassOf <eh:/V> , rdfs:Resource .

<eh:/a>
      a       rdfs:Class ;
      rdfs:subClassOf rdfs:Resource , <eh:/T> .

<eh:/b>
      a       rdfs:Class ;
      rdfs:subClassOf rdfs:Resource , <eh:/T> .

<eh:/c>
      a       rdfs:Class ;
      rdfs:subClassOf rdfs:Resource , <eh:/U> .

<eh:/d>
      a       rdfs:Class ;
      rdfs:subClassOf rdfs:Resource , <eh:/U> .