HTML Microdata document

This HTML5 document contains 32 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#
n2	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: n2:WhileStatement
rdf:type: owl:Class
rdfs:subClassOf: _:vb11791 n2:LoopStatement _:vb12983
rdfs:label: While Statement
rdfs:comment: A `Loop Statement` in which the "loop body" is executed as long as the given "loop condition" holds, making it possible for the "loop body" to never be executed if the "loop condition" does not hold on the first check.

Subject Item: _:vb11790
rdf:first: _:vb11792
rdf:rest: _:vb11793

Subject Item: _:vb11791
rdf:type: owl:Class
owl:intersectionOf: _:vb11790

Subject Item: _:vb11792
rdf:type: owl:Restriction
owl:onProperty: n2:hasCondition
owl:allValuesFrom: n2:Expression

Subject Item: _:vb11793
rdf:first: _:vb11794
rdf:rest: rdf:nil

Subject Item: _:vb11794
rdf:type: owl:Restriction
owl:onProperty: n2:hasCondition
owl:onClass: n2:Expression
owl:qualifiedCardinality: 1

Subject Item: _:vb12982
rdf:first: _:vb12984
rdf:rest: _:vb12985

Subject Item: _:vb12983
rdf:type: owl:Class
owl:intersectionOf: _:vb12982

Subject Item: _:vb12984
rdf:type: owl:Restriction
owl:onProperty: n2:hasCondition
owl:allValuesFrom: n2:Expression

Subject Item: _:vb12985
rdf:first: _:vb12986
rdf:rest: rdf:nil

Subject Item: _:vb12986
rdf:type: owl:Restriction
owl:onProperty: n2:hasCondition
owl:onClass: n2:Expression
owl:qualifiedCardinality: 1