ODM12 — Provide support for distinguishing asserted vs. inferred axioms

Currently, the ODM 1.0 specification defines several stereotypes for representing an OWL ontology in UML using the ODM stereotypes for RDF and OWL.

The ODM spec is understandably updated to support OWL2, the current recommendation from the W3C.
It is not entirely clear which OWL2 constructs are supported in the ODM profile — a cross-reference table linking the entries of the quick ref. guide would be particularly helpful: http://www.w3.org/TR/owl2-quick-reference/

Also, in practice, it would be useful to have the flexibility of showing come axioms but not others.
For example, if we have (in functional syntax):

Declaration( Class( A ))
Declaration( Class( B ))
Declaration( Class( C ))
SubCassOf( A B )
SubCassOf( B C )

Then, an OWL2 reasoner will infer the following axiom:

SubCassOf( A C )

Using the ODM profile, it should be possible to show selected subsets of an ontology.
For example:

view1:

Declaration( Class( A ))
Declaration( Class( B ))
Declaration( Class( C ))
SubCassOf( A B )
SubCassOf( B C )

view2:

Declaration( Class( A ))
Declaration( Class( B ))
Declaration( Class( C ))
SubCassOf( A B )
SubCassOf( B C )
SubCassOf( A C )

view3:

Declaration( Class( A ))
Declaration( Class( C ))
SubCassOf( A C )

This brings up the question of adding support in the ODM profile to distinguish asserted vs. inferred axioms.
Perhaps there could be a flag — e.g.,

isAsserted : Boolean = true // set it to false for an inferred axiom — or--
isInferred : Boolean = false // set it to true for an inferred axiom

Finally, additional markup may be useful — e.g., showing whether an ontology is consistent or not.