HTML Microdata document

This HTML5 document contains 144 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:TypeArgument
rdf:type: owl:Class
rdfs:subClassOf: _:vb12124 _:vb12119 _:vb12129 _:vb13321 n3:CodeElement _:vb13316 _:vb13311
rdfs:label: Type Argument
rdfs:comment: A mirror of a `Type` taking the place of a `Type Variable` or `Wildcard` from a generic `Type` in one of its specific parameterizations by a `Parameterized Type`.

Subject Item: _:vb12118
rdf:first: _:vb12120
rdf:rest: _:vb12121

Subject Item: _:vb12119
rdf:type: owl:Class
owl:intersectionOf: _:vb12118

Subject Item: _:vb12120
rdf:type: owl:Restriction
owl:onProperty: n3:hasTypeArgumentPosition
owl:allValuesFrom: xsdh:int

Subject Item: _:vb12121
rdf:first: _:vb12122
rdf:rest: rdf:nil

Subject Item: _:vb12122
rdf:type: owl:Restriction
owl:onProperty: n3:hasTypeArgumentPosition
owl:onDataRange: xsdh:int
owl:qualifiedCardinality: 1

Subject Item: _:vb12123
rdf:first: _:vb12125
rdf:rest: _:vb12126

Subject Item: _:vb12124
rdf:type: owl:Class
owl:intersectionOf: _:vb12123

Subject Item: _:vb12125
rdf:type: owl:Restriction
owl:onProperty: n3:isActualTypeArgumentOf
owl:allValuesFrom: n3:ParameterizedType

Subject Item: _:vb12126
rdf:first: _:vb12127
rdf:rest: rdf:nil

Subject Item: _:vb12127
rdf:type: owl:Restriction
owl:onProperty: n3:isActualTypeArgumentOf
owl:onClass: n3:ParameterizedType
owl:qualifiedCardinality: 1

Subject Item: _:vb12128
rdf:first: _:vb12130
rdf:rest: _:vb12138

Subject Item: _:vb12129
rdf:type: owl:Class
owl:intersectionOf: _:vb12128

Subject Item: _:vb12130
rdf:type: owl:Restriction
owl:onProperty: n3:hasArgumentType
owl:allValuesFrom: _:vb12131

Subject Item: _:vb12131
rdf:type: owl:Class
owl:unionOf: _:vb12132

Subject Item: _:vb12132
rdf:first: n3:Class
rdf:rest: _:vb12133

Subject Item: _:vb12133
rdf:first: n3:Enum
rdf:rest: _:vb12134

Subject Item: _:vb12134
rdf:first: n3:Interface
rdf:rest: _:vb12135

Subject Item: _:vb12135
rdf:first: n3:ParameterizedType
rdf:rest: _:vb12136

Subject Item: _:vb12136
rdf:first: n3:TypeVariable
rdf:rest: _:vb12137

Subject Item: _:vb12137
rdf:first: n3:Wildcard
rdf:rest: rdf:nil

Subject Item: _:vb12138
rdf:first: _:vb12139
rdf:rest: rdf:nil

Subject Item: _:vb12139
rdf:type: owl:Restriction
owl:onProperty: n3:hasArgumentType
owl:minQualifiedCardinality: 1
owl:onClass: _:vb12140

Subject Item: _:vb12140
rdf:type: owl:Class
owl:unionOf: _:vb12141

Subject Item: _:vb12141
rdf:first: n3:Class
rdf:rest: _:vb12142

Subject Item: _:vb12142
rdf:first: n3:Enum
rdf:rest: _:vb12143

Subject Item: _:vb12143
rdf:first: n3:Interface
rdf:rest: _:vb12144

Subject Item: _:vb12144
rdf:first: n3:ParameterizedType
rdf:rest: _:vb12145

Subject Item: _:vb12145
rdf:first: n3:TypeVariable
rdf:rest: _:vb12146

Subject Item: _:vb12146
rdf:first: n3:Wildcard
rdf:rest: rdf:nil

Subject Item: _:vb13310
rdf:first: _:vb13312
rdf:rest: _:vb13313

Subject Item: _:vb13311
rdf:type: owl:Class
owl:intersectionOf: _:vb13310

Subject Item: _:vb13312
rdf:type: owl:Restriction
owl:onProperty: n3:hasTypeArgumentPosition
owl:allValuesFrom: xsdh:int

Subject Item: _:vb13313
rdf:first: _:vb13314
rdf:rest: rdf:nil

Subject Item: _:vb13314
rdf:type: owl:Restriction
owl:onProperty: n3:hasTypeArgumentPosition
owl:onDataRange: xsdh:int
owl:qualifiedCardinality: 1

Subject Item: _:vb13315
rdf:first: _:vb13317
rdf:rest: _:vb13318

Subject Item: _:vb13316
rdf:type: owl:Class
owl:intersectionOf: _:vb13315

Subject Item: _:vb13317
rdf:type: owl:Restriction
owl:onProperty: n3:isActualTypeArgumentOf
owl:allValuesFrom: n3:ParameterizedType

Subject Item: _:vb13318
rdf:first: _:vb13319
rdf:rest: rdf:nil

Subject Item: _:vb13319
rdf:type: owl:Restriction
owl:onProperty: n3:isActualTypeArgumentOf
owl:onClass: n3:ParameterizedType
owl:qualifiedCardinality: 1

Subject Item: _:vb13320
rdf:first: _:vb13322
rdf:rest: _:vb13330

Subject Item: _:vb13321
rdf:type: owl:Class
owl:intersectionOf: _:vb13320

Subject Item: _:vb13322
rdf:type: owl:Restriction
owl:onProperty: n3:hasArgumentType
owl:allValuesFrom: _:vb13323

Subject Item: _:vb13323
rdf:type: owl:Class
owl:unionOf: _:vb13324

Subject Item: _:vb13324
rdf:first: n3:Class
rdf:rest: _:vb13325

Subject Item: _:vb13325
rdf:first: n3:Enum
rdf:rest: _:vb13326

Subject Item: _:vb13326
rdf:first: n3:Interface
rdf:rest: _:vb13327

Subject Item: _:vb13327
rdf:first: n3:ParameterizedType
rdf:rest: _:vb13328

Subject Item: _:vb13328
rdf:first: n3:TypeVariable
rdf:rest: _:vb13329

Subject Item: _:vb13329
rdf:first: n3:Wildcard
rdf:rest: rdf:nil

Subject Item: _:vb13330
rdf:first: _:vb13331
rdf:rest: rdf:nil

Subject Item: _:vb13331
rdf:type: owl:Restriction
owl:onProperty: n3:hasArgumentType
owl:minQualifiedCardinality: 1
owl:onClass: _:vb13332

Subject Item: _:vb13332
rdf:type: owl:Class
owl:unionOf: _:vb13333

Subject Item: _:vb13333
rdf:first: n3:Class
rdf:rest: _:vb13334

Subject Item: _:vb13334
rdf:first: n3:Enum
rdf:rest: _:vb13335

Subject Item: _:vb13335
rdf:first: n3:Interface
rdf:rest: _:vb13336

Subject Item: _:vb13336
rdf:first: n3:ParameterizedType
rdf:rest: _:vb13337

Subject Item: _:vb13337
rdf:first: n3:TypeVariable
rdf:rest: _:vb13338

Subject Item: _:vb13338
rdf:first: n3:Wildcard
rdf:rest: rdf:nil