HTML Microdata document

This HTML5 document contains 168 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
rdfs	http://www.w3.org/2000/01/rdf-schema#
n3	http://yang.eurecom.fr/codeontology/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
xsdh	http://www.w3.org/2001/XMLSchema#

Statements

Subject Item: n3:Parameter
rdf:type: owl:Class
rdfs:subClassOf: _:vb13156 _:vb13141 _:vb13136 _:vb11949 _:vb13151 _:vb11944 _:vb13146 _:vb11959 _:vb11954 _:vb11964 n3:Variable
rdfs:label: Parameter
rdfs:comment: A formal parameter, actually a `Variable` declared along with an `Executable` to pass data within its block.

Subject Item: _:vb11943
rdf:first: _:vb11945
rdf:rest: _:vb11946

Subject Item: _:vb11944
rdf:type: owl:Class
owl:intersectionOf: _:vb11943

Subject Item: _:vb11945
rdf:type: owl:Restriction
owl:onProperty: n3:isPositionalOnly
owl:allValuesFrom: xsdh:boolean

Subject Item: _:vb11946
rdf:first: _:vb11947
rdf:rest: rdf:nil

Subject Item: _:vb11947
rdf:type: owl:Restriction
owl:onProperty: n3:isPositionalOnly
owl:onDataRange: xsdh:boolean
owl:qualifiedCardinality: 1

Subject Item: _:vb11948
rdf:first: _:vb11950
rdf:rest: _:vb11951

Subject Item: _:vb11949
rdf:type: owl:Class
owl:intersectionOf: _:vb11948

Subject Item: _:vb11950
rdf:type: owl:Restriction
owl:onProperty: n3:isVarArgs
owl:allValuesFrom: xsdh:boolean

Subject Item: _:vb11951
rdf:first: _:vb11952
rdf:rest: rdf:nil

Subject Item: _:vb11952
rdf:type: owl:Restriction
owl:onProperty: n3:isVarArgs
owl:onDataRange: xsdh:boolean
owl:qualifiedCardinality: 1

Subject Item: _:vb11953
rdf:first: _:vb11955
rdf:rest: _:vb11956

Subject Item: _:vb11954
rdf:type: owl:Class
owl:intersectionOf: _:vb11953

Subject Item: _:vb11955
rdf:type: owl:Restriction
owl:onProperty: n3:isKeywordOnly
owl:allValuesFrom: xsdh:boolean

Subject Item: _:vb11956
rdf:first: _:vb11957
rdf:rest: rdf:nil

Subject Item: _:vb11957
rdf:type: owl:Restriction
owl:onProperty: n3:isKeywordOnly
owl:onDataRange: xsdh:boolean
owl:qualifiedCardinality: 1

Subject Item: _:vb11958
rdf:first: _:vb11960
rdf:rest: _:vb11961

Subject Item: _:vb11959
rdf:type: owl:Class
owl:intersectionOf: _:vb11958

Subject Item: _:vb11960
rdf:type: owl:Restriction
owl:onProperty: n3:hasParameterPosition
owl:allValuesFrom: xsdh:int

Subject Item: _:vb11961
rdf:first: _:vb11962
rdf:rest: rdf:nil

Subject Item: _:vb11962
rdf:type: owl:Restriction
owl:onProperty: n3:hasParameterPosition
owl:maxQualifiedCardinality: 1
owl:onDataRange: xsdh:int

Subject Item: _:vb11963
rdf:first: _:vb11965
rdf:rest: _:vb11969

Subject Item: _:vb11964
rdf:type: owl:Class
owl:intersectionOf: _:vb11963

Subject Item: _:vb11965
rdf:type: owl:Restriction
owl:onProperty: n3:isParameterOf
owl:allValuesFrom: _:vb11966

Subject Item: _:vb11966
rdf:type: owl:Class
owl:unionOf: _:vb11967

Subject Item: _:vb11967
rdf:first: n3:Executable
rdf:rest: _:vb11968

Subject Item: _:vb11968
rdf:first: n3:LambdaExpression
rdf:rest: rdf:nil

Subject Item: _:vb11969
rdf:first: _:vb11970
rdf:rest: rdf:nil

Subject Item: _:vb11970
rdf:type: owl:Restriction
owl:onProperty: n3:isParameterOf
owl:onClass: _:vb11971
owl:qualifiedCardinality: 1

