This HTML5 document contains 113 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#
n3http://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
n3:IfThenElseStatement
rdf:type
owl:Class
rdfs:subClassOf
_:vb13259 _:vb13264 _:vb13275 _:vb12067 _:vb12072 _:vb12083 n3:DecisionMakingStatement
rdfs:label
If-Then-Else Statement
rdfs:comment
A `Decision Making Statement` that takes a boolean `Expression` as its "condition" and proceeds to execute its "then" or "else" branches depending on whether the "condition" evalutates to "True" or "False". The "else" branch may be optional, and thus nothin is executed when it is absent and the "condition" evaluates to "False".
owl:disjointWith
n3:SwitchStatement
Subject Item
_:vb12066
rdf:first
_:vb12068
rdf:rest
_:vb12069
Subject Item
_:vb12067
rdf:type
owl:Class
owl:intersectionOf
_:vb12066
Subject Item
_:vb12068
rdf:type
owl:Restriction
owl:onProperty
n3:hasCondition
owl:allValuesFrom
n3:Expression
Subject Item
_:vb12069
rdf:first
_:vb12070
rdf:rest
rdf:nil
Subject Item
_:vb12070
rdf:type
owl:Restriction
owl:onProperty
n3:hasCondition
owl:onClass
n3:Expression
owl:qualifiedCardinality
1
Subject Item
_:vb12071
rdf:first
_:vb12073
rdf:rest
_:vb12077
Subject Item
_:vb12072
rdf:type
owl:Class
owl:intersectionOf
_:vb12071
Subject Item
_:vb12073
rdf:type
owl:Restriction
owl:onProperty
n3:hasElseBranch
owl:allValuesFrom
_:vb12074
Subject Item
_:vb12074
rdf:type
owl:Class
owl:unionOf
_:vb12075
Subject Item
_:vb12075
rdf:first
n3:BlockStatement
rdf:rest
_:vb12076
Subject Item
_:vb12076
rdf:first
n3:IfThenElseStatement
rdf:rest
rdf:nil
Subject Item
_:vb12077
rdf:first
_:vb12078
rdf:rest
rdf:nil
Subject Item
_:vb12078
rdf:type
owl:Restriction
owl:onProperty
n3:hasElseBranch
owl:maxQualifiedCardinality
1
owl:onClass
_:vb12079
Subject Item
_:vb12079
rdf:type
owl:Class
owl:unionOf
_:vb12080
Subject Item
_:vb12080
rdf:first
n3:BlockStatement
rdf:rest
_:vb12081
Subject Item
_:vb12081
rdf:first
n3:IfThenElseStatement
rdf:rest
rdf:nil
Subject Item
_:vb12082
rdf:first
_:vb12084
rdf:rest
_:vb12085
Subject Item
_:vb12083
rdf:type
owl:Class
owl:intersectionOf
_:vb12082
Subject Item
_:vb12084
rdf:type
owl:Restriction
owl:onProperty
n3:hasThenBranch
owl:allValuesFrom
n3:BlockStatement
Subject Item
_:vb12085
rdf:first
_:vb12086
rdf:rest
rdf:nil
Subject Item
_:vb12086
rdf:type
owl:Restriction
owl:onProperty
n3:hasThenBranch
owl:onClass
n3:BlockStatement
owl:qualifiedCardinality
1
Subject Item
_:vb13258
rdf:first
_:vb13260
rdf:rest
_:vb13261
Subject Item
_:vb13259
rdf:type
owl:Class
owl:intersectionOf
_:vb13258
Subject Item
_:vb13260
rdf:type
owl:Restriction
owl:onProperty
n3:hasCondition
owl:allValuesFrom
n3:Expression
Subject Item
_:vb13261
rdf:first
_:vb13262
rdf:rest
rdf:nil
Subject Item
_:vb13262
rdf:type
owl:Restriction
owl:onProperty
n3:hasCondition
owl:onClass
n3:Expression
owl:qualifiedCardinality
1
Subject Item
_:vb13263
rdf:first
_:vb13265
rdf:rest
_:vb13269
Subject Item
_:vb13264
rdf:type
owl:Class
owl:intersectionOf
_:vb13263
Subject Item
_:vb13265
rdf:type
owl:Restriction
owl:onProperty
n3:hasElseBranch
owl:allValuesFrom
_:vb13266
Subject Item
_:vb13266
rdf:type
owl:Class
owl:unionOf
_:vb13267
Subject Item
_:vb13267
rdf:first
n3:BlockStatement
rdf:rest
_:vb13268
Subject Item
_:vb13268
rdf:first
n3:IfThenElseStatement
rdf:rest
rdf:nil
Subject Item
_:vb13269
rdf:first
_:vb13270
rdf:rest
rdf:nil
Subject Item
_:vb13270
rdf:type
owl:Restriction
owl:onProperty
n3:hasElseBranch
owl:maxQualifiedCardinality
1
owl:onClass
_:vb13271
Subject Item
_:vb13271
rdf:type
owl:Class
owl:unionOf
_:vb13272
Subject Item
_:vb13272
rdf:first
n3:BlockStatement
rdf:rest
_:vb13273
Subject Item
_:vb13273
rdf:first
n3:IfThenElseStatement
rdf:rest
rdf:nil
Subject Item
_:vb13274
rdf:first
_:vb13276
rdf:rest
_:vb13277
Subject Item
_:vb13275
rdf:type
owl:Class
owl:intersectionOf
_:vb13274
Subject Item
_:vb13276
rdf:type
owl:Restriction
owl:onProperty
n3:hasThenBranch
owl:allValuesFrom
n3:BlockStatement
Subject Item
_:vb13277
rdf:first
_:vb13278
rdf:rest
rdf:nil
Subject Item
_:vb13278
rdf:type
owl:Restriction
owl:onProperty
n3:hasThenBranch
owl:onClass
n3:BlockStatement
owl:qualifiedCardinality
1