@Override protected Set<OWLClass> getEntitiesInSignature(OWLAxiom ax) { return ax.getClassesInSignature(); }
@Override protected Set<OWLClass> getEntitiesInSignature(OWLAxiom ax) { return ax.getClassesInSignature(); }
@Override protected Set<OWLClass> getEntitiesInSignature(OWLAxiom ax) { return ax.getClassesInSignature(); }
@Override protected Set<OWLClass> getEntitiesInSignature(OWLAxiom ax) { return ax.getClassesInSignature(); }
public OWLAxiom rename(OWLAxiom axiom){ Map<OWLEntity, OWLEntity> renaming = new HashMap<>(); expressionRenamer = new OWLClassExpressionRenamer(df, renaming); boolean multipleClasses = axiom.getClassesInSignature().size() > 1; expressionRenamer.setMultipleClasses(multipleClasses); axiom.accept(this); return renamedAxiom; }
if (fragmentVisitor.isInFragment()){ lSignatureModule.add(axiom); classesInvisibleInL.removeAll(axiom.getClassesInSignature());
if (fragmentVisitor.isInFragment()){ lSignatureModule.add(axiom); classesInvisibleInL.removeAll(axiom.getClassesInSignature());
if (fragmentVisitor.isInFragment()){ lSignatureModule.add(axiom); classesInvisibleInL.removeAll(axiom.getClassesInSignature());
if (a instanceof OWLClassAxiom) { boolean overlapsSignature = false; for (OWLClass c : a.getClassesInSignature()) { if (ontologyEntities.contains(c)) { overlapsSignature = true;
for (OWLAxiom ax: axioms) { Set<OWLClass> classes= ax.getClassesInSignature(); Set<OWLObjectProperty> oprops = ax.getObjectPropertiesInSignature(); Set<OWLDataProperty> dprops = ax.getDataPropertiesInSignature();
for (OWLAxiom ax: axioms) { Set<OWLClass> classes= ax.getClassesInSignature(); Set<OWLObjectProperty> oprops = ax.getObjectPropertiesInSignature(); Set<OWLDataProperty> dprops = ax.getDataPropertiesInSignature();