Subject Item: _:vb11971
rdf:type: owl:Class
owl:unionOf: _:vb11972

Subject Item: _:vb11972
rdf:first: n3:Executable
rdf:rest: _:vb11973

Subject Item: _:vb11973
rdf:first: n3:LambdaExpression
rdf:rest: rdf:nil

Subject Item: _:vb13135
rdf:first: _:vb13137
rdf:rest: _:vb13138

Subject Item: _:vb13136
rdf:type: owl:Class
owl:intersectionOf: _:vb13135

Subject Item: _:vb13137
rdf:type: owl:Restriction
owl:onProperty: n3:isPositionalOnly
owl:allValuesFrom: xsdh:boolean

Subject Item: _:vb13138
rdf:first: _:vb13139
rdf:rest: rdf:nil

Subject Item: _:vb13139
rdf:type: owl:Restriction
owl:onProperty: n3:isPositionalOnly
owl:onDataRange: xsdh:boolean
owl:qualifiedCardinality: 1

Subject Item: _:vb13140
rdf:first: _:vb13142
rdf:rest: _:vb13143

Subject Item: _:vb13141
rdf:type: owl:Class
owl:intersectionOf: _:vb13140

Subject Item: _:vb13142
rdf:type: owl:Restriction
owl:onProperty: n3:isVarArgs
owl:allValuesFrom: xsdh:boolean

Subject Item: _:vb13143
rdf:first: _:vb13144
rdf:rest: rdf:nil

Subject Item: _:vb13144
rdf:type: owl:Restriction
owl:onProperty: n3:isVarArgs
owl:onDataRange: xsdh:boolean
owl:qualifiedCardinality: 1

Subject Item: _:vb13145
rdf:first: _:vb13147
rdf:rest: _:vb13148

Subject Item: _:vb13146
rdf:type: owl:Class
owl:intersectionOf: _:vb13145

Subject Item: _:vb13147
rdf:type: owl:Restriction
owl:onProperty: n3:isKeywordOnly
owl:allValuesFrom: xsdh:boolean

Subject Item: _:vb13148
rdf:first: _:vb13149
rdf:rest: rdf:nil

Subject Item: _:vb13149
rdf:type: owl:Restriction
owl:onProperty: n3:isKeywordOnly
owl:onDataRange: xsdh:boolean
owl:qualifiedCardinality: 1

Subject Item: _:vb13150
rdf:first: _:vb13152
rdf:rest: _:vb13153

Subject Item: _:vb13151
rdf:type: owl:Class
owl:intersectionOf: _:vb13150

Subject Item: _:vb13152
rdf:type: owl:Restriction
owl:onProperty: n3:hasParameterPosition
owl:allValuesFrom: xsdh:int

Subject Item: _:vb13153
rdf:first: _:vb13154
rdf:rest: rdf:nil

Subject Item: _:vb13154
rdf:type: owl:Restriction
owl:onProperty: n3:hasParameterPosition
owl:maxQualifiedCardinality: 1
owl:onDataRange: xsdh:int

Subject Item: _:vb13155
rdf:first: _:vb13157
rdf:rest: _:vb13161

Subject Item: _:vb13156
rdf:type: owl:Class
owl:intersectionOf: _:vb13155

Subject Item: _:vb13157
rdf:type: owl:Restriction
owl:onProperty: n3:isParameterOf
owl:allValuesFrom: _:vb13158

Subject Item: _:vb13158
rdf:type: owl:Class
owl:unionOf: _:vb13159

Subject Item: _:vb13159
rdf:first: n3:Executable
rdf:rest: _:vb13160

Subject Item: _:vb13160
rdf:first: n3:LambdaExpression
rdf:rest: rdf:nil

Subject Item: _:vb13161
rdf:first: _:vb13162
rdf:rest: rdf:nil

Subject Item: _:vb13162
rdf:type: owl:Restriction
owl:onProperty: n3:isParameterOf
owl:onClass: _:vb13163
owl:qualifiedCardinality: 1

Subject Item: _:vb13163
rdf:type: owl:Class
owl:unionOf: _:vb13164

Subject Item: _:vb13164
rdf:first: n3:Executable
rdf:rest: _:vb13165

Subject Item: _:vb13165
rdf:first: n3:LambdaExpression
rdf:rest: rdf:nil