This HTML5 document contains 32 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:AssertStatement
rdf:type
owl:Class
rdfs:subClassOf
_:vb12951 n3:Statement _:vb11759
rdfs:label
Assert Statement
rdfs:comment
A `Statement` holding a predicate (`Expression`) that should be evaluated to "True".
Subject Item
_:vb11758
rdf:first
_:vb11760
rdf:rest
_:vb11761
Subject Item
_:vb11759
rdf:type
owl:Class
owl:intersectionOf
_:vb11758
Subject Item
_:vb11760
rdf:type
owl:Restriction
owl:onProperty
n3:hasAssertExpression
owl:allValuesFrom
n3:Expression
Subject Item
_:vb11761
rdf:first
_:vb11762
rdf:rest
rdf:nil
Subject Item
_:vb11762
rdf:type
owl:Restriction
owl:onProperty
n3:hasAssertExpression
owl:onClass
n3:Expression
owl:qualifiedCardinality
1
Subject Item
_:vb12950
rdf:first
_:vb12952
rdf:rest
_:vb12953
Subject Item
_:vb12951
rdf:type
owl:Class
owl:intersectionOf
_:vb12950
Subject Item
_:vb12952
rdf:type
owl:Restriction
owl:onProperty
n3:hasAssertExpression
owl:allValuesFrom
n3:Expression
Subject Item
_:vb12953
rdf:first
_:vb12954
rdf:rest
rdf:nil
Subject Item
_:vb12954
rdf:type
owl:Restriction
owl:onProperty
n3:hasAssertExpression
owl:onClass
n3:Expression
owl:qualifiedCardinality
1