This HTML5 document contains 9 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:hasCaseExpression
rdf:type
owl:ObjectProperty owl:FunctionalProperty owl:InverseFunctionalProperty
rdfs:subPropertyOf
n2:hasSubExpression
owl:inverseOf
n2:isCaseExpressionOf
rdfs:label
has case expression
rdfs:domain
n2:CaseLabeledBlock
rdfs:range
n2:Expression
rdfs:comment
Relates a `Case Labeled Block` to the `Expression` defined by that case, whose value ("case value") is used for comparison with the "switch value".