This HTML5 document contains 282 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
rdfshttp://www.w3.org/2000/01/rdf-schema#
n3http://yang.eurecom.fr/codeontology/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
xsdhhttp://www.w3.org/2001/XMLSchema#

Statements

Subject Item
n3:Statement
rdf:type
owl:Class
rdfs:subClassOf
_:vb13760 _:vb13765 _:vb13766 _:vb12531 _:vb12536 _:vb12541 n3:CodeElement _:vb13745 _:vb13750 _:vb13755 _:vb12563 _:vb13728 _:vb12568 _:vb13733 _:vb12573 _:vb13738 _:vb12574 _:vb13739 _:vb13740 _:vb12546 _:vb12547 _:vb12548 _:vb12553 _:vb12558 _:vb13723
rdfs:label
Statement
rdfs:comment
A syntactic entity not associable with any value.
Subject Item
_:vb12529
rdf:first
_:vb12532
rdf:rest
_:vb12533
Subject Item
_:vb12531
rdf:type
owl:Class
owl:intersectionOf
_:vb12529
Subject Item
_:vb12532
rdf:type
owl:Restriction
owl:onProperty
n3:hasNextStatement
owl:allValuesFrom
n3:Statement
Subject Item
_:vb12533
rdf:first
_:vb12534
rdf:rest
rdf:nil
Subject Item
_:vb12534
rdf:type
owl:Restriction
owl:onProperty
n3:hasNextStatement
owl:maxQualifiedCardinality
1
owl:onClass
n3:Statement
Subject Item
_:vb12535
rdf:first
_:vb12537
rdf:rest
_:vb12538
Subject Item
_:vb12536
rdf:type
owl:Class
owl:intersectionOf
_:vb12535
Subject Item
_:vb12537
rdf:type
owl:Restriction
owl:onProperty
n3:isThenBranchOf
owl:allValuesFrom
n3:IfThenElseStatement
Subject Item
_:vb12538
rdf:first
_:vb12539
rdf:rest
rdf:nil
Subject Item
_:vb12539
rdf:type
owl:Restriction
owl:onProperty
n3:isThenBranchOf
owl:maxQualifiedCardinality
1
owl:onClass
n3:IfThenElseStatement
Subject Item
_:vb12540
rdf:first
_:vb12542
rdf:rest
_:vb12543
Subject Item
_:vb12541
rdf:type
owl:Class
owl:intersectionOf
_:vb12540
Subject Item
_:vb12542
rdf:type
owl:Restriction
owl:onProperty
n3:hasBody
owl:allValuesFrom
n3:BlockStatement
Subject Item
_:vb12543
rdf:first
_:vb12544
rdf:rest
rdf:nil
Subject Item
_:vb12544
rdf:type
owl:Restriction
owl:onProperty
n3:hasBody
owl:maxQualifiedCardinality
1
owl:onClass
n3:BlockStatement
Subject Item
_:vb12545
rdf:first
_:vb12549
rdf:rest
_:vb12550
Subject Item
_:vb12546
rdf:type
owl:Restriction
owl:onProperty
n3:hasSubExpression
owl:allValuesFrom
n3:Expression
Subject Item
_:vb12547
rdf:type
owl:Restriction
owl:onProperty
n3:hasLine
owl:onDataRange
xsdh:int
owl:qualifiedCardinality
1
Subject Item
_:vb12548
rdf:type
owl:Class
owl:intersectionOf
_:vb12545
Subject Item
_:vb12549
rdf:type
owl:Restriction
owl:onProperty
n3:hasStatementPosition
owl:allValuesFrom
xsdh:int
Subject Item
_:vb12550
rdf:first
_:vb12551
rdf:rest
rdf:nil
Subject Item
_:vb12551
rdf:type
owl:Restriction
owl:onProperty
n3:hasStatementPosition
owl:onDataRange
xsdh:int
owl:qualifiedCardinality
1
Subject Item
_:vb12552
rdf:first
_:vb12554
rdf:rest
_:vb12555
Subject Item
_:vb12553
rdf:type
owl:Class
owl:intersectionOf
_:vb12552
Subject Item
_:vb12554
rdf:type
owl:Restriction
owl:onProperty
n3:hasPreviousStatement
owl:allValuesFrom
n3:Statement
Subject Item
_:vb12555
rdf:first
_:vb12556
rdf:rest
rdf:nil
Subject Item
_:vb12556
rdf:type
owl:Restriction
owl:onProperty
n3:hasPreviousStatement
owl:maxQualifiedCardinality
1
owl:onClass
n3:Statement
Subject Item
_:vb12557
rdf:first
_:vb12559
rdf:rest
_:vb12560
Subject Item
_:vb12558
rdf:type
owl:Class
owl:intersectionOf
_:vb12557
Subject Item
_:vb12559
rdf:type
owl:Restriction
owl:onProperty
n3:hasSourceCode
owl:allValuesFrom
xsdh:string
Subject Item
_:vb12560
rdf:first
_:vb12561
rdf:rest
rdf:nil
Subject Item
_:vb12561
rdf:type
owl:Restriction
owl:onProperty
n3:hasSourceCode
owl:onDataRange
xsdh:string
owl:qualifiedCardinality
1
Subject Item
_:vb12562
rdf:first
_:vb12564
rdf:rest
_:vb12565
Subject Item
_:vb12563
rdf:type
owl:Class
owl:intersectionOf
_:vb12562
Subject Item
_:vb12564
rdf:type
owl:Restriction
owl:onProperty
n3:hasLabel
owl:allValuesFrom
xsdh:string
Subject Item
_:vb12565
rdf:first
_:vb12566
rdf:rest
rdf:nil
Subject Item
_:vb12566
rdf:type
owl:Restriction
owl:onProperty
n3:hasLabel
owl:maxQualifiedCardinality
1
owl:onDataRange
xsdh:string
Subject Item
_:vb12567
rdf:first
_:vb12569
rdf:rest
_:vb12570
Subject Item
_:vb12568
rdf:type
owl:Class
owl:intersectionOf
_:vb12567
Subject Item
_:vb12569
rdf:type
owl:Restriction
owl:onProperty
n3:isElseBranchOf
owl:allValuesFrom
n3:IfThenElseStatement
Subject Item
_:vb12570
rdf:first
_:vb12571
rdf:rest
rdf:nil
Subject Item
_:vb12571
rdf:type
owl:Restriction
owl:onProperty
n3:isElseBranchOf
owl:maxQualifiedCardinality
1
owl:onClass
n3:IfThenElseStatement
Subject Item
_:vb12572
rdf:first
_:vb12575
rdf:rest
_:vb12576
Subject Item
_:vb12573
rdf:type
owl:Restriction
owl:onProperty
n3:hasSubStatement
owl:allValuesFrom
n3:Statement
Subject Item
_:vb12574
rdf:type
owl:Class
owl:intersectionOf
_:vb12572
Subject Item
_:vb12575
rdf:type
owl:Restriction
owl:onProperty
n3:isBlockStatementOf
owl:allValuesFrom
n3:BlockStatement
Subject Item
_:vb12576
rdf:first
_:vb12577
rdf:rest
rdf:nil
Subject Item
_:vb12577
rdf:type
owl:Restriction
owl:onProperty
n3:isBlockStatementOf
owl:maxQualifiedCardinality
1
owl:onClass
n3:BlockStatement
Subject Item
_:vb13721
rdf:first
_:vb13724
rdf:rest
_:vb13725
Subject Item
_:vb13723
rdf:type
owl:Class
owl:intersectionOf
_:vb13721
Subject Item
_:vb13724
rdf:type
owl:Restriction
owl:onProperty
n3:hasNextStatement
owl:allValuesFrom
n3:Statement
Subject Item
_:vb13725
rdf:first
_:vb13726
rdf:rest
rdf:nil
Subject Item
_:vb13726
rdf:type
owl:Restriction
owl:onProperty
n3:hasNextStatement
owl:maxQualifiedCardinality
1
owl:onClass
n3:Statement
Subject Item
_:vb13727
rdf:first
_:vb13729
rdf:rest
_:vb13730
Subject Item
_:vb13728
rdf:type
owl:Class
owl:intersectionOf
_:vb13727
Subject Item
_:vb13729
rdf:type
owl:Restriction
owl:onProperty
n3:isThenBranchOf
owl:allValuesFrom
n3:IfThenElseStatement
Subject Item
_:vb13730
rdf:first
_:vb13731
rdf:rest
rdf:nil
Subject Item
_:vb13731
rdf:type
owl:Restriction
owl:onProperty
n3:isThenBranchOf
owl:maxQualifiedCardinality
1
owl:onClass
n3:IfThenElseStatement
Subject Item
_:vb13732
rdf:first
_:vb13734
rdf:rest
_:vb13735
Subject Item
_:vb13733
rdf:type
owl:Class
owl:intersectionOf
_:vb13732
Subject Item
_:vb13734
rdf:type
owl:Restriction
owl:onProperty
n3:hasBody
owl:allValuesFrom
n3:BlockStatement
Subject Item
_:vb13735
rdf:first
_:vb13736
rdf:rest
rdf:nil
Subject Item
_:vb13736
rdf:type
owl:Restriction
owl:onProperty
n3:hasBody
owl:maxQualifiedCardinality
1
owl:onClass
n3:BlockStatement
Subject Item
_:vb13737
rdf:first
_:vb13741
rdf:rest
_:vb13742
Subject Item
_:vb13738
rdf:type
owl:Restriction
owl:onProperty
n3:hasSubExpression
owl:allValuesFrom
n3:Expression
Subject Item
_:vb13739
rdf:type
owl:Restriction
owl:onProperty
n3:hasLine
owl:onDataRange
xsdh:int
owl:qualifiedCardinality
1
Subject Item
_:vb13740
rdf:type
owl:Class
owl:intersectionOf
_:vb13737
Subject Item
_:vb13741
rdf:type
owl:Restriction
owl:onProperty
n3:hasStatementPosition
owl:allValuesFrom
xsdh:int
Subject Item
_:vb13742
rdf:first
_:vb13743
rdf:rest
rdf:nil
Subject Item
_:vb13743
rdf:type
owl:Restriction
owl:onProperty
n3:hasStatementPosition
owl:onDataRange
xsdh:int
owl:qualifiedCardinality
1
Subject Item
_:vb13744
rdf:first
_:vb13746
rdf:rest
_:vb13747
Subject Item
_:vb13745
rdf:type
owl:Class
owl:intersectionOf
_:vb13744
Subject Item
_:vb13746
rdf:type
owl:Restriction
owl:onProperty
n3:hasPreviousStatement
owl:allValuesFrom
n3:Statement
Subject Item
_:vb13747
rdf:first
_:vb13748
rdf:rest
rdf:nil
Subject Item
_:vb13748
rdf:type
owl:Restriction
owl:onProperty
n3:hasPreviousStatement
owl:maxQualifiedCardinality
1
owl:onClass
n3:Statement
Subject Item
_:vb13749
rdf:first
_:vb13751
rdf:rest
_:vb13752
Subject Item
_:vb13750
rdf:type
owl:Class
owl:intersectionOf
_:vb13749
Subject Item
_:vb13751
rdf:type
owl:Restriction
owl:onProperty
n3:hasSourceCode
owl:allValuesFrom
xsdh:string
Subject Item
_:vb13752
rdf:first
_:vb13753
rdf:rest
rdf:nil
Subject Item
_:vb13753
rdf:type
owl:Restriction
owl:onProperty
n3:hasSourceCode
owl:onDataRange
xsdh:string
owl:qualifiedCardinality
1
Subject Item
_:vb13754
rdf:first
_:vb13756
rdf:rest
_:vb13757
Subject Item
_:vb13755
rdf:type
owl:Class
owl:intersectionOf
_:vb13754
Subject Item
_:vb13756
rdf:type
owl:Restriction
owl:onProperty
n3:hasLabel
owl:allValuesFrom
xsdh:string
Subject Item
_:vb13757
rdf:first
_:vb13758
rdf:rest
rdf:nil
Subject Item
_:vb13758
rdf:type
owl:Restriction
owl:onProperty
n3:hasLabel
owl:maxQualifiedCardinality
1
owl:onDataRange
xsdh:string
Subject Item
_:vb13759
rdf:first
_:vb13761
rdf:rest
_:vb13762
Subject Item
_:vb13760
rdf:type
owl:Class
owl:intersectionOf
_:vb13759
Subject Item
_:vb13761
rdf:type
owl:Restriction
owl:onProperty
n3:isElseBranchOf
owl:allValuesFrom
n3:IfThenElseStatement
Subject Item
_:vb13762
rdf:first
_:vb13763
rdf:rest
rdf:nil
Subject Item
_:vb13763
rdf:type
owl:Restriction
owl:onProperty
n3:isElseBranchOf
owl:maxQualifiedCardinality
1
owl:onClass
n3:IfThenElseStatement
Subject Item
_:vb13764
rdf:first
_:vb13767
rdf:rest
_:vb13768
Subject Item
_:vb13765
rdf:type
owl:Restriction
owl:onProperty
n3:hasSubStatement
owl:allValuesFrom
n3:Statement
Subject Item
_:vb13766
rdf:type
owl:Class
owl:intersectionOf
_:vb13764
Subject Item
_:vb13767
rdf:type
owl:Restriction
owl:onProperty
n3:isBlockStatementOf
owl:allValuesFrom
n3:BlockStatement
Subject Item
_:vb13768
rdf:first
_:vb13769
rdf:rest
rdf:nil
Subject Item
_:vb13769
rdf:type
owl:Restriction
owl:onProperty
n3:isBlockStatementOf
owl:maxQualifiedCardinality
1
owl:onClass
n3:BlockStatement