This HTML5 document contains 5 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n4http://www.w3.org/2000/10/swap/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n2http://www.w3.org/2000/10/swap/log#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#

Statements

Subject Item
n2:notIncludes
rdf:type
rdf:Property
rdfs:domain
n2:Formula
rdfs:range
n2:Formula
rdfs:isDefinedBy
n4:log
rdfs:comment
The object formula is NOT a subset of subject. True iff log:includes is false. The converse of log:includes. (Understood natively by cwm. The subject formula may contain variables. (In cwm, variables must of course end up getting bound before the log:include test can be done, or an infinite result set would result) Related: See includes