HTML Microdata document

This HTML5 document contains 112 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:Function
rdf:type: owl:Class
rdfs:subClassOf: _:vb12288 _:vb12276 _:vb12277 _:vb12275 _:vb12287 _:vb12282 _:vb13468 _:vb13469 _:vb13467 n3:Executable _:vb13479 _:vb13474 _:vb13480
rdfs:label: Function
rdfs:comment: A named `Executable`.

Subject Item: _:vb12273
rdf:first: _:vb12278
rdf:rest: _:vb12279

Subject Item: _:vb12275
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnStatement
owl:allValuesFrom: n3:ReturnStatement

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

Subject Item: _:vb12277
rdf:type: owl:Class
owl:intersectionOf: _:vb12273

Subject Item: _:vb12278
rdf:type: owl:Restriction
owl:onProperty: n3:hasFullyQualifiedName
owl:allValuesFrom: xsdh:string

Subject Item: _:vb12279
rdf:first: _:vb12280
rdf:rest: rdf:nil

Subject Item: _:vb12280
rdf:type: owl:Restriction
owl:onProperty: n3:hasFullyQualifiedName
owl:onDataRange: xsdh:string
owl:qualifiedCardinality: 1

Subject Item: _:vb12281
rdf:first: _:vb12283
rdf:rest: _:vb12284

Subject Item: _:vb12282
rdf:type: owl:Class
owl:intersectionOf: _:vb12281

Subject Item: _:vb12283
rdf:type: owl:Restriction
owl:onProperty: n3:hasSimpleName
owl:allValuesFrom: xsdh:string

Subject Item: _:vb12284
rdf:first: _:vb12285
rdf:rest: rdf:nil

Subject Item: _:vb12285
rdf:type: owl:Restriction
owl:onProperty: n3:hasSimpleName
owl:onDataRange: xsdh:string
owl:qualifiedCardinality: 1

Subject Item: _:vb12286
rdf:first: _:vb12289
rdf:rest: _:vb12290

Subject Item: _:vb12287
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnedVariable
owl:allValuesFrom: n3:Variable

Subject Item: _:vb12288
rdf:type: owl:Class
owl:intersectionOf: _:vb12286

Subject Item: _:vb12289
rdf:type: owl:Restriction
owl:onProperty: n3:hasPackage
owl:allValuesFrom: n3:Package

Subject Item: _:vb12290
rdf:first: _:vb12291
rdf:rest: rdf:nil

Subject Item: _:vb12291
rdf:type: owl:Restriction
owl:onProperty: n3:hasPackage
owl:onClass: n3:Package
owl:qualifiedCardinality: 1

Subject Item: _:vb13465
rdf:first: _:vb13470
rdf:rest: _:vb13471

Subject Item: _:vb13467
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnStatement
owl:allValuesFrom: n3:ReturnStatement

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

Subject Item: _:vb13469
rdf:type: owl:Class
owl:intersectionOf: _:vb13465

Subject Item: _:vb13470
rdf:type: owl:Restriction
owl:onProperty: n3:hasFullyQualifiedName
owl:allValuesFrom: xsdh:string

Subject Item: _:vb13471
rdf:first: _:vb13472
rdf:rest: rdf:nil

Subject Item: _:vb13472
rdf:type: owl:Restriction
owl:onProperty: n3:hasFullyQualifiedName
owl:onDataRange: xsdh:string
owl:qualifiedCardinality: 1

Subject Item: _:vb13473
rdf:first: _:vb13475
rdf:rest: _:vb13476

Subject Item: _:vb13474
rdf:type: owl:Class
owl:intersectionOf: _:vb13473

Subject Item: _:vb13475
rdf:type: owl:Restriction
owl:onProperty: n3:hasSimpleName
owl:allValuesFrom: xsdh:string

Subject Item: _:vb13476
rdf:first: _:vb13477
rdf:rest: rdf:nil

Subject Item: _:vb13477
rdf:type: owl:Restriction
owl:onProperty: n3:hasSimpleName
owl:onDataRange: xsdh:string
owl:qualifiedCardinality: 1

Subject Item: _:vb13478
rdf:first: _:vb13481
rdf:rest: _:vb13482

Subject Item: _:vb13479
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnedVariable
owl:allValuesFrom: n3:Variable

Subject Item: _:vb13480
rdf:type: owl:Class
owl:intersectionOf: _:vb13478

Subject Item: _:vb13481
rdf:type: owl:Restriction
owl:onProperty: n3:hasPackage
owl:allValuesFrom: n3:Package

Subject Item: _:vb13482
rdf:first: _:vb13483
rdf:rest: rdf:nil

Subject Item: _:vb13483
rdf:type: owl:Restriction
owl:onProperty: n3:hasPackage
owl:onClass: n3:Package
owl:qualifiedCardinality: 1