HTML Microdata document

This HTML5 document contains 33 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#
n2	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: n2:invokes
rdf:type: owl:ObjectProperty owl:FunctionalProperty
rdfs:subPropertyOf: owl:topObjectProperty
rdfs:label: invokes
rdfs:domain: _:vb11906 _:vb13098
rdfs:range: _:vb11909 _:vb13101
rdfs:comment: Relates an `Executable Invocation Expression` or `Lambda Invocation Expression` to the invoked `Executable` or `Lambda Expression`.

Subject Item: _:vb11902
rdf:first: n2:ExecutableInvocationExpression
rdf:rest: _:vb11907

Subject Item: _:vb11906
rdf:type: owl:Class
owl:unionOf: _:vb11902

Subject Item: _:vb11907
rdf:first: n2:LambdaInvocationExpression
rdf:rest: rdf:nil

Subject Item: _:vb11908
rdf:first: n2:Executable
rdf:rest: _:vb11910

Subject Item: _:vb11909
rdf:type: owl:Class
owl:unionOf: _:vb11908

Subject Item: _:vb11910
rdf:first: n2:LambdaExpression
rdf:rest: rdf:nil

Subject Item: _:vb13094
rdf:first: n2:ExecutableInvocationExpression
rdf:rest: _:vb13099

Subject Item: _:vb13098
rdf:type: owl:Class
owl:unionOf: _:vb13094

Subject Item: _:vb13099
rdf:first: n2:LambdaInvocationExpression
rdf:rest: rdf:nil

Subject Item: _:vb13100
rdf:first: n2:Executable
rdf:rest: _:vb13102

Subject Item: _:vb13101
rdf:type: owl:Class
owl:unionOf: _:vb13100

Subject Item: _:vb13102
rdf:first: n2:LambdaExpression
rdf:rest: rdf:nil