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:Method
rdf:type: owl:Class
rdfs:subClassOf: n3:Executable _:vb13528 _:vb13529 _:vb13530 _:vb13520 _:vb13521 _:vb13526 _:vb13527 _:vb12336 _:vb12337 _:vb12338 _:vb12328 _:vb12329 _:vb12334 _:vb12335
rdfs:label: Method
rdfs:comment: A named `Executable`, declared within a `Class` body and callable only through an instance of that class.

Subject Item: _:vb12326
rdf:first: _:vb12330
rdf:rest: _:vb12331

Subject Item: _:vb12328
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnStatement
owl:allValuesFrom: n3:ReturnStatement

Subject Item: _:vb12329
rdf:type: owl:Class
owl:intersectionOf: _:vb12326

Subject Item: _:vb12330
rdf:type: owl:Restriction
owl:onProperty: n3:isMethodOf
owl:allValuesFrom: n3:ComplexType

Subject Item: _:vb12331
rdf:first: _:vb12332
rdf:rest: rdf:nil

Subject Item: _:vb12332
rdf:type: owl:Restriction
owl:onProperty: n3:isMethodOf
owl:onClass: n3:ComplexType
owl:qualifiedCardinality: 1

Subject Item: _:vb12333
rdf:first: _:vb12339
rdf:rest: _:vb12340

Subject Item: _:vb12334
rdf:type: owl:Restriction
owl:onProperty: n3:overrides
owl:allValuesFrom: n3:Method

Subject Item: _:vb12335
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnedVariable
owl:allValuesFrom: n3:Variable

Subject Item: _:vb12336
rdf:type: owl:Restriction
owl:onProperty: n3:isOverriddenBy
owl:allValuesFrom: n3:Method

Subject Item: _:vb12337
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnType
owl:allValuesFrom: n3:Type

Subject Item: _:vb12338
rdf:type: owl:Class
owl:intersectionOf: _:vb12333

Subject Item: _:vb12339
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnedVariable
owl:allValuesFrom: n3:Variable

Subject Item: _:vb12340
rdf:first: _:vb12341
rdf:rest: rdf:nil

Subject Item: _:vb12341
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnedVariable
owl:maxQualifiedCardinality: 1
owl:onClass: n3:Variable

Subject Item: _:vb13518
rdf:first: _:vb13522
rdf:rest: _:vb13523

Subject Item: _:vb13520
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnStatement
owl:allValuesFrom: n3:ReturnStatement

Subject Item: _:vb13521
rdf:type: owl:Class
owl:intersectionOf: _:vb13518

Subject Item: _:vb13522
rdf:type: owl:Restriction
owl:onProperty: n3:isMethodOf
owl:allValuesFrom: n3:ComplexType

Subject Item: _:vb13523
rdf:first: _:vb13524
rdf:rest: rdf:nil

Subject Item: _:vb13524
rdf:type: owl:Restriction
owl:onProperty: n3:isMethodOf
owl:onClass: n3:ComplexType
owl:qualifiedCardinality: 1

Subject Item: _:vb13525
rdf:first: _:vb13531
rdf:rest: _:vb13532

Subject Item: _:vb13526
rdf:type: owl:Restriction
owl:onProperty: n3:overrides
owl:allValuesFrom: n3:Method

Subject Item: _:vb13527
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnedVariable
owl:allValuesFrom: n3:Variable

Subject Item: _:vb13528
rdf:type: owl:Restriction
owl:onProperty: n3:isOverriddenBy
owl:allValuesFrom: n3:Method

Subject Item: _:vb13529
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnType
owl:allValuesFrom: n3:Type

Subject Item: _:vb13530
rdf:type: owl:Class
owl:intersectionOf: _:vb13525

Subject Item: _:vb13531
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnedVariable
owl:allValuesFrom: n3:Variable

Subject Item: _:vb13532
rdf:first: _:vb13533
rdf:rest: rdf:nil

Subject Item: _:vb13533
rdf:type: owl:Restriction
owl:onProperty: n3:hasReturnedVariable
owl:maxQualifiedCardinality: 1
owl:onClass: n3:Variable