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

Prefix	IRI
rdfs	http://www.w3.org/2000/01/rdf-schema#
n2	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

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".