Refine search
@Override public void visit(OWLSubClassOfAxiom axiom) { rhs.add(axiom.getSuperClass()); lhs.add(axiom.getSubClass()); }
public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { if (!isFilterSet(UsageFilter.filterNamedSubsSupers) || (!axiom.getSubClass().equals(entity) && !axiom.getSuperClass().equals(entity))) { axiom.getSubClass().asOWLClass().accept(this); } } else { additionalAxioms.add(axiom); usageCount++; } }
@Override public Integer visit(OWLSubClassOfAxiom axiom) { int subClassModalDepth = axiom.getSubClass().accept(this).intValue(); int superClassModalDepth = axiom.getSuperClass().accept(this).intValue(); return Integer.valueOf(Math.max(subClassModalDepth, superClassModalDepth)); }
@Override public Boolean visit(@Nonnull OWLSubClassOfAxiom axiom) { return Boolean .valueOf(checkNegative(axiom.getSubClass()) && checkNegative(axiom.getSuperClass())); }
@Override public Boolean visit(OWLSubClassOfAxiom axiom) { if (axiom.getSubClass().equals(cls())) { isRoot = Boolean.valueOf(check(axiom.getSuperClass())); } return isRoot; }
@Override public Optional<OWLClassExpression> visit(OWLSubClassOfAxiom axiom) { return Optional .of(df.getOWLObjectIntersectionOf(axiom.getSubClass(), df.getOWLObjectComplementOf(axiom .getSuperClass()))); } }
@Override public void visit(OWLSubClassOfAxiom axiom) { axiom.getSubClass().accept(this); axiom.getSuperClass().accept(this); }
@Override public void visit(OWLSubClassOfAxiom axiom) { v(axiom.getSubClass()); v(axiom.getSuperClass()); }
@Override public void visit(OWLSubClassOfAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getSubClass(), RDFS_SUBCLASS_OF.getIRI(), axiom.getSuperClass()); }
@Override public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { getAxiomsForLHS(axiom.getSubClass().asOWLClass()).add(axiom); indexAxiomsByRHSEntities(axiom.getSuperClass(), axiom); } }
@Override public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { getAxiomsForLHS(axiom.getSubClass().asOWLClass()).add(axiom); indexAxiomsByRHSEntities(axiom.getSuperClass(), axiom); } }
@Override public K visit(OWLSubClassOfAxiom axiom) { OWLClassExpression c = sub ? axiom.getSubClass() : axiom.getSuperClass(); if (named && c.isAnonymous()) { return doDefault(axiom); } return (K) c; }
@Override public void visit(OWLSubClassOfAxiom axiom) { if (!axiom.getSubClass().isAnonymous()) { getAxiomsForLHS(axiom.getSubClass().asOWLClass()).add(axiom); indexAxiomsByRHSEntities(axiom.getSuperClass(), axiom); } }
@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) { sb.append("SubClassOf("); writeAnnotations(axiom); axiom.getSubClass().accept(this); insertSpace(); axiom.getSuperClass().accept(this); sb.append(')'); }
public void visit(OWLSubClassOfAxiom node) { node.getSubClass().accept(this); write(" \u2291 "); node.getSuperClass().accept(this); }
@Override public void visit(OWLSubClassOfAxiom axiom) { // A and not (B) OWLClassExpression complement = dataFactory.getOWLObjectComplementOf(axiom.getSuperClass()); desc = dataFactory.getOWLObjectIntersectionOf( CollectionFactory.createSet(axiom.getSubClass(), complement)); }
@Override default int initHashCode() { int hash = hashIndex(); hash = OWLObject.hashIteration(hash, getSubClass().hashCode()); hash = OWLObject.hashIteration(hash, getSuperClass().hashCode()); return OWLObject.hashIteration(hash, annotationsAsList().hashCode()); }
@Override public OWLAxiom visit(OWLSubClassOfAxiom axiom) { return df.getOWLSubClassOfAxiom(axiom.getSubClass().accept(classVisitor), axiom.getSuperClass().accept(classVisitor)); }