resolves-rdf.n3

来自「jena2.5.4推理机系统的一种最基本实现 HP实验室出品」· N3 代码 · 共 12 行

@prefix : <#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.

this log:forAll :x.

#{ <rdfs.n3> log:semantics [ log:includes { :x a u:Class } ]}
#  log:implies { :x a :ClassInrdfs_n3 }.

{ <animal.rdf> log:semantics [ log:includes { :x a u:Class } ]}
  log:implies { :x a :ClassInAnimal_rdf }.