HTML Microdata document

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

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

Namespace Prefixes

Prefix	IRI
rdfs	http://www.w3.org/2000/01/rdf-schema#
n3	http://yang.eurecom.fr/codeontology/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
xsdh	http://www.w3.org/2001/XMLSchema#

Statements

Subject Item: n3:ForStatement
rdf:type: owl:Class
rdfs:subClassOf: _:vb13252 _:vb13253 _:vb13254 _:vb12060 _:vb12061 _:vb12062 n3:LoopStatement
rdfs:label: For Statement
rdfs:comment: A `Loop Statement` in which a "loop initialization" and a "loop update" are declared in conjunction with the "loop body" and the "loop condition". The "loop initialization" is executed once, then the "loop body" is executed repeatedly as long as the given "loop condition" holds, while the "loop update" is automatically performed at the end of every iteration.

Subject Item: _:vb12059
rdf:first: _:vb12063
rdf:rest: _:vb12064

Subject Item: _:vb12060
rdf:type: owl:Restriction
owl:onProperty: n3:hasForUpdate
owl:allValuesFrom: n3:Expression

Subject Item: _:vb12061
rdf:type: owl:Restriction
owl:onProperty: n3:hasForInit
owl:allValuesFrom: n3:Expression

Subject Item: _:vb12062
rdf:type: owl:Class
owl:intersectionOf: _:vb12059

Subject Item: _:vb12063
rdf:type: owl:Restriction
owl:onProperty: n3:hasCondition
owl:allValuesFrom: n3:Expression

Subject Item: _:vb12064
rdf:first: _:vb12065
rdf:rest: rdf:nil

Subject Item: _:vb12065
rdf:type: owl:Restriction
owl:onProperty: n3:hasCondition
owl:onClass: n3:Expression
owl:qualifiedCardinality: 1

Subject Item: _:vb13251
rdf:first: _:vb13255
rdf:rest: _:vb13256

Subject Item: _:vb13252
rdf:type: owl:Restriction
owl:onProperty: n3:hasForUpdate
owl:allValuesFrom: n3:Expression

Subject Item: _:vb13253
rdf:type: owl:Restriction
owl:onProperty: n3:hasForInit
owl:allValuesFrom: n3:Expression

Subject Item: _:vb13254
rdf:type: owl:Class
owl:intersectionOf: _:vb13251

Subject Item: _:vb13255
rdf:type: owl:Restriction
owl:onProperty: n3:hasCondition
owl:allValuesFrom: n3:Expression

Subject Item: _:vb13256
rdf:first: _:vb13257
rdf:rest: rdf:nil

Subject Item: _:vb13257
rdf:type: owl:Restriction
owl:onProperty: n3:hasCondition
owl:onClass: n3:Expression
owl:qualifiedCardinality: 1