This HTML5 document contains 50 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:LabeledBlock
rdf:type
owl:Class
rdfs:subClassOf
_:vb13095 _:vb11904 _:vb11898 n3:BlockStatement _:vb11903 _:vb13096 _:vb13090
rdfs:label
Labeled Block
rdfs:comment
A block with associated label, namely a `Case Labeled Block` or a `Default Labeled Block`.
Subject Item
_:vb11897
rdf:first
_:vb11899
rdf:rest
_:vb11900
Subject Item
_:vb11898
rdf:type
owl:Class
owl:intersectionOf
_:vb11897
Subject Item
_:vb11899
rdf:type
owl:Restriction
owl:onProperty
n3:isSwitchLabelOf
owl:allValuesFrom
n3:SwitchStatement
Subject Item
_:vb11900
rdf:first
_:vb11901
rdf:rest
rdf:nil
Subject Item
_:vb11901
rdf:type
owl:Restriction
owl:onProperty
n3:isSwitchLabelOf
owl:onClass
n3:SwitchStatement
owl:qualifiedCardinality
1
Subject Item
_:vb11903
rdf:type
owl:Restriction
owl:onProperty
n3:hasNextStatement
owl:allValuesFrom
n3:LabeledBlock
Subject Item
_:vb11904
rdf:type
owl:Restriction
owl:onProperty
n3:hasLabel
owl:onDataRange
xsdh:string
owl:qualifiedCardinality
1
Subject Item
_:vb13089
rdf:first
_:vb13091
rdf:rest
_:vb13092
Subject Item
_:vb13090
rdf:type
owl:Class
owl:intersectionOf
_:vb13089
Subject Item
_:vb13091
rdf:type
owl:Restriction
owl:onProperty
n3:isSwitchLabelOf
owl:allValuesFrom
n3:SwitchStatement
Subject Item
_:vb13092
rdf:first
_:vb13093
rdf:rest
rdf:nil
Subject Item
_:vb13093
rdf:type
owl:Restriction
owl:onProperty
n3:isSwitchLabelOf
owl:onClass
n3:SwitchStatement
owl:qualifiedCardinality
1
Subject Item
_:vb13095
rdf:type
owl:Restriction
owl:onProperty
n3:hasNextStatement
owl:allValuesFrom
n3:LabeledBlock
Subject Item
_:vb13096
rdf:type
owl:Restriction
owl:onProperty
n3:hasLabel
owl:onDataRange
xsdh:string
owl:qualifiedCardinality
1