private void deferAxiom(final OWLIndividualAxiom axiom) { _isDeferred = true; axiom.accept(_queryVisitor); }
private void deferAxiom(final OWLIndividualAxiom axiom) { _isDeferred = true; axiom.accept(_queryVisitor); }
private void deferAxiom(final OWLIndividualAxiom axiom) { _isDeferred = true; axiom.accept(_queryVisitor); }
private void deferAxiom(OWLIndividualAxiom axiom) { isDeferred = true; axiom.accept( queryVisitor ); }
private void deferAxiom(OWLIndividualAxiom axiom) { isDeferred = true; axiom.accept( queryVisitor ); }
@SuppressWarnings("static-method") public ElkAssertionAxiom convert(OWLIndividualAxiom owlIndividualAxiom) { return owlIndividualAxiom.accept(OWL_INDIVIDUAL_AXIOM_CONVERTER); }
@SuppressWarnings("static-method") public ElkAssertionAxiom convert(OWLIndividualAxiom owlIndividualAxiom) { return owlIndividualAxiom.accept(OWL_INDIVIDUAL_AXIOM_CONVERTER); }
@SuppressWarnings("static-method") public ElkAssertionAxiom convert(OWLIndividualAxiom owlIndividualAxiom) { return owlIndividualAxiom.accept(OWL_INDIVIDUAL_AXIOM_CONVERTER); }
/** * @param axioms axioms */ public void clausify(OWLIndividualAxiom... axioms) { m_positiveFacts.clear(); m_negativeFacts.clear(); for (OWLIndividualAxiom fact : axioms) fact.accept(this); } /**
public void clausify(OWLIndividualAxiom... axioms) { m_positiveFacts.clear(); m_negativeFacts.clear(); for (OWLIndividualAxiom fact : axioms) fact.accept(this); } public Set<Atom> getPositiveFacts() {
private void processIfAnonymous(OWLIndividual ind, @Nullable OWLAxiom root) { if (!currentIndividuals.contains(ind)) { currentIndividuals.add(ind); if (ind.isAnonymous()) { ont.axioms(ind).sorted().filter(ax -> root == null || !root.equals(ax)) .forEach(ax -> ax.accept(this)); ont.annotationAssertionAxioms(ind.asOWLAnonymousIndividual()).sorted() .forEach(ax -> ax.accept(this)); } currentIndividuals.remove(ind); } }
private void processIfAnonymous(OWLIndividual ind, @Nullable OWLAxiom root) { if (!currentIndividuals.contains(ind)) { currentIndividuals.add(ind); if (ind.isAnonymous()) { ont.axioms(ind).sorted().filter(ax -> root == null || !root.equals(ax)) .forEach(ax -> ax.accept(this)); ont.annotationAssertionAxioms(ind.asOWLAnonymousIndividual()).sorted() .forEach(ax -> ax.accept(this)); } currentIndividuals.remove(ind); } }
private void processIfAnonymous(OWLIndividual ind, @Nullable OWLAxiom root) { if (!currentIndividuals.contains(ind)) { currentIndividuals.add(ind); if (ind.isAnonymous()) { ont.axioms(ind).sorted().filter(ax -> root == null || !root.equals(ax)) .forEach(ax -> ax.accept(this)); ont.annotationAssertionAxioms(ind.asOWLAnonymousIndividual()).sorted() .forEach(ax -> ax.accept(this)); } currentIndividuals.remove(ind); } }
private void processIfAnonymous(OWLIndividual ind, @Nullable OWLAxiom root) { if (!currentIndividuals.contains(ind)) { currentIndividuals.add(ind); if (ind.isAnonymous()) { ont.axioms(ind).sorted().filter(ax -> root == null || !root.equals(ax)) .forEach(ax -> ax.accept(this)); ont.annotationAssertionAxioms(ind.asOWLAnonymousIndividual()).sorted() .forEach(ax -> ax.accept(this)); } currentIndividuals.remove(ind); } }
private void processIfAnonymous(OWLIndividual ind) { if (!currentIndividuals.contains(ind)) { currentIndividuals.add(ind); if (ind.isAnonymous()) { ont.axioms(ind).sorted().forEach(ax -> ax.accept(this)); ont.annotationAssertionAxioms(ind.asOWLAnonymousIndividual()).sorted() .forEach(ax -> ax.accept(this)); } currentIndividuals.remove(ind); } }
private void processIfAnonymous(OWLIndividual ind) { if (!currentIndividuals.contains(ind)) { currentIndividuals.add(ind); if (ind.isAnonymous()) { ont.axioms(ind).sorted().forEach(ax -> ax.accept(this)); ont.annotationAssertionAxioms(ind.asOWLAnonymousIndividual()).sorted() .forEach(ax -> ax.accept(this)); } currentIndividuals.remove(ind); } }
private void processIfAnonymous(OWLIndividual ind) { if (!currentIndividuals.contains(ind)) { currentIndividuals.add(ind); if (ind.isAnonymous()) { ont.axioms(ind).sorted().forEach(ax -> ax.accept(this)); ont.annotationAssertionAxioms(ind.asOWLAnonymousIndividual()).sorted() .forEach(ax -> ax.accept(this)); } currentIndividuals.remove(ind); } }
private void processIfAnonymous(OWLIndividual ind) { if (!currentIndividuals.contains(ind)) { currentIndividuals.add(ind); if (ind.isAnonymous()) { ont.axioms(ind).sorted().forEach(ax -> ax.accept(this)); ont.annotationAssertionAxioms(ind.asOWLAnonymousIndividual()).sorted() .forEach(ax -> ax.accept(this)); } currentIndividuals.remove(ind); } }
/** * @param axioms axioms */ public OWLAxiomsExpressivity(OWLAxioms axioms) { axioms.m_conceptInclusions.forEach(c->c.forEach(d->d.accept(this))); for (List<OWLObjectPropertyExpression> inclusion : axioms.m_simpleObjectPropertyInclusions) { visitProperty(inclusion.get(0)); visitProperty(inclusion.get(1)); } for (OWLAxioms.ComplexObjectPropertyInclusion inclusion : axioms.m_complexObjectPropertyInclusions) { for (OWLObjectPropertyExpression subObjectProperty : inclusion.m_subObjectProperties) visitProperty(subObjectProperty); visitProperty(inclusion.m_superObjectProperty); } axioms.m_disjointObjectProperties.forEach(c->c.forEach(this::visitProperty)); for (OWLObjectPropertyExpression property : axioms.m_reflexiveObjectProperties) visitProperty(property); for (OWLObjectPropertyExpression property : axioms.m_irreflexiveObjectProperties) visitProperty(property); for (OWLObjectPropertyExpression property : axioms.m_asymmetricObjectProperties) visitProperty(property); if (!axioms.m_dataProperties.isEmpty() || !axioms.m_disjointDataProperties.isEmpty() || !axioms.m_dataPropertyInclusions.isEmpty() || !axioms.m_dataRangeInclusions.isEmpty() || !axioms.m_definedDatatypesIRIs.isEmpty()) m_hasDatatypes=true; for (OWLIndividualAxiom fact : axioms.m_facts) fact.accept(this); }
@Override public void visit(OWLNamedIndividual individual) { if(!visitedIndividuals.contains(individual)){ visitedIndividuals.add(individual); currentDepth++; Set<OWLIndividualAxiom> axioms = ontology.getAxioms(individual, Imports.INCLUDED); for (OWLIndividualAxiom ax : axioms) { ax.accept(this); } currentDepth--; // handle punning if enabled if(allowPunning && punningClasses.contains(individual.getIRI())){ boolean inTBoxBefore = inTBox; inTBox = true; new OWLClassImpl(individual.getIRI()).accept(this); inTBox = inTBoxBefore; } } }