default Set<ATermAppl> getReflexiveProperties() { final Set<ATermAppl> set = new HashSet<>(); for (final Role role : getRBox().getRoles().values()) { final ATermAppl p = role.getName(); if (ATermUtils.isPrimitive(p) && role.isReflexive()) set.add(p); } return set; }
default Set<ATermAppl> getReflexiveProperties() { final Set<ATermAppl> set = new HashSet<>(); for (final Role role : getRBox().getRoles().values()) { final ATermAppl p = role.getName(); if (ATermUtils.isPrimitive(p) && role.isReflexive()) set.add(p); } return set; }
private void processAxioms() { //EquivalentClass -> SubClasses //Disjoint Classes -> SubClass //Normalize ATerm lists to sets final Collection<ATermAppl> assertedAxioms = _kb.getTBox().getAssertedAxioms(); for (final ATermAppl assertedAxiom : assertedAxioms) processAxiom(assertedAxiom); if (PREPROCESS_DOMAINS) //Convert ATermAppl Domains to axioms for (final Entry<ATermAppl, ATermAppl> entry : _roleRestrictions.getDomains().entrySet()) { final ATermAppl roleName = entry.getKey(); final ATermAppl domain = entry.getValue(); createConceptsFromAxiom(ATermUtils.makeSomeValues(roleName, ATermUtils.TOP), domain); } //Convert Reflexive Roles to axioms for (final Role role : _kb.getRBox().getRoles().values()) if (role.isReflexive()) { final ATermAppl range = _roleRestrictions.getRange(role.getName()); if (range == null) continue; createConceptsFromAxiom(ATermUtils.TOP, range); } }
if (role.isAsymmetric()) types.add(OWL2.AsymmetricProperty.asNode()); if (role.isReflexive()) types.add(OWL2.ReflexiveProperty.asNode()); if (role.isIrreflexive())
if (role.isAsymmetric()) types.add(OWL2.AsymmetricProperty.asNode()); if (role.isReflexive()) types.add(OWL2.ReflexiveProperty.asNode()); if (role.isIrreflexive())
if (role.isReflexive())
if (role.isAsymmetric()) types.add(OWL2.AsymmetricProperty.asNode()); if (role.isReflexive()) types.add(OWL2.ReflexiveProperty.asNode()); if (role.isIrreflexive())
private void processAxioms() { //EquivalentClass -> SubClasses //Disjoint Classes -> SubClass //Normalize ATerm lists to sets final Collection<ATermAppl> assertedAxioms = _kb.getTBox().getAssertedAxioms(); for (final ATermAppl assertedAxiom : assertedAxioms) processAxiom(assertedAxiom); if (PREPROCESS_DOMAINS) //Convert ATermAppl Domains to axioms for (final Entry<ATermAppl, ATermAppl> entry : _roleRestrictions.getDomains().entrySet()) { final ATermAppl roleName = entry.getKey(); final ATermAppl domain = entry.getValue(); createConceptsFromAxiom(ATermUtils.makeSomeValues(roleName, ATermUtils.TOP), domain); } //Convert Reflexive Roles to axioms for (final Role role : _kb.getRBox().getRoles().values()) if (role.isReflexive()) { final ATermAppl range = _roleRestrictions.getRange(role.getName()); if (range == null) continue; createConceptsFromAxiom(ATermUtils.TOP, range); } }
if (role.isReflexive())
if (r.isTransitive()) _expressivity.setHasTransitivity(true); if (r.isReflexive()) _expressivity.setHasReflexivity(true); if (r.isIrreflexive())
if (r.isTransitive()) _expressivity.setHasTransitivity(true); if (r.isReflexive()) _expressivity.setHasReflexivity(true); if (r.isIrreflexive())
if (r.isTransitive()) _expressivity.setHasTransitivity(true); if (r.isReflexive()) _expressivity.setHasReflexivity(true); if (r.isIrreflexive())
if (r.isTransitive()) _expressivity.setHasTransitivity(true); if (r.isReflexive()) _expressivity.setHasReflexivity(true); if (r.isIrreflexive())
default boolean isReflexiveProperty(final ATermAppl p) { if (null == p) return false; final Role role = getRole(p); if (role == null) { Base.handleUndefinedEntity(p + _isNotAnKnowProperty); return false; } if (!role.isObjectRole() || role.isIrreflexive()) return false; else if (role.isReflexive()) { if (doExplanation()) getABox().setExplanation(role.getExplainReflexive()); return true; } ensureConsistency(); final ATermAppl c = ATermUtils.makeTermAppl("_C_"); final ATermAppl notC = ATermUtils.makeNot(c); final ATermAppl test = ATermUtils.makeAnd(c, ATermUtils.makeAllValues(p, notC)); return !getABox().isSatisfiable(test); }
default boolean isReflexiveProperty(final ATermAppl p) { if (null == p) return false; final Role role = getRole(p); if (role == null) { Base.handleUndefinedEntity(p + _isNotAnKnowProperty); return false; } if (!role.isObjectRole() || role.isIrreflexive()) return false; else if (role.isReflexive()) { if (doExplanation()) getABox().setExplanation(role.getExplainReflexive()); return true; } ensureConsistency(); final ATermAppl c = ATermUtils.makeTermAppl("_C_"); final ATermAppl notC = ATermUtils.makeNot(c); final ATermAppl test = ATermUtils.makeAnd(c, ATermUtils.makeAllValues(p, notC)); return !getABox().isSatisfiable(test); }
default boolean isIrreflexiveProperty(final ATermAppl p) { if (null == p) return false; final Role role = getRole(p); if (role == null) { Base.handleUndefinedEntity(p + _isNotAnKnowProperty); return false; } if (!role.isObjectRole() || role.isReflexive()) return false; else if (role.isIrreflexive()) { if (doExplanation()) getABox().setExplanation(role.getExplainIrreflexive()); return true; } else if (role.isAsymmetric()) { if (doExplanation()) getABox().setExplanation(role.getExplainAsymmetric()); return true; } ensureConsistency(); final ATermAppl test = ATermUtils.makeSelf(p); return !getABox().isSatisfiable(test); }
if (role.isAsymmetric() && !invR.isAsymmetric()) invR.setAsymmetric(true, role.getExplainAsymmetric()); if (invR.isReflexive() && !role.isReflexive()) role.setReflexive(true, invR.getExplainReflexive()); if (role.isReflexive() && !invR.isReflexive()) invR.setReflexive(true, role.getExplainReflexive()); if (r.isReflexive() && !r.isAnon()) getReflexiveRoles().add(r);
default boolean isIrreflexiveProperty(final ATermAppl p) { if (null == p) return false; final Role role = getRole(p); if (role == null) { Base.handleUndefinedEntity(p + _isNotAnKnowProperty); return false; } if (!role.isObjectRole() || role.isReflexive()) return false; else if (role.isIrreflexive()) { if (doExplanation()) getABox().setExplanation(role.getExplainIrreflexive()); return true; } else if (role.isAsymmetric()) { if (doExplanation()) getABox().setExplanation(role.getExplainAsymmetric()); return true; } ensureConsistency(); final ATermAppl test = ATermUtils.makeSelf(p); return !getABox().isSatisfiable(test); }
if (role.isAsymmetric() && !invR.isAsymmetric()) invR.setAsymmetric(true, role.getExplainAsymmetric()); if (invR.isReflexive() && !role.isReflexive()) role.setReflexive(true, invR.getExplainReflexive()); if (role.isReflexive() && !invR.isReflexive()) invR.setReflexive(true, role.getExplainReflexive()); if (r.isReflexive() && !r.isAnon()) getReflexiveRoles().add(r);