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

PrefixIRI
rdfshttp://www.w3.org/2000/01/rdf-schema#
n2http://yang.eurecom.fr/codeontology/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
xsdhhttp://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