test023-in.nt

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

# Input file for SeRQL CfwQuery test
# description: test serql:directSubPropertyOf
<http://www.example.org/propB> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.example.org/propA>.
<http://www.example.org/propC> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.example.org/propB>.
<http://www.example.org/propD> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.example.org/propB>.
<http://www.example.org/propE> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.example.org/propB>.
<http://www.example.org/propE> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.example.org/propA>.