test022-in.nt

来自「这是外国一个开源推理机」· NT 代码 · 共 8 行

# Input file for SeRQL CfwQuery test
# description: test serql:directSubClassOf
<http://www.example.org/classB> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.example.org/classA>.
<http://www.example.org/classC> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.example.org/classB>.
<http://www.example.org/classD> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.example.org/classB>.
<http://www.example.org/classE> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.example.org/classB>.
<http://www.example.org/classE> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.example.org/classA>.