HTML Microdata document

This HTML5 document contains 96 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:TypeVariable
rdf:type: owl:Class
rdfs:subClassOf: _:vb13565 _:vb13561 _:vb13572 _:vb13571 _:vb12373 _:vb13577 _:vb12369 _:vb12380 _:vb12379 n2:Type _:vb12385
rdfs:label: Type Variable
rdfs:comment: An unqualified identifier used as a placeholder for a not yet specified `Type`, introduced by the declaration of a generic `Class`, `Enum`, `Interface` or `Executable`.

Subject Item: _:vb12368
rdf:first: n2:TypeVariable
rdf:rest: _:vb12371

Subject Item: _:vb12369
rdf:type: owl:Restriction
owl:onProperty: n2:hasSubClass
owl:allValuesFrom: _:vb12370

Subject Item: _:vb12370
rdf:type: owl:Class
owl:unionOf: _:vb12368

Subject Item: _:vb12371
rdf:first: n2:Wildcard
rdf:rest: rdf:nil

Subject Item: _:vb12372
rdf:first: n2:Class
rdf:rest: _:vb12375

Subject Item: _:vb12373
rdf:type: owl:Restriction
owl:onProperty: n2:extends
owl:allValuesFrom: _:vb12374

Subject Item: _:vb12374
rdf:type: owl:Class
owl:unionOf: _:vb12372

Subject Item: _:vb12375
rdf:first: n2:Interface
rdf:rest: _:vb12376

Subject Item: _:vb12376
rdf:first: n2:ParameterizedType
rdf:rest: _:vb12377

Subject Item: _:vb12377
rdf:first: n2:TypeVariable
rdf:rest: rdf:nil

Subject Item: _:vb12378
rdf:first: _:vb12381
rdf:rest: _:vb12382

Subject Item: _:vb12379
rdf:type: owl:Restriction
owl:onProperty: n2:isThrownBy
owl:allValuesFrom: n2:Executable

Subject Item: _:vb12380
rdf:type: owl:Class
owl:intersectionOf: _:vb12378

Subject Item: _:vb12381
rdf:type: owl:Restriction
owl:onProperty: n2:hasTypeVariablePosition
owl:allValuesFrom: xsdh:int

Subject Item: _:vb12382
rdf:first: _:vb12383
rdf:rest: rdf:nil

Subject Item: _:vb12383
rdf:type: owl:Restriction
owl:onProperty: n2:hasTypeVariablePosition
owl:onDataRange: xsdh:int
owl:qualifiedCardinality: 1

Subject Item: _:vb12385
rdf:type: owl:Restriction
owl:onProperty: n2:isArgumentTypeOf
owl:allValuesFrom: n2:TypeArgument

Subject Item: _:vb13560
rdf:first: n2:TypeVariable
rdf:rest: _:vb13563

Subject Item: _:vb13561
rdf:type: owl:Restriction
owl:onProperty: n2:hasSubClass
owl:allValuesFrom: _:vb13562

Subject Item: _:vb13562
rdf:type: owl:Class
owl:unionOf: _:vb13560

Subject Item: _:vb13563
rdf:first: n2:Wildcard
rdf:rest: rdf:nil

Subject Item: _:vb13564
rdf:first: n2:Class
rdf:rest: _:vb13567

Subject Item: _:vb13565
rdf:type: owl:Restriction
owl:onProperty: n2:extends
owl:allValuesFrom: _:vb13566

Subject Item: _:vb13566
rdf:type: owl:Class
owl:unionOf: _:vb13564

Subject Item: _:vb13567
rdf:first: n2:Interface
rdf:rest: _:vb13568

Subject Item: _:vb13568
rdf:first: n2:ParameterizedType
rdf:rest: _:vb13569

Subject Item: _:vb13569
rdf:first: n2:TypeVariable
rdf:rest: rdf:nil

Subject Item: _:vb13570
rdf:first: _:vb13573
rdf:rest: _:vb13574

Subject Item: _:vb13571
rdf:type: owl:Restriction
owl:onProperty: n2:isThrownBy
owl:allValuesFrom: n2:Executable

Subject Item: _:vb13572
rdf:type: owl:Class
owl:intersectionOf: _:vb13570

Subject Item: _:vb13573
rdf:type: owl:Restriction
owl:onProperty: n2:hasTypeVariablePosition
owl:allValuesFrom: xsdh:int

Subject Item: _:vb13574
rdf:first: _:vb13575
rdf:rest: rdf:nil

Subject Item: _:vb13575
rdf:type: owl:Restriction
owl:onProperty: n2:hasTypeVariablePosition
owl:onDataRange: xsdh:int
owl:qualifiedCardinality: 1

Subject Item: _:vb13577
rdf:type: owl:Restriction
owl:onProperty: n2:isArgumentTypeOf
owl:allValuesFrom: n2:TypeArgument