HTML Microdata document

This HTML5 document contains 133 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:Variable
rdf:type: owl:Class
rdfs:subClassOf: _:vb12397 _:vb13584 _:vb13589 _:vb13594 _:vb13595 _:vb13578 _:vb13582 _:vb13583 n3:CodeElement _:vb12402 _:vb12403 n3:Modifiable _:vb12386 _:vb12390 _:vb12391 _:vb12392
rdfs:label: Variable
rdfs:comment: A named reference to a memory location storing data.

Subject Item: _:vb12384
rdf:first: n3:Function
rdf:rest: _:vb12388

Subject Item: _:vb12386
rdf:type: owl:Restriction
owl:onProperty: n3:isReturnedVariableOf
owl:allValuesFrom: _:vb12387

Subject Item: _:vb12387
rdf:type: owl:Class
owl:unionOf: _:vb12384

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

Subject Item: _:vb12389
rdf:first: _:vb12393
rdf:rest: _:vb12394

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

Subject Item: _:vb12391
rdf:type: owl:Restriction
owl:onProperty: n3:hasVariableDeclaration
owl:allValuesFrom: n3:VariableDeclarationStatement

Subject Item: _:vb12392
rdf:type: owl:Class
owl:intersectionOf: _:vb12389

Subject Item: _:vb12393
rdf:type: owl:Restriction
owl:onProperty: n3:hasSourceCode
owl:allValuesFrom: xsdh:string

Subject Item: _:vb12394
rdf:first: _:vb12395
rdf:rest: rdf:nil

Subject Item: _:vb12395
rdf:type: owl:Restriction
owl:onProperty: n3:hasSourceCode
owl:onDataRange: xsdh:string
owl:qualifiedCardinality: 1

Subject Item: _:vb12396
rdf:first: _:vb12398
rdf:rest: _:vb12399

Subject Item: _:vb12397
rdf:type: owl:Class
owl:intersectionOf: _:vb12396

Subject Item: _:vb12398
rdf:type: owl:Restriction
owl:onProperty: n3:isLeftValueOf
owl:allValuesFrom: n3:LeftValue

Subject Item: _:vb12399
rdf:first: _:vb12400
rdf:rest: rdf:nil

Subject Item: _:vb12400
rdf:type: owl:Restriction
owl:onProperty: n3:isLeftValueOf
owl:onClass: n3:LeftValue
owl:qualifiedCardinality: 1

Subject Item: _:vb12401
rdf:first: _:vb12404
rdf:rest: _:vb12405

Subject Item: _:vb12402
rdf:type: owl:Restriction
owl:onProperty: n3:isSubExpressionOf
owl:allValuesFrom: n3:Expression

Subject Item: _:vb12403
rdf:type: owl:Class
owl:intersectionOf: _:vb12401

Subject Item: _:vb12404
rdf:type: owl:Restriction
owl:onProperty: n3:hasType
owl:allValuesFrom: n3:Type

Subject Item: _:vb12405
rdf:first: _:vb12406
rdf:rest: rdf:nil

Subject Item: _:vb12406
rdf:type: owl:Restriction
owl:onProperty: n3:hasType
owl:minQualifiedCardinality: 1
owl:onClass: n3:Type

Subject Item: _:vb13576
rdf:first: n3:Function
rdf:rest: _:vb13580

Subject Item: _:vb13578
rdf:type: owl:Restriction
owl:onProperty: n3:isReturnedVariableOf
owl:allValuesFrom: _:vb13579

Subject Item: _:vb13579
rdf:type: owl:Class
owl:unionOf: _:vb13576

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

Subject Item: _:vb13581
rdf:first: _:vb13585
rdf:rest: _:vb13586

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

Subject Item: _:vb13583
rdf:type: owl:Restriction
owl:onProperty: n3:hasVariableDeclaration
owl:allValuesFrom: n3:VariableDeclarationStatement

Subject Item: _:vb13584
rdf:type: owl:Class
owl:intersectionOf: _:vb13581

Subject Item: _:vb13585
rdf:type: owl:Restriction
owl:onProperty: n3:hasSourceCode
owl:allValuesFrom: xsdh:string

Subject Item: _:vb13586
rdf:first: _:vb13587
rdf:rest: rdf:nil

Subject Item: _:vb13587
rdf:type: owl:Restriction
owl:onProperty: n3:hasSourceCode
owl:onDataRange: xsdh:string
owl:qualifiedCardinality: 1

Subject Item: _:vb13588
rdf:first: _:vb13590
rdf:rest: _:vb13591

Subject Item: _:vb13589
rdf:type: owl:Class
owl:intersectionOf: _:vb13588

Subject Item: _:vb13590
rdf:type: owl:Restriction
owl:onProperty: n3:isLeftValueOf
owl:allValuesFrom: n3:LeftValue

Subject Item: _:vb13591
rdf:first: _:vb13592
rdf:rest: rdf:nil

Subject Item: _:vb13592
rdf:type: owl:Restriction
owl:onProperty: n3:isLeftValueOf
owl:onClass: n3:LeftValue
owl:qualifiedCardinality: 1

Subject Item: _:vb13593
rdf:first: _:vb13596
rdf:rest: _:vb13597

Subject Item: _:vb13594
rdf:type: owl:Restriction
owl:onProperty: n3:isSubExpressionOf
owl:allValuesFrom: n3:Expression

Subject Item: _:vb13595
rdf:type: owl:Class
owl:intersectionOf: _:vb13593

Subject Item: _:vb13596
rdf:type: owl:Restriction
owl:onProperty: n3:hasType
owl:allValuesFrom: n3:Type

Subject Item: _:vb13597
rdf:first: _:vb13598
rdf:rest: rdf:nil

Subject Item: _:vb13598
rdf:type: owl:Restriction
owl:onProperty: n3:hasType
owl:minQualifiedCardinality: 1
owl:onClass: n3:Type