HTML Microdata document

This HTML5 document contains 46 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:hasBody
rdf:type: owl:ObjectProperty owl:FunctionalProperty owl:InverseFunctionalProperty
rdfs:subPropertyOf: n2:hasSubStatement
owl:inverseOf: n2:isBodyOf
rdfs:label: has body
rdfs:domain: _:vb12240 _:vb13432
rdfs:range: n2:BlockStatement
rdfs:comment: Relates an `Executable`, a `Lambda Expression` or some `Statement`s to their body.

Subject Item: _:vb12238
rdf:first: n2:ComplexType
rdf:rest: _:vb12241

Subject Item: _:vb12240
rdf:type: owl:Class
owl:unionOf: _:vb12238

Subject Item: _:vb12241
rdf:first: n2:ExceptionHandlingStatement
rdf:rest: _:vb12242

Subject Item: _:vb12242
rdf:first: n2:Executable
rdf:rest: _:vb12243

Subject Item: _:vb12243
rdf:first: n2:LambdaExpression
rdf:rest: _:vb12244

Subject Item: _:vb12244
rdf:first: n2:LoopStatement
rdf:rest: _:vb12245

Subject Item: _:vb12245
rdf:first: n2:Package
rdf:rest: _:vb12246

Subject Item: _:vb12246
rdf:first: n2:Statement
rdf:rest: _:vb12247

Subject Item: _:vb12247
rdf:first: n2:SynchronizedStatement
rdf:rest: rdf:nil

Subject Item: _:vb13430
rdf:first: n2:ComplexType
rdf:rest: _:vb13433

Subject Item: _:vb13432
rdf:type: owl:Class
owl:unionOf: _:vb13430

Subject Item: _:vb13433
rdf:first: n2:ExceptionHandlingStatement
rdf:rest: _:vb13434

Subject Item: _:vb13434
rdf:first: n2:Executable
rdf:rest: _:vb13435

Subject Item: _:vb13435
rdf:first: n2:LambdaExpression
rdf:rest: _:vb13436

Subject Item: _:vb13436
rdf:first: n2:LoopStatement
rdf:rest: _:vb13437

Subject Item: _:vb13437
rdf:first: n2:Package
rdf:rest: _:vb13438

Subject Item: _:vb13438
rdf:first: n2:Statement
rdf:rest: _:vb13439

Subject Item: _:vb13439
rdf:first: n2:SynchronizedStatement
rdf:rest: rdf:nil