HTML Microdata document

This HTML5 document contains 120 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:LeftValue
rdf:type: owl:Class
rdfs:subClassOf: n3:CodeElement _:vb13485 _:vb13502 _:vb13490 _:vb12298 _:vb12293 _:vb12310
rdfs:label: Left Value
rdfs:comment: A mirror for the `Variable` or group of `Variable`s modified by an `Assignment Expression`.

Subject Item: _:vb12292
rdf:first: _:vb12294
rdf:rest: _:vb12295

Subject Item: _:vb12293
rdf:type: owl:Class
owl:intersectionOf: _:vb12292

Subject Item: _:vb12294
rdf:type: owl:Restriction
owl:onProperty: n3:hasLeftValuePosition
owl:allValuesFrom: xsdh:int

Subject Item: _:vb12295
rdf:first: _:vb12296
rdf:rest: rdf:nil

Subject Item: _:vb12296
rdf:type: owl:Restriction
owl:onProperty: n3:hasLeftValuePosition
owl:onDataRange: xsdh:int
owl:qualifiedCardinality: 1

Subject Item: _:vb12297
rdf:first: _:vb12299
rdf:rest: _:vb12304

Subject Item: _:vb12298
rdf:type: owl:Class
owl:intersectionOf: _:vb12297

Subject Item: _:vb12299
rdf:type: owl:Class
owl:unionOf: _:vb12300

Subject Item: _:vb12300
rdf:first: _:vb12301
rdf:rest: _:vb12302

Subject Item: _:vb12301
rdf:type: owl:Restriction
owl:onProperty: n3:hasLeftValue
owl:minQualifiedCardinality: 1
owl:onClass: n3:LeftValue

Subject Item: _:vb12302
rdf:first: _:vb12303
rdf:rest: rdf:nil

Subject Item: _:vb12303
rdf:type: owl:Restriction
owl:onProperty: n3:hasLeftValue
owl:onClass: n3:Variable
owl:qualifiedCardinality: 1

Subject Item: _:vb12304
rdf:first: _:vb12305
rdf:rest: rdf:nil

Subject Item: _:vb12305
rdf:type: owl:Restriction
owl:onProperty: n3:hasLeftValue
owl:allValuesFrom: _:vb12306

Subject Item: _:vb12306
rdf:type: owl:Class
owl:unionOf: _:vb12307

Subject Item: _:vb12307
rdf:first: n3:LeftValue
rdf:rest: _:vb12308

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

Subject Item: _:vb12309
rdf:first: _:vb12311
rdf:rest: _:vb12312

Subject Item: _:vb12310
rdf:type: owl:Class
owl:intersectionOf: _:vb12309

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

Subject Item: _:vb12312
rdf:first: _:vb12313
rdf:rest: rdf:nil

Subject Item: _:vb12313
rdf:type: owl:Restriction
owl:onProperty: n3:isLeftValueOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:LeftValue

Subject Item: _:vb13484
rdf:first: _:vb13486
rdf:rest: _:vb13487

Subject Item: _:vb13485
rdf:type: owl:Class
owl:intersectionOf: _:vb13484

Subject Item: _:vb13486
rdf:type: owl:Restriction
owl:onProperty: n3:hasLeftValuePosition
owl:allValuesFrom: xsdh:int

Subject Item: _:vb13487
rdf:first: _:vb13488
rdf:rest: rdf:nil

Subject Item: _:vb13488
rdf:type: owl:Restriction
owl:onProperty: n3:hasLeftValuePosition
owl:onDataRange: xsdh:int
owl:qualifiedCardinality: 1

Subject Item: _:vb13489
rdf:first: _:vb13491
rdf:rest: _:vb13496

Subject Item: _:vb13490
rdf:type: owl:Class
owl:intersectionOf: _:vb13489

Subject Item: _:vb13491
rdf:type: owl:Class
owl:unionOf: _:vb13492

Subject Item: _:vb13492
rdf:first: _:vb13493
rdf:rest: _:vb13494

Subject Item: _:vb13493
rdf:type: owl:Restriction
owl:onProperty: n3:hasLeftValue
owl:minQualifiedCardinality: 1
owl:onClass: n3:LeftValue

Subject Item: _:vb13494
rdf:first: _:vb13495
rdf:rest: rdf:nil

Subject Item: _:vb13495
rdf:type: owl:Restriction
owl:onProperty: n3:hasLeftValue
owl:onClass: n3:Variable
owl:qualifiedCardinality: 1

Subject Item: _:vb13496
rdf:first: _:vb13497
rdf:rest: rdf:nil

Subject Item: _:vb13497
rdf:type: owl:Restriction
owl:onProperty: n3:hasLeftValue
owl:allValuesFrom: _:vb13498

Subject Item: _:vb13498
rdf:type: owl:Class
owl:unionOf: _:vb13499

Subject Item: _:vb13499
rdf:first: n3:LeftValue
rdf:rest: _:vb13500

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

Subject Item: _:vb13501
rdf:first: _:vb13503
rdf:rest: _:vb13504

Subject Item: _:vb13502
rdf:type: owl:Class
owl:intersectionOf: _:vb13501

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

Subject Item: _:vb13504
rdf:first: _:vb13505
rdf:rest: rdf:nil

Subject Item: _:vb13505
rdf:type: owl:Restriction
owl:onProperty: n3:isLeftValueOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:LeftValue