HTML Microdata document

This HTML5 document contains 203 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:Executable
rdf:type: owl:Class
rdfs:subClassOf: n3:CodeElement _:vb13662 _:vb13657 _:vb13652 _:vb13651 _:vb13644 _:vb13645 _:vb13646 _:vb13640 _:vb13638 _:vb13639 _:vb13633 _:vb12470 _:vb12465 _:vb12460 _:vb12459 _:vb12452 _:vb12453 _:vb12454 _:vb12448 _:vb12446 _:vb12447 _:vb12441 n3:Modifiable
rdfs:label: Executable
rdfs:comment: An executable block of code.

Subject Item: _:vb12440
rdf:first: _:vb12442
rdf:rest: _:vb12443

Subject Item: _:vb12441
rdf:type: owl:Class
owl:intersectionOf: _:vb12440

Subject Item: _:vb12442
rdf:type: owl:Restriction
owl:onProperty: n3:isVarArgs
owl:allValuesFrom: xsdh:boolean

Subject Item: _:vb12443
rdf:first: _:vb12444
rdf:rest: rdf:nil

Subject Item: _:vb12444
rdf:type: owl:Restriction
owl:onProperty: n3:isVarArgs
owl:onDataRange: xsdh:boolean
owl:qualifiedCardinality: 1

Subject Item: _:vb12445
rdf:first: n3:Class
rdf:rest: _:vb12450

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

Subject Item: _:vb12447
rdf:type: owl:Restriction
owl:onProperty: n3:hasModifier
owl:maxQualifiedCardinality: 1
owl:onClass: n3:AccessModifier

Subject Item: _:vb12448
rdf:type: owl:Restriction
owl:onProperty: n3:throws
owl:allValuesFrom: _:vb12449

Subject Item: _:vb12449
rdf:type: owl:Class
owl:unionOf: _:vb12445

Subject Item: _:vb12450
rdf:first: n3:TypeVariable
rdf:rest: rdf:nil

Subject Item: _:vb12451
rdf:first: _:vb12455
rdf:rest: _:vb12456

Subject Item: _:vb12452
rdf:type: owl:Restriction
owl:onProperty: n3:hasFormalTypeParameter
owl:allValuesFrom: n3:TypeVariable

Subject Item: _:vb12453
rdf:type: owl:Restriction
owl:onProperty: n3:hasParameter
owl:allValuesFrom: n3:Parameter

Subject Item: _:vb12454
rdf:type: owl:Class
owl:intersectionOf: _:vb12451

Subject Item: _:vb12455
rdf:type: owl:Restriction
owl:onProperty: n3:hasBody
owl:allValuesFrom: n3:BlockStatement

Subject Item: _:vb12456
rdf:first: _:vb12457
rdf:rest: rdf:nil

Subject Item: _:vb12457
rdf:type: owl:Restriction
owl:onProperty: n3:hasBody
owl:maxQualifiedCardinality: 1
owl:onClass: n3:BlockStatement

Subject Item: _:vb12458
rdf:first: _:vb12461
rdf:rest: _:vb12462

Subject Item: _:vb12459
rdf:type: owl:Restriction
owl:onProperty: n3:hasSubStatement
owl:allValuesFrom: n3:Statement

Subject Item: _:vb12460
rdf:type: owl:Class
owl:intersectionOf: _:vb12458

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

Subject Item: _:vb12462
rdf:first: _:vb12463
rdf:rest: rdf:nil

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

Subject Item: _:vb12464
rdf:first: n3:AnonymousClass
rdf:rest: _:vb12467

Subject Item: _:vb12465
rdf:type: owl:Restriction
owl:onProperty: n3:constructs
owl:allValuesFrom: _:vb12466

Subject Item: _:vb12466
rdf:type: owl:Class
owl:unionOf: _:vb12464

Subject Item: _:vb12467
rdf:first: n3:Class
rdf:rest: _:vb12468

Subject Item: _:vb12468
rdf:first: n3:Enum
rdf:rest: rdf:nil

Subject Item: _:vb12469
rdf:first: n3:Executable
rdf:rest: _:vb12472

Subject Item: _:vb12470
rdf:type: owl:Restriction
owl:onProperty: n3:references
owl:allValuesFrom: _:vb12471

