@Override public boolean containsOWLNothing() { for (OWLClassExpression desc : getClassExpressions()) { if (desc.isOWLNothing()) { return true; } } return false; }
public boolean containsOWLNothing() { for (OWLClassExpression desc : getClassExpressions()) { if (desc.isOWLNothing()) { return true; } } return false; }
@Override public boolean containsOWLNothing() { for (OWLClassExpression desc : getClassExpressions()) { if (desc.isOWLNothing()) { return true; } } return false; }
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 Set<OWLClass> getNamedClasses() { Set<OWLClass> clses = new HashSet<OWLClass>(1); for (OWLClassExpression desc : getClassExpressions()) { if (!desc.isAnonymous() && !desc.isOWLNothing() && !desc.isOWLThing()) { clses.add(desc.asOWLClass()); } } return clses; }
@Override public OWLClassExpression visit(OWLObjectSomeValuesFrom d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (filler.isOWLNothing()) return m_factory.getOWLNothing(); else return m_factory.getOWLObjectSomeValuesFrom(d.getProperty(),filler); } @Override
public OWLClassExpression visit(OWLObjectSomeValuesFrom d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (filler.isOWLNothing()) return m_factory.getOWLNothing(); else return m_factory.getOWLObjectSomeValuesFrom(d.getProperty().getSimplified(),filler); } public OWLClassExpression visit(OWLObjectAllValuesFrom d) {
public void visit(OWLSubClassOfAxiom axiom) { OWLClassExpression sub = axiom.getSubClass(); OWLClassExpression sup = axiom.getSuperClass(); if (sup.isOWLNothing()) result = sub; else if (sub.isOWLThing()) result = not(sup); else result = and(sub, not(sup)); }
@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
@Override public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { source = axiom.getSubClass().asOWLClass(); } if (!axiom.getSuperClass().isOWLNothing()) { OWLClassExpression classExpression = axiom.getSuperClass(); if (!classExpression.isAnonymous()) { target = classExpression.asOWLClass(); } } }
@Override public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { source = axiom.getSubClass().asOWLClass(); } if (!axiom.getSuperClass().isOWLNothing()) { OWLClassExpression classExpression = axiom.getSuperClass(); if (!classExpression.isAnonymous()) { target = classExpression.asOWLClass(); } } }
@Override public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { source = axiom.getSubClass().asOWLClass(); } if (!axiom.getSuperClass().isOWLNothing()) { OWLClassExpression classExpression = axiom.getSuperClass(); if (!classExpression.isAnonymous()) { target = classExpression.asOWLClass(); } } }
@Override public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { source = axiom.getSubClass().asOWLClass(); } if (!axiom.getSuperClass().isOWLNothing()) { OWLClassExpression classExpression = axiom.getSuperClass(); if (!classExpression.isAnonymous()) { target = classExpression.asOWLClass(); } } }
@Override public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { source = axiom.getSubClass().asOWLClass(); } if (!axiom.getSuperClass().isOWLNothing()) { OWLClassExpression classExpression = axiom.getSuperClass(); if (!classExpression.isAnonymous()) { target = classExpression.asOWLClass(); } } }
@Override public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { source = axiom.getSubClass().asOWLClass(); } if (!axiom.getSuperClass().isOWLNothing()) { OWLClassExpression classExpression = axiom.getSuperClass(); if (!classExpression.isAnonymous()) { target = classExpression.asOWLClass(); } } }
@Override public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { source = axiom.getSubClass().asOWLClass(); } if (!axiom.getSuperClass().isOWLNothing()) { OWLClassExpression classExpression = axiom.getSuperClass(); if (!classExpression.isAnonymous()) { target = classExpression.asOWLClass(); } } }
@Override public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { source = axiom.getSubClass().asOWLClass(); } if (!axiom.getSuperClass().isOWLNothing()) { OWLClassExpression classExpression = axiom.getSuperClass(); if (!classExpression.isAnonymous()) { target = classExpression.asOWLClass(); } } }
@Override public OWLClassExpression visit(OWLObjectMaxCardinality d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (filler.isOWLNothing()) return m_factory.getOWLThing(); else if (d.getCardinality()<=0) return m_factory.getOWLObjectAllValuesFrom(d.getProperty(),m_factory.getOWLObjectComplementOf(filler)); else return m_factory.getOWLObjectMaxCardinality(d.getCardinality(),d.getProperty(),filler); } @Override
@Override public OWLClassExpression visit(OWLObjectMinCardinality d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (d.getCardinality()<=0) return m_factory.getOWLThing(); else if (filler.isOWLNothing()) return m_factory.getOWLNothing(); else if (d.getCardinality()==1) return m_factory.getOWLObjectSomeValuesFrom(d.getProperty(),filler); else return m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty(),filler); } @Override
public OWLClassExpression visit(OWLObjectMinCardinality d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (d.getCardinality()<=0) return m_factory.getOWLThing(); else if (filler.isOWLNothing()) return m_factory.getOWLNothing(); else if (d.getCardinality()==1) return m_factory.getOWLObjectSomeValuesFrom(d.getProperty().getSimplified(),filler); else return m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler); } public OWLClassExpression visit(OWLObjectMaxCardinality d) {