When parsing an ontology from graph, it may happen a wrong modeling situation in which a restriction has only been defined with its type and onProperty triples, but without any specialization (hasValue, hasSelf, allValuesFrom, someValuesFrom, cardinality, minCardinality, maxCardinality, qualifiedCardinality, minQualifiedCardinality, maxQualifiedCardinality). In this case the restriction is unusable by the reasoner! It is required to detect these cases at validation level and report the user to finalize the definition.
When parsing an ontology from graph, it may happen a wrong modeling situation in which a restriction has only been defined with its type and onProperty triples, but without any specialization (hasValue, hasSelf, allValuesFrom, someValuesFrom, cardinality, minCardinality, maxCardinality, qualifiedCardinality, minQualifiedCardinality, maxQualifiedCardinality). In this case the restriction is unusable by the reasoner! It is required to detect these cases at validation level and report the user to finalize the definition.