default void addSymmetricProperty(final ATermAppl p) { if (OpenlletOptions.IGNORE_INVERSES) { getLogger().warning("Ignoring SymmetricProperty(" + p + ") axiom due to the IGNORE_INVERSES option"); return; } getChanges().add(ChangeType.RBOX_ADD); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeSymmetric(p)) : DependencySet.INDEPENDENT; getRBox().addInverseRole(p, p, ds); getLogger().finer(() -> "sym-prop " + p); }
default void addSymmetricProperty(final ATermAppl p) { if (OpenlletOptions.IGNORE_INVERSES) { getLogger().warning("Ignoring SymmetricProperty(" + p + ") axiom due to the IGNORE_INVERSES option"); return; } getChanges().add(ChangeType.RBOX_ADD); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeSymmetric(p)) : DependencySet.INDEPENDENT; getRBox().addInverseRole(p, p, ds); getLogger().finer(() -> "sym-prop " + p); }
default void addInverseProperty(final ATermAppl p1, final ATermAppl p2) { if (null == p1 || null == p2) return; if (OpenlletOptions.IGNORE_INVERSES) { getLogger().warning("Ignoring inverseOf(" + p1 + " " + p2 + ") axiom due to the IGNORE_INVERSES option"); return; } getChanges().add(ChangeType.RBOX_ADD); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeInvProp(p1, p2)) : DependencySet.INDEPENDENT; getRBox().addInverseRole(p1, p2, ds); getLogger().finer(() -> "inv-prop " + p1 + " " + p2); }
default void addInverseProperty(final ATermAppl p1, final ATermAppl p2) { if (null == p1 || null == p2) return; if (OpenlletOptions.IGNORE_INVERSES) { getLogger().warning("Ignoring inverseOf(" + p1 + " " + p2 + ") axiom due to the IGNORE_INVERSES option"); return; } getChanges().add(ChangeType.RBOX_ADD); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeInvProp(p1, p2)) : DependencySet.INDEPENDENT; getRBox().addInverseRole(p1, p2, ds); getLogger().finer(() -> "inv-prop " + p1 + " " + p2); }