public void verify() { for (final Map.Entry<OWLObjectProperty, Set<OWLObjectPropertyAxiom>> entry : _compositePropertyAxioms.entrySet()) { final OWLObjectProperty nonSimpleProperty = entry.getKey(); if (!_simpleProperties.contains(nonSimpleProperty)) continue; final Set<OWLObjectPropertyAxiom> axioms = entry.getValue(); for (final OWLObjectPropertyAxiom axiom : axioms) addUnsupportedAxiom(axiom); final ATermAppl name = ATermUtils.makeTermAppl(nonSimpleProperty.getIRI().toString()); final Role role = _kb.getRBox().getRole(name); role.removeSubRoleChains(); } }
public void verify() { for (final Map.Entry<OWLObjectProperty, Set<OWLObjectPropertyAxiom>> entry : _compositePropertyAxioms.entrySet()) { final OWLObjectProperty nonSimpleProperty = entry.getKey(); if (!_simpleProperties.contains(nonSimpleProperty)) continue; final Set<OWLObjectPropertyAxiom> axioms = entry.getValue(); for (final OWLObjectPropertyAxiom axiom : axioms) addUnsupportedAxiom(axiom); final ATermAppl name = ATermUtils.makeTermAppl(nonSimpleProperty.getIRI().toString()); final Role role = _kb.getRBox().getRole(name); role.removeSubRoleChains(); } }
public void verify() { for (final Map.Entry<OWLObjectProperty, Set<OWLObjectPropertyAxiom>> entry : _compositePropertyAxioms.entrySet()) { final OWLObjectProperty nonSimpleProperty = entry.getKey(); if (!_simpleProperties.contains(nonSimpleProperty)) continue; final Set<OWLObjectPropertyAxiom> axioms = entry.getValue(); for (final OWLObjectPropertyAxiom axiom : axioms) addUnsupportedAxiom(axiom); final ATermAppl name = ATermUtils.makeTermAppl(nonSimpleProperty.getIRI().toString()); final Role role = _kb.getRBox().getRole(name); role.removeSubRoleChains(); } }
default void ignoreTransitivity(final Role role) { final Role namedRole = role.isAnon() ? role.getInverse() : role; final String msg = "Unsupported axiom: Ignoring transitivity and/or complex subproperty axioms for " + namedRole; if (!OpenlletOptions.IGNORE_UNSUPPORTED_AXIOMS) throw new UnsupportedFeatureException(msg); getLogger().warning(msg); role.removeSubRoleChains(); role.setHasComplexSubRole(false); role.setSimple(true); role.setFSM(null); role.getInverse().removeSubRoleChains(); role.getInverse().setHasComplexSubRole(false); role.getInverse().setSimple(true); role.getInverse().setFSM(null); }
default void ignoreTransitivity(final Role role) { final Role namedRole = role.isAnon() ? role.getInverse() : role; final String msg = "Unsupported axiom: Ignoring transitivity and/or complex subproperty axioms for " + namedRole; if (!OpenlletOptions.IGNORE_UNSUPPORTED_AXIOMS) throw new UnsupportedFeatureException(msg); getLogger().warning(msg); role.removeSubRoleChains(); role.setHasComplexSubRole(false); role.setSimple(true); role.setFSM(null); role.getInverse().removeSubRoleChains(); role.getInverse().setHasComplexSubRole(false); role.getInverse().setSimple(true); role.getInverse().setFSM(null); }