This HTML5 document contains 21 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:hasParameter
rdf:type
owl:ObjectProperty owl:InverseFunctionalProperty
rdfs:subPropertyOf
n2:declares
owl:inverseOf
n2:isParameterOf
rdfs:label
has parameter
rdfs:domain
_:vb11642 _:vb12834
rdfs:range
n2:Parameter
rdfs:comment
Relates an `Executable` or `Lambda Expression` to the formal `Parameter`s it declares.
Subject Item
_:vb11641
rdf:first
n2:Executable
rdf:rest
_:vb11643
Subject Item
_:vb11642
rdf:type
owl:Class
owl:unionOf
_:vb11641
Subject Item
_:vb11643
rdf:first
n2:LambdaExpression
rdf:rest
rdf:nil
Subject Item
_:vb12833
rdf:first
n2:Executable
rdf:rest
_:vb12835
Subject Item
_:vb12834
rdf:type
owl:Class
owl:unionOf
_:vb12833
Subject Item
_:vb12835
rdf:first
n2:LambdaExpression
rdf:rest
rdf:nil