HTML Microdata document

This HTML5 document contains 100 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:ParameterizedType
rdf:type: owl:Class
rdfs:subClassOf: n3:Type _:vb12203 _:vb12209 _:vb12220 _:vb12221 _:vb13412 _:vb13413 _:vb13395 _:vb13401
rdfs:label: Parameterized Type
rdfs:comment: A particular parameterization of a `Type` in which its generic `Type Variable`s and/or `Wildcard`s are instantiated with `Type`s represented through `Type Argument`s.

Subject Item: _:vb12202
rdf:first: n3:AnonymousClass
rdf:rest: _:vb12205

Subject Item: _:vb12203
rdf:type: owl:Restriction
owl:onProperty: n3:hasSubClass
owl:allValuesFrom: _:vb12204

Subject Item: _:vb12204
rdf:type: owl:Class
owl:unionOf: _:vb12202

Subject Item: _:vb12205
rdf:first: n3:Class
rdf:rest: _:vb12206

Subject Item: _:vb12206
rdf:first: n3:TypeVariable
rdf:rest: _:vb12207

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

Subject Item: _:vb12208
rdf:first: _:vb12210
rdf:rest: _:vb12214

Subject Item: _:vb12209
rdf:type: owl:Class
owl:intersectionOf: _:vb12208

Subject Item: _:vb12210
rdf:type: owl:Restriction
owl:onProperty: n3:hasGenericType
owl:allValuesFrom: _:vb12211

Subject Item: _:vb12211
rdf:type: owl:Class
owl:unionOf: _:vb12212

Subject Item: _:vb12212
rdf:first: n3:Class
rdf:rest: _:vb12213

Subject Item: _:vb12213
rdf:first: n3:Interface
rdf:rest: rdf:nil

Subject Item: _:vb12214
rdf:first: _:vb12215
rdf:rest: rdf:nil

Subject Item: _:vb12215
rdf:type: owl:Restriction
owl:onProperty: n3:hasGenericType
owl:onClass: _:vb12216
owl:qualifiedCardinality: 1

Subject Item: _:vb12216
rdf:type: owl:Class
owl:unionOf: _:vb12217

Subject Item: _:vb12217
rdf:first: n3:Class
rdf:rest: _:vb12218

Subject Item: _:vb12218
rdf:first: n3:Interface
rdf:rest: rdf:nil

Subject Item: _:vb12220
rdf:type: owl:Restriction
owl:onProperty: n3:hasActualTypeArgument
owl:someValuesFrom: n3:TypeArgument

Subject Item: _:vb12221
rdf:type: owl:Restriction
owl:onProperty: n3:isArgumentTypeOf
owl:allValuesFrom: n3:TypeArgument

Subject Item: _:vb13394
rdf:first: n3:AnonymousClass
rdf:rest: _:vb13397

Subject Item: _:vb13395
rdf:type: owl:Restriction
owl:onProperty: n3:hasSubClass
owl:allValuesFrom: _:vb13396

Subject Item: _:vb13396
rdf:type: owl:Class
owl:unionOf: _:vb13394

Subject Item: _:vb13397
rdf:first: n3:Class
rdf:rest: _:vb13398

Subject Item: _:vb13398
rdf:first: n3:TypeVariable
rdf:rest: _:vb13399

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

Subject Item: _:vb13400
rdf:first: _:vb13402
rdf:rest: _:vb13406

Subject Item: _:vb13401
rdf:type: owl:Class
owl:intersectionOf: _:vb13400

Subject Item: _:vb13402
rdf:type: owl:Restriction
owl:onProperty: n3:hasGenericType
owl:allValuesFrom: _:vb13403

Subject Item: _:vb13403
rdf:type: owl:Class
owl:unionOf: _:vb13404

Subject Item: _:vb13404
rdf:first: n3:Class
rdf:rest: _:vb13405

Subject Item: _:vb13405
rdf:first: n3:Interface
rdf:rest: rdf:nil

Subject Item: _:vb13406
rdf:first: _:vb13407
rdf:rest: rdf:nil

Subject Item: _:vb13407
rdf:type: owl:Restriction
owl:onProperty: n3:hasGenericType
owl:onClass: _:vb13408
owl:qualifiedCardinality: 1

Subject Item: _:vb13408
rdf:type: owl:Class
owl:unionOf: _:vb13409

Subject Item: _:vb13409
rdf:first: n3:Class
rdf:rest: _:vb13410

Subject Item: _:vb13410
rdf:first: n3:Interface
rdf:rest: rdf:nil

Subject Item: _:vb13412
rdf:type: owl:Restriction
owl:onProperty: n3:hasActualTypeArgument
owl:someValuesFrom: n3:TypeArgument

Subject Item: _:vb13413
rdf:type: owl:Restriction
owl:onProperty: n3:isArgumentTypeOf
owl:allValuesFrom: n3:TypeArgument