HTML Microdata document

This HTML5 document contains 68 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:Type
rdf:type: owl:Class
rdfs:subClassOf: _:vb13519 _:vb13512 _:vb13507 n3:CodeElement _:vb12327 _:vb12320 _:vb12315
rdfs:label: Type
rdfs:comment: Defines the nature of an entity/object.

Subject Item: _:vb12314
rdf:first: n3:Function
rdf:rest: _:vb12317

Subject Item: _:vb12315
rdf:type: owl:Restriction
owl:onProperty: n3:isReturnTypeOf
owl:allValuesFrom: _:vb12316

Subject Item: _:vb12316
rdf:type: owl:Class
owl:unionOf: _:vb12314

Subject Item: _:vb12317
rdf:first: n3:LambdaExpression
rdf:rest: _:vb12318

Subject Item: _:vb12318
rdf:first: n3:Method
rdf:rest: rdf:nil

Subject Item: _:vb12319
rdf:first: n3:Expression
rdf:rest: _:vb12322

Subject Item: _:vb12320
rdf:type: owl:Restriction
owl:onProperty: n3:isTypeOf
owl:allValuesFrom: _:vb12321

Subject Item: _:vb12321
rdf:type: owl:Class
owl:unionOf: _:vb12319

Subject Item: _:vb12322
rdf:first: n3:Function
rdf:rest: _:vb12323

Subject Item: _:vb12323
rdf:first: n3:Method
rdf:rest: _:vb12324

Subject Item: _:vb12324
rdf:first: n3:TypeArgument
rdf:rest: _:vb12325

Subject Item: _:vb12325
rdf:first: n3:Variable
rdf:rest: rdf:nil

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

Subject Item: _:vb13506
rdf:first: n3:Function
rdf:rest: _:vb13509

Subject Item: _:vb13507
rdf:type: owl:Restriction
owl:onProperty: n3:isReturnTypeOf
owl:allValuesFrom: _:vb13508

Subject Item: _:vb13508
rdf:type: owl:Class
owl:unionOf: _:vb13506

Subject Item: _:vb13509
rdf:first: n3:LambdaExpression
rdf:rest: _:vb13510

Subject Item: _:vb13510
rdf:first: n3:Method
rdf:rest: rdf:nil

Subject Item: _:vb13511
rdf:first: n3:Expression
rdf:rest: _:vb13514

Subject Item: _:vb13512
rdf:type: owl:Restriction
owl:onProperty: n3:isTypeOf
owl:allValuesFrom: _:vb13513

Subject Item: _:vb13513
rdf:type: owl:Class
owl:unionOf: _:vb13511

Subject Item: _:vb13514
rdf:first: n3:Function
rdf:rest: _:vb13515

Subject Item: _:vb13515
rdf:first: n3:Method
rdf:rest: _:vb13516

Subject Item: _:vb13516
rdf:first: n3:TypeArgument
rdf:rest: _:vb13517

Subject Item: _:vb13517
rdf:first: n3:Variable
rdf:rest: rdf:nil

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