/** * Determine whether a named class occurs on the outermost level of a class expression, i.e. property depth 0 * (it can still be at higher depth, e.g. if intersections are nested in unions) * @param description the class expression * @param cls the named class * @return whether the named class occurs on the outermost level of the class expression */ public static boolean occursOnFirstLevel(OWLClassExpression description, OWLClassExpression cls) { return description.containsConjunct(cls); }
@Override public boolean containsConjunct(OWLClassExpression ce) { if (ce.equals(this)) { return true; } return operands().anyMatch(op -> op.containsConjunct(ce)); } }
@Override public boolean containsConjunct(OWLClassExpression ce) { if (ce.equals(this)) { return true; } for (OWLClassExpression op : getOperands()) { if (op.containsConjunct(ce)) { return true; } } return false; }
@Override public boolean containsConjunct(OWLClassExpression ce) { if (ce.equals(this)) { return true; } return operands().anyMatch(op -> op.containsConjunct(ce)); } }
@Override public boolean containsConjunct(OWLClassExpression ce) { if (ce.equals(this)) { return true; } for (OWLClassExpression op : getOperands()) { if (op.containsConjunct(ce)) { return true; } } return false; } }
@Override public boolean containsConjunct(OWLClassExpression ce) { if (ce.equals(this)) { return true; } return operands().anyMatch(op -> op.containsConjunct(ce)); } }
@Override public boolean containsConjunct(OWLClassExpression ce) { if (ce.equals(this)) { return true; } return operands().anyMatch(op -> op.containsConjunct(ce)); } }
@Override public boolean containsConjunct(OWLClassExpression ce) { if(ce.equals(this)) { return true; } for(OWLClassExpression op : getOperands()) { if(op.containsConjunct(ce)) { return true; } } return false; } }
@Override public boolean containsConjunct(OWLClassExpression ce) { if (ce.equals(this)) { return true; } for (OWLClassExpression op : getOperands()) { if (op.containsConjunct(ce)) { return true; } } return false; } }
/** * To get all the instances of Scope in this configuration * * @param config * @return */ public static String[] getScopes(OWLOntology config) { Set<OWLIndividual> scopes = cScope.getIndividuals(config); List<String> result = new ArrayList<String>(); for (OWLIndividual iScope : scopes) { for (OWLClassExpression sce : iScope.getTypes(config)) { if (sce.containsConjunct(cScope)) { if (iScope.isNamed()) { result.add(((OWLNamedIndividual) iScope).getIRI().toString()); } } } } return result.toArray(EMPTY_IRI_ARRAY); }
/** * To get all the instances of Scope in this configuration * * @param config * @return */ public static String[] getScopes(OWLOntology config) { Set<OWLIndividual> scopes = cScope.getIndividuals(config); List<String> result = new ArrayList<String>(); for (OWLIndividual iScope : scopes) { for (OWLClassExpression sce : iScope.getTypes(config)) { if (sce.containsConjunct(cScope)) { if (iScope.isNamed()) { result.add(((OWLNamedIndividual) iScope).getIRI().toString()); } } } } return result.toArray(EMPTY_IRI_ARRAY); }
/** * To get all the instances of Scope in this configuration * * @param config * @return */ public static String[] getScopes(OWLOntology config) { Set<OWLIndividual> scopes = cScope.getIndividuals(config); List<String> result = new ArrayList<String>(); for (OWLIndividual iScope : scopes) { for (OWLClassExpression sce : iScope.getTypes(config)) { if (sce.containsConjunct(cScope)) { if (iScope.isNamed()) { result.add(((OWLNamedIndividual) iScope).getIRI() .toString()); } } } } return result.toArray(EMPTY_IRI_ARRAY); }
@Override public Collection<OWLClass> getChildren(OWLClass parent) { Collection<OWLClass> result = new HashSet<>(); for (OWLAxiom ax : asUnorderedSet( getRootOntology().referencingAxioms(parent, INCLUDED))) { if (ax instanceof OWLSubClassOfAxiom) { OWLSubClassOfAxiom sca = (OWLSubClassOfAxiom) ax; if (!sca.getSubClass().isAnonymous()) { Set<OWLClassExpression> conjuncts = sca.getSuperClass().asConjunctSet(); if (conjuncts.contains(parent)) { result.add(sca.getSubClass().asOWLClass()); } } } else if (ax instanceof OWLEquivalentClassesAxiom) { OWLEquivalentClassesAxiom eca = (OWLEquivalentClassesAxiom) ax; eca.classExpressions().filter(ce -> ce.containsConjunct(parent)) .forEach(ce -> eca .classExpressions().forEach(sub -> { if (!sub.isAnonymous() && !sub.equals(ce)) { result.add(sub.asOWLClass()); } })); } } return result; } }
@Override public Collection<OWLClass> getChildren(OWLClass parent) { Collection<OWLClass> result = new HashSet<>(); for (OWLAxiom ax : asUnorderedSet( getRootOntology().referencingAxioms(parent, INCLUDED))) { if (ax instanceof OWLSubClassOfAxiom) { OWLSubClassOfAxiom sca = (OWLSubClassOfAxiom) ax; if (!sca.getSubClass().isAnonymous()) { Set<OWLClassExpression> conjuncts = sca.getSuperClass().asConjunctSet(); if (conjuncts.contains(parent)) { result.add(sca.getSubClass().asOWLClass()); } } } else if (ax instanceof OWLEquivalentClassesAxiom) { OWLEquivalentClassesAxiom eca = (OWLEquivalentClassesAxiom) ax; eca.classExpressions().filter(ce -> ce.containsConjunct(parent)) .forEach(ce -> eca .classExpressions().forEach(sub -> { if (!sub.isAnonymous() && !sub.equals(ce)) { result.add(sub.asOWLClass()); } })); } } return result; } }
@Override public Collection<OWLClass> getChildren(OWLClass parent) { Collection<OWLClass> result = new HashSet<>(); for (OWLAxiom ax : asUnorderedSet( getRootOntology().referencingAxioms(parent, INCLUDED))) { if (ax instanceof OWLSubClassOfAxiom) { OWLSubClassOfAxiom sca = (OWLSubClassOfAxiom) ax; if (!sca.getSubClass().isAnonymous()) { Set<OWLClassExpression> conjuncts = sca.getSuperClass().asConjunctSet(); if (conjuncts.contains(parent)) { result.add(sca.getSubClass().asOWLClass()); } } } else if (ax instanceof OWLEquivalentClassesAxiom) { OWLEquivalentClassesAxiom eca = (OWLEquivalentClassesAxiom) ax; eca.classExpressions().filter(ce -> ce.containsConjunct(parent)) .forEach(ce -> eca .classExpressions().forEach(sub -> { if (!sub.isAnonymous() && !sub.equals(ce)) { result.add(sub.asOWLClass()); } })); } } return result; } }
@Override public Collection<OWLClass> getChildren(OWLClass parent) { Collection<OWLClass> result = new HashSet<>(); for (OWLAxiom ax : asUnorderedSet( getRootOntology().referencingAxioms(parent, INCLUDED))) { if (ax instanceof OWLSubClassOfAxiom) { OWLSubClassOfAxiom sca = (OWLSubClassOfAxiom) ax; if (!sca.getSubClass().isAnonymous()) { Set<OWLClassExpression> conjuncts = sca.getSuperClass().asConjunctSet(); if (conjuncts.contains(parent)) { result.add(sca.getSubClass().asOWLClass()); } } } else if (ax instanceof OWLEquivalentClassesAxiom) { OWLEquivalentClassesAxiom eca = (OWLEquivalentClassesAxiom) ax; eca.classExpressions().filter(ce -> ce.containsConjunct(parent)) .forEach(ce -> eca .classExpressions().forEach(sub -> { if (!sub.isAnonymous() && !sub.equals(ce)) { result.add(sub.asOWLClass()); } })); } } return result; } }
public Collection<OWLClass> getChildren(OWLClass parent) { Collection<OWLClass> result = new HashSet<OWLClass>(); for (OWLOntology ont : getRootOntology().getImportsClosure()) { for (OWLAxiom ax : ont.getReferencingAxioms(parent)) { if (ax instanceof OWLSubClassOfAxiom) { OWLSubClassOfAxiom sca = (OWLSubClassOfAxiom) ax; if (!sca.getSubClass().isAnonymous()) { Set<OWLClassExpression> conjuncts = sca.getSuperClass().asConjunctSet(); if (conjuncts.contains(parent)) { result.add(sca.getSubClass().asOWLClass()); } } } else if (ax instanceof OWLEquivalentClassesAxiom) { OWLEquivalentClassesAxiom eca = (OWLEquivalentClassesAxiom) ax; for (OWLClassExpression ce : eca.getClassExpressions()) { if (ce.containsConjunct(parent)) { for (OWLClassExpression sub : eca.getClassExpressions()) { if (!sub.isAnonymous() && !sub.equals(ce)) { result.add(sub.asOWLClass()); } } } } } } } return result; } }
public Collection<OWLClass> getChildren(OWLClass parent) { Collection<OWLClass> result = new HashSet<OWLClass>(); for (OWLOntology ont : getRootOntology().getImportsClosure()) { for (OWLAxiom ax : ont.getReferencingAxioms(parent)) { if (ax instanceof OWLSubClassOfAxiom) { OWLSubClassOfAxiom sca = (OWLSubClassOfAxiom) ax; if (!sca.getSubClass().isAnonymous()) { Set<OWLClassExpression> conjuncts = sca.getSuperClass().asConjunctSet(); if (conjuncts.contains(parent)) { result.add(sca.getSubClass().asOWLClass()); } } } else if (ax instanceof OWLEquivalentClassesAxiom) { OWLEquivalentClassesAxiom eca = (OWLEquivalentClassesAxiom) ax; for (OWLClassExpression ce : eca.getClassExpressions()) { if (ce.containsConjunct(parent)) { for (OWLClassExpression sub : eca.getClassExpressions()) { if (!sub.isAnonymous() && !sub.equals(ce)) { result.add(sub.asOWLClass()); } } } } } } } return result; } }
OWLEquivalentClassesAxiom eca = (OWLEquivalentClassesAxiom) ax; for (OWLClassExpression ce : eca.getClassExpressions()) { if (ce.containsConjunct(parent)) { for (OWLClassExpression sub : eca.getClassExpressions()) { if (!sub.isAnonymous() && !sub.equals(ce)) {
OWLEquivalentClassesAxiom eca = (OWLEquivalentClassesAxiom) ax; for (OWLClassExpression ce : eca.getClassExpressions()) { if (ce.containsConjunct(parent)) { for (OWLClassExpression sub : eca.getClassExpressions()) { if (!sub.isAnonymous() && !sub.equals(ce)) {