public static Boolean isNotOwlThing(@Nonnull OWLClassExpression classExpression) { return !classExpression.isOWLThing(); } }
@Override public boolean containsOWLThing() { for (OWLClassExpression desc : getClassExpressions()) { if (desc.isOWLThing()) { return true; } } return false; }
private boolean occursOnFirstLevel(OWLClassExpression description, OWLClassExpression cls) { return !cls.isOWLThing() && (description instanceof OWLNaryBooleanClassExpression && ((OWLNaryBooleanClassExpression) description).getOperands().contains(cls)); // return description.containsConjunct(cls) || // (description instanceof OWLObjectUnionOf && ((OWLObjectUnionOf) description).getOperands().contains(cls)); }
private boolean occursOnFirstLevel(OWLClassExpression description, OWLClassExpression cls) { if(cls.isOWLThing()) { return false; } return (description instanceof OWLNaryBooleanClassExpression && ((OWLNaryBooleanClassExpression)description).getOperands().contains(cls)); // return description.containsConjunct(cls) || // (description instanceof OWLObjectUnionOf && ((OWLObjectUnionOf) description).getOperands().contains(cls)); }
@Override public Boolean visit(OWLObjectSomeValuesFrom ce) { return Boolean.valueOf(ce.getFiller().isOWLThing()); } };
@Override public Boolean visit(OWLObjectSomeValuesFrom ce) { return Boolean.valueOf(ce.getFiller().isOWLThing()); } };
public Set<OWLClass> getNamedClasses() { if (namedClasses == null) { Set<OWLClass> clses = new HashSet<OWLClass>(1); for (OWLClassExpression desc : getClassExpressions()) { if (!desc.isAnonymous() && !desc.isOWLNothing() && !desc.isOWLThing()) { clses.add(desc.asOWLClass()); } } namedClasses = Collections.unmodifiableSet(clses); } return namedClasses; }
@Override public Boolean visit(OWLObjectSomeValuesFrom ce) { return Boolean.valueOf( ce.getFiller().isOWLThing() || isOWL2RLSubClassExpression(ce.getFiller())); }
@Override public Boolean visit(OWLObjectSomeValuesFrom ce) { return Boolean.valueOf( ce.getFiller().isOWLThing() || isOWL2RLSubClassExpression(ce.getFiller())); }
@Override public Boolean visit(OWLObjectSomeValuesFrom ce) { return Boolean.valueOf( ce.getFiller().isOWLThing() || isOWL2RLSubClassExpression(ce.getFiller())); }
/** * Procedure for deriving a concept description from a TDT classifier * @param model * @return */ public OWLClassExpression deriveDefinition(DLTree model){ OWLClassExpression definition = DLTree.deriveDefinition(model, true); if (definition.isOWLThing()) return dataFactory.getOWLObjectComplementOf(DLTree.deriveDefinition(model, false)); // derive concept definition from the positive instances else return definition; //it is possible to derive the complement concept description by setting the flag to false }
@Override public void visit(OWLObjectSomeValuesFrom ce) { isValidSubClassExpression(ce.getFiller()); is = is || ce.getFiller().isOWLThing(); } @Override
@Override public boolean isQualified() { return getFiller().isAnonymous() || !getFiller().isOWLThing(); }
@Override public Boolean visit(OWLObjectMaxCardinality ce) { return Boolean.valueOf((ce.getCardinality() == 0 || ce.getCardinality() == 1) && (ce.getFiller().isOWLThing() || isOWL2RLSubClassExpression(ce.getFiller()))); } };
@Override public Boolean visit(OWLObjectMaxCardinality ce) { return Boolean.valueOf((ce.getCardinality() == 0 || ce.getCardinality() == 1) && (ce.getFiller().isOWLThing() || isOWL2RLSubClassExpression(ce.getFiller()))); } };
@Override public Boolean visit(OWLObjectMaxCardinality ce) { return Boolean.valueOf((ce.getCardinality() == 0 || ce.getCardinality() == 1) && (ce.getFiller().isOWLThing() || isOWL2RLSubClassExpression(ce.getFiller()))); } };
@Override public void visit(OWLObjectMaxCardinality ce) { is = (ce.getCardinality() == 0 || ce.getCardinality() == 1) && (isValidSubClassExpression(ce.getFiller()) || ce.getFiller().isOWLThing()); } @Override
@Override public OWLClassExpression visit(OWLObjectAllValuesFrom d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (filler.isOWLThing()) return m_factory.getOWLThing(); else return m_factory.getOWLObjectAllValuesFrom(d.getProperty(),filler); } @Override
private boolean isSatisfiable(final OpenlletReasoner pellet, final OWLClassExpression unsatClass, final boolean doExplanation) { pellet.getKB().setDoExplanation(doExplanation); final boolean sat = unsatClass.isOWLThing() ? pellet.isConsistent() : pellet.isSatisfiable(unsatClass); pellet.getKB().setDoExplanation(false); return sat; }
@Override public OWLClassExpression visit(OWLObjectComplementOf d) { OWLClassExpression operandSimplified=getSimplified(d.getOperand()); if (operandSimplified.isOWLThing()) return m_factory.getOWLNothing(); else if (operandSimplified.isOWLNothing()) return m_factory.getOWLThing(); else if (operandSimplified instanceof OWLObjectComplementOf) return ((OWLObjectComplementOf)operandSimplified).getOperand(); else return m_factory.getOWLObjectComplementOf(operandSimplified); } @Override