@Override public void visit(OWLClass ce) { is = !ce.isOWLThing(); } @Override
@Override public void visit(OWLClass ce) { is = !ce.isOWLThing(); } @Override
public void visit(OWLClass exp) { //checked //An OWLClass is never locally top unless it's top isTop = exp.isOWLThing(); canMakeTop = isTop; solutions = new LinkedList<Set<OWLEntity>>(); }
@Override public Boolean visit(OWLClass ce) { return Boolean.valueOf(!ce.isOWLThing()); }
public void visit(OWLClass desc) { switch (localityCls) { case BOTTOM_BOTTOM: isTopEquivalent = desc.isOWLThing(); break; case TOP_BOTTOM: case TOP_TOP: isTopEquivalent = desc.isOWLThing() || (!desc.isOWLNothing() && !signature.contains(desc)); break; } }
public Boolean visit(OWLClass object) { if (object.isOWLThing()) return Boolean.FALSE; else if (object.isOWLNothing()) return Boolean.FALSE; else return Boolean.TRUE; } public Boolean visit(OWLObjectIntersectionOf object) {
@Override public Boolean visit(OWLClass object) { if (object.isOWLThing()) return Boolean.FALSE; else if (object.isOWLNothing()) return Boolean.FALSE; else return Boolean.TRUE; } @Override
@Override public void visit(OWLClass cls) { if(cls.isOWLThing()){ fuzzyConcept = Concept.CONCEPT_TOP; } else if(cls.isOWLNothing()){ fuzzyConcept = Concept.CONCEPT_BOTTOM; } else { fuzzyConcept = new Concept(fuzzyOwl2.getClassName(cls)); } }
@Override public void visit(OWLClass ce) { if (ce.isOWLThing()) { write(TOP); } else if (ce.isOWLNothing()) { write(BOTTOM); } else { writeEntity(ce); } }
@Override public void visit(OWLClass ce) { if (ce.isOWLThing()) { write(TOP); } else if (ce.isOWLNothing()) { write(BOTTOM); } else { writeEntity(ce); } }
@Override public OWLClassExpression visit(OWLClass d) { if (d.isOWLThing()) return m_factory.getOWLNothing(); if (d.isOWLNothing()) return m_factory.getOWLThing(); return m_factory.getOWLObjectComplementOf(d); } @Override
public void visit(OWLClass desc) { if (desc.isOWLThing()) { write(TOP); } else if (desc.isOWLNothing()) { write(BOTTOM); } else { writeEntity(desc); } }
@Override public void visit(OWLClass ce) { if (ce.isOWLThing()) { write(TOP); } else if (ce.isOWLNothing()) { write(BOTTOM); } else { writeEntity(ce); } }
public OWLClassExpression visit(OWLClass d) { if (d.isOWLThing()) return m_factory.getOWLNothing(); if (d.isOWLNothing()) return m_factory.getOWLThing(); return m_factory.getOWLObjectComplementOf(d); } public OWLClassExpression visit(OWLObjectIntersectionOf d) {
private static ATermAppl owlClassToTerm(final OWLClass c) { if (c.isOWLThing()) return ATermUtils.TOP; else if (c.isOWLNothing()) return ATermUtils.BOTTOM; else return ATermUtils.makeTermAppl(c.getIRI().toString()); }
@Override public void visit(OWLClass ce) { if (ce.isOWLThing()) { write(TOP); } else if (ce.isOWLNothing()) { write(BOTTOM); } else { writeEntity(ce); } }
@Override public void visit(OWLClass ce) { if (ce.isOWLNothing()) { this.body.makeFalse(); } else if (ce.isOWLThing()) { this.body.init(); } else { Predicate predicate = OwlToRulesConversionHelper.getClassPredicate(ce); this.body.add(new AtomImpl(predicate, Arrays.asList(this.mainTerm))); } }
@Override public void visit(OWLClass ce) { if (ce.isOWLNothing()) { this.head.makeFalse(); } else if (ce.isOWLThing()) { this.head.init(); } else { Predicate predicate = OwlToRulesConversionHelper.getClassPredicate(ce); this.head.add(new AtomImpl(predicate, Arrays.asList(this.mainTerm))); } }
protected List<OWLOntologyChange> dofurtherCreateSteps(OWLIndividual newIndividual) { OWLClass cls = getOWLWorkspace().getOWLSelectionModel().getLastSelectedClass(); if (cls != null && !cls.isOWLThing()) { OWLAxiom typeAxiom = getOWLModelManager().getOWLDataFactory().getOWLClassAssertionAxiom(cls, newIndividual); OWLOntologyChange change = new AddAxiom(getOWLModelManager().getActiveOntology(), typeAxiom); return Collections.singletonList(change); } return new ArrayList<>(); }
public void visit(OWLClass c) { if( c.isOWLThing() ) term = ATermUtils.TOP; else if( c.isOWLNothing() ) term = ATermUtils.BOTTOM; else term = ATermUtils.makeTermAppl( c.getIRI().toString() ); if( addAxioms ) { kb.addClass( term ); } }