| @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 }. |