@Override default boolean isBottomEntity() { return isOWLNothing(); }
public void visit(OWLClass desc) { switch (localityCls) { case BOTTOM_BOTTOM: isBottomEquivalent = desc.isOWLNothing() || (!desc.isOWLThing() && !signature.contains(desc)); break; case TOP_BOTTOM: case TOP_TOP: isBottomEquivalent = desc.isOWLNothing(); 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
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; } }
@Override public void visit(@Nonnull OWLClass owlClass) { if (owlClass.isOWLThing() || owlClass.isOWLNothing()) { // Ignore imported things or owl things return; } addImportedAttribute(owlClass.getIRI()); }
@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)); } }
private void populateDisjointClasses(OWLClass c, OWLReasoner r, Model m) { for (OWLClass d : r.getDisjointClasses(c).getFlattened()) { if (!d.isOWLNothing()) { log.debug("Disjoint class: " + c + ", " + d); m.add(toResource(c), OWL_DISJOINT_WITH, toResource(d)); } } }
@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) {
@Override public void visit(OWLClass desc) { if (desc.isOWLThing()) { write(TOP); } else if (desc.isOWLNothing()) { write(BOTTOM); } else { writeEntity(desc); } }
private ATermAppl owlClassToTerm( 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.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.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))); } }
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 ); } }