Я пытаюсь обосновать свою онтологию в Java, используя HermiT, но это приводит к ошибке, подобной приведенной ниже:
Exception in thread "main" java.lang.IllegalArgumentException: Non-simple property 'InverseOf(owl:topObjectProperty)' or its inverse appears in the cardinality restriction 'ObjectMaxCardinality(1 InverseOf(owl:topObjectProperty) owl:Thing)'.
Я новичок в рассуждениях в Java. что это значит?