What does it mean for a class expression to be inferred?

Usually the inferred property would only be applied to an axiom (sentence), not an expression (noun phrase).

So for example, gomodel:987654321 rdf:type <ClassExpression> could be tagged as being inferred.

Perhaps the intent is that the class expression object always represents an assignment for an individual? This introduces a slight impedence mismatch to OWL but could be fine if documented. It may introduce complications, e.g. for a recursive class expression definition. What are the semantics of mixed inferred_p values in a nested CE?

@hdietze to advise