HTML Microdata document

This HTML5 document contains 56 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:LambdaExpression
rdf:type: owl:Class
rdfs:subClassOf: _:vb12254 _:vb12255 _:vb12249 _:vb13446 _:vb13447 _:vb13441 n3:Expression _:vb13448 _:vb12256
rdfs:label: Lambda Expression
rdfs:comment: An `Expression` which evaluates to an executable object, also called "anonymous function".

Subject Item: _:vb12248
rdf:first: _:vb12250
rdf:rest: _:vb12251

Subject Item: _:vb12249
rdf:type: owl:Class
owl:intersectionOf: _:vb12248

Subject Item: _:vb12250
rdf:type: owl:Restriction
owl:onProperty: n3:hasBody
owl:allValuesFrom: n3:BlockStatement

Subject Item: _:vb12251
rdf:first: _:vb12252
rdf:rest: rdf:nil

Subject Item: _:vb12252
rdf:type: owl:Restriction
owl:onProperty: n3:hasBody
owl:maxQualifiedCardinality: 1
owl:onClass: n3:BlockStatement

Subject Item: _:vb12254
rdf:type: owl:Restriction
owl:onProperty: n3:hasParameter
owl:allValuesFrom: n3:Parameter

Subject Item: _:vb12255
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnType
owl:allValuesFrom: n3:Type

Subject Item: _:vb12256
rdf:type: owl:Restriction
owl:onProperty: n3:isReferencedBy
owl:allValuesFrom: n3:Executable

Subject Item: _:vb13440
rdf:first: _:vb13442
rdf:rest: _:vb13443

Subject Item: _:vb13441
rdf:type: owl:Class
owl:intersectionOf: _:vb13440

Subject Item: _:vb13442
rdf:type: owl:Restriction
owl:onProperty: n3:hasBody
owl:allValuesFrom: n3:BlockStatement

Subject Item: _:vb13443
rdf:first: _:vb13444
rdf:rest: rdf:nil

Subject Item: _:vb13444
rdf:type: owl:Restriction
owl:onProperty: n3:hasBody
owl:maxQualifiedCardinality: 1
owl:onClass: n3:BlockStatement

Subject Item: _:vb13446
rdf:type: owl:Restriction
owl:onProperty: n3:hasParameter
owl:allValuesFrom: n3:Parameter

Subject Item: _:vb13447
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnType
owl:allValuesFrom: n3:Type

Subject Item: _:vb13448
rdf:type: owl:Restriction
owl:onProperty: n3:isReferencedBy
owl:allValuesFrom: n3:Executable