OWL的耶拿（Jena）中限制的用法是什么？

Question

If I define a owl class A with a mincardinalityRestriction (for example, at least K) of a property, does it mean I have to add at least K values to the property when I create a individual of this class A ? If I ignore this restriction, can the individual be created successfully?

Answer 1

Yes. A reasoner does not require the assertions to be available, it just needs to know that the restriction exists.

By "created successfully" I assume you mean "the ontology is consistent". Jena (and most other APIs) will allow you to create inconsistent ontologies "successfully", as in, without any errors.