Subject Item: _:vb12471
rdf:type: owl:Class
owl:unionOf: _:vb12469

Subject Item: _:vb12472
rdf:first: n3:LambdaExpression
rdf:rest: _:vb12473

Subject Item: _:vb12473
rdf:first: n3:Type
rdf:rest: _:vb12474

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

Subject Item: _:vb13632
rdf:first: _:vb13634
rdf:rest: _:vb13635

Subject Item: _:vb13633
rdf:type: owl:Class
owl:intersectionOf: _:vb13632

Subject Item: _:vb13634
rdf:type: owl:Restriction
owl:onProperty: n3:isVarArgs
owl:allValuesFrom: xsdh:boolean

Subject Item: _:vb13635
rdf:first: _:vb13636
rdf:rest: rdf:nil

Subject Item: _:vb13636
rdf:type: owl:Restriction
owl:onProperty: n3:isVarArgs
owl:onDataRange: xsdh:boolean
owl:qualifiedCardinality: 1

Subject Item: _:vb13637
rdf:first: n3:Class
rdf:rest: _:vb13642

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

Subject Item: _:vb13639
rdf:type: owl:Restriction
owl:onProperty: n3:hasModifier
owl:maxQualifiedCardinality: 1
owl:onClass: n3:AccessModifier

Subject Item: _:vb13640
rdf:type: owl:Restriction
owl:onProperty: n3:throws
owl:allValuesFrom: _:vb13641

Subject Item: _:vb13641
rdf:type: owl:Class
owl:unionOf: _:vb13637

Subject Item: _:vb13642
rdf:first: n3:TypeVariable
rdf:rest: rdf:nil

Subject Item: _:vb13643
rdf:first: _:vb13647
rdf:rest: _:vb13648

Subject Item: _:vb13644
rdf:type: owl:Restriction
owl:onProperty: n3:hasFormalTypeParameter
owl:allValuesFrom: n3:TypeVariable

Subject Item: _:vb13645
rdf:type: owl:Restriction
owl:onProperty: n3:hasParameter
owl:allValuesFrom: n3:Parameter

Subject Item: _:vb13646
rdf:type: owl:Class
owl:intersectionOf: _:vb13643

Subject Item: _:vb13647
rdf:type: owl:Restriction
owl:onProperty: n3:hasBody
owl:allValuesFrom: n3:BlockStatement

Subject Item: _:vb13648
rdf:first: _:vb13649
rdf:rest: rdf:nil

Subject Item: _:vb13649
rdf:type: owl:Restriction
owl:onProperty: n3:hasBody
owl:maxQualifiedCardinality: 1
owl:onClass: n3:BlockStatement

Subject Item: _:vb13650
rdf:first: _:vb13653
rdf:rest: _:vb13654

Subject Item: _:vb13651
rdf:type: owl:Restriction
owl:onProperty: n3:hasSubStatement
owl:allValuesFrom: n3:Statement

Subject Item: _:vb13652
rdf:type: owl:Class
owl:intersectionOf: _:vb13650

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

Subject Item: _:vb13654
rdf:first: _:vb13655
rdf:rest: rdf:nil

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

Subject Item: _:vb13656
rdf:first: n3:AnonymousClass
rdf:rest: _:vb13659

Subject Item: _:vb13657
rdf:type: owl:Restriction
owl:onProperty: n3:constructs
owl:allValuesFrom: _:vb13658

Subject Item: _:vb13658
rdf:type: owl:Class
owl:unionOf: _:vb13656

Subject Item: _:vb13659
rdf:first: n3:Class
rdf:rest: _:vb13660

Subject Item: _:vb13660
rdf:first: n3:Enum
rdf:rest: rdf:nil

Subject Item: _:vb13661
rdf:first: n3:Executable
rdf:rest: _:vb13664

Subject Item: _:vb13662
rdf:type: owl:Restriction
owl:onProperty: n3:references
owl:allValuesFrom: _:vb13663

Subject Item: _:vb13663
rdf:type: owl:Class
owl:unionOf: _:vb13661

Subject Item: _:vb13664
rdf:first: n3:LambdaExpression
rdf:rest: _:vb13665

Subject Item: _:vb13665
rdf:first: n3:Type
rdf:rest: _:vb13666

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