This HTML5 document contains 28 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:isReferencedBy
rdf:type
owl:ObjectProperty
rdfs:subPropertyOf
owl:topObjectProperty
owl:inverseOf
n3:references
rdfs:label
is referenced by
rdfs:domain
_:vb11855 _:vb13047
rdfs:range
n3:Executable
rdfs:comment
Relates an `Executable`, `Lambda Expression`, `Type` or `Variable` to the `Executable` it is referenced by.
Subject Item
_:vb11854
rdf:first
n3:Executable
rdf:rest
_:vb11856
Subject Item
_:vb11855
rdf:type
owl:Class
owl:unionOf
_:vb11854
Subject Item
_:vb11856
rdf:first
n3:LambdaExpression
rdf:rest
_:vb11857
Subject Item
_:vb11857
rdf:first
n3:Type
rdf:rest
_:vb11858
Subject Item
_:vb11858
rdf:first
n3:Variable
rdf:rest
rdf:nil
Subject Item
_:vb13046
rdf:first
n3:Executable
rdf:rest
_:vb13048
Subject Item
_:vb13047
rdf:type
owl:Class
owl:unionOf
_:vb13046
Subject Item
_:vb13048
rdf:first
n3:LambdaExpression
rdf:rest
_:vb13049
Subject Item
_:vb13049
rdf:first
n3:Type
rdf:rest
_:vb13050
Subject Item
_:vb13050
rdf:first
n3:Variable
rdf:rest
rdf:nil