This HTML5 document contains 48 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:LocalVariable
rdf:type
owl:Class
rdfs:subClassOf
_:vb13354 _:vb13355 n3:Variable _:vb12162 _:vb12163 _:vb13360 _:vb12168
rdfs:label
Local Variable
rdfs:comment
A `Variable` with limited local scope.
Subject Item
_:vb12159
rdf:first
_:vb12164
rdf:rest
_:vb12165
Subject Item
_:vb12162
rdf:type
owl:Restriction
owl:onProperty
n3:hasVariableDeclaration
owl:allValuesFrom
n3:LocalVariableDeclarationStatement
Subject Item
_:vb12163
rdf:type
owl:Class
owl:intersectionOf
_:vb12159
Subject Item
_:vb12164
rdf:type
owl:Restriction
owl:onProperty
n3:isForEachVariableOf
owl:allValuesFrom
n3:ForEachStatement
Subject Item
_:vb12165
rdf:first
_:vb12166
rdf:rest
rdf:nil
Subject Item
_:vb12166
rdf:type
owl:Restriction
owl:onProperty
n3:isForEachVariableOf
owl:maxQualifiedCardinality
1
owl:onClass
n3:ForEachStatement
Subject Item
_:vb12168
rdf:type
owl:Restriction
owl:onProperty
n3:isDeclaredBy
owl:allValuesFrom
n3:Executable
Subject Item
_:vb13351
rdf:first
_:vb13356
rdf:rest
_:vb13357
Subject Item
_:vb13354
rdf:type
owl:Restriction
owl:onProperty
n3:hasVariableDeclaration
owl:allValuesFrom
n3:LocalVariableDeclarationStatement
Subject Item
_:vb13355
rdf:type
owl:Class
owl:intersectionOf
_:vb13351
Subject Item
_:vb13356
rdf:type
owl:Restriction
owl:onProperty
n3:isForEachVariableOf
owl:allValuesFrom
n3:ForEachStatement
Subject Item
_:vb13357
rdf:first
_:vb13358
rdf:rest
rdf:nil
Subject Item
_:vb13358
rdf:type
owl:Restriction
owl:onProperty
n3:isForEachVariableOf
owl:maxQualifiedCardinality
1
owl:onClass
n3:ForEachStatement
Subject Item
_:vb13360
rdf:type
owl:Restriction
owl:onProperty
n3:isDeclaredBy
owl:allValuesFrom
n3:Executable