This HTML5 document contains 33 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:CaseLabeledBlock
rdf:type
owl:Class
rdfs:subClassOf
_:vb11714 n2:LabeledBlock _:vb12906
rdfs:label
Case Labeled Block
rdfs:comment
A block for a specific case scenario of a `Switch Statement`.
owl:disjointWith
n2:DefaultLabeledBlock
Subject Item
_:vb11713
rdf:first
_:vb11715
rdf:rest
_:vb11716
Subject Item
_:vb11714
rdf:type
owl:Class
owl:intersectionOf
_:vb11713
Subject Item
_:vb11715
rdf:type
owl:Restriction
owl:onProperty
n2:hasCaseExpression
owl:allValuesFrom
n2:Expression
Subject Item
_:vb11716
rdf:first
_:vb11717
rdf:rest
rdf:nil
Subject Item
_:vb11717
rdf:type
owl:Restriction
owl:onProperty
n2:hasCaseExpression
owl:onClass
n2:Expression
owl:qualifiedCardinality
1
Subject Item
_:vb12905
rdf:first
_:vb12907
rdf:rest
_:vb12908
Subject Item
_:vb12906
rdf:type
owl:Class
owl:intersectionOf
_:vb12905
Subject Item
_:vb12907
rdf:type
owl:Restriction
owl:onProperty
n2:hasCaseExpression
owl:allValuesFrom
n2:Expression
Subject Item
_:vb12908
rdf:first
_:vb12909
rdf:rest
rdf:nil
Subject Item
_:vb12909
rdf:type
owl:Restriction
owl:onProperty
n2:hasCaseExpression
owl:onClass
n2:Expression
owl:qualifiedCardinality
1