This HTML5 document contains 9 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#
n2http://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
n2:hasAssertExpression
rdf:type
owl:ObjectProperty owl:FunctionalProperty owl:InverseFunctionalProperty
rdfs:subPropertyOf
n2:hasSubExpression
owl:inverseOf
n2:isAssertExpressionOf
rdfs:label
has assert expression
rdfs:domain
n2:AssertStatement
rdfs:range
n2:Expression
rdfs:comment
Relates an `Assert Statement` to a (boolean) `Expression` asserted to be "True".