private void buildChildren(OWLClassExpression seed) { // Return the axioms that have the entity on the LHS List<OWLAxiom> result = asList(seed.signature().flatMap(this::getAxiomsByLHS)); usedAxioms.addAll(result); rootAxioms.addAll(result); buildChildren(result); }
private void buildChildren(OWLClassExpression seed) { // Return the axioms that have the entity on the LHS List<OWLAxiom> result = asList(seed.signature().flatMap(this::getAxiomsByLHS)); usedAxioms.addAll(result); rootAxioms.addAll(result); buildChildren(result); }
private void buildChildren(OWLClassExpression seed) { // Return the axioms that have the entity on the LHS List<OWLAxiom> result = asList(seed.signature().flatMap(this::getAxiomsByLHS)); usedAxioms.addAll(result); rootAxioms.addAll(result); buildChildren(result); }
private void buildChildren(OWLClassExpression seed) { // Return the axioms that have the entity on the LHS List<OWLAxiom> result = asList(seed.signature().flatMap(this::getAxiomsByLHS)); usedAxioms.addAll(result); rootAxioms.addAll(result); buildChildren(result); }
/** * Checks if all the entities referred in the given concept are also * referred by a logical axiom in the imports closure of the designated * ontology. * * @param classExpression description that contains the entities we are searching for * @return {@code true} if all the entities in the given description are referred by at least * one logical axiom in the imports closure of the given ontology */ public boolean isDefined(OWLClassExpression classExpression) { checkNotNull(classExpression, "classExpression cannot be null"); return !classExpression.signature().anyMatch(e -> !isDefined(e)); }
/** * Checks if all the entities referred in the given concept are also * referred by a logical axiom in the imports closure of the designated * ontology. * * @param classExpression description that contains the entities we are searching for * @return {@code true} if all the entities in the given description are referred by at least * one logical axiom in the imports closure of the given ontology */ public boolean isDefined(OWLClassExpression classExpression) { checkNotNull(classExpression, "classExpression cannot be null"); return !classExpression.signature().anyMatch(e -> !isDefined(e)); }
/** * Checks if all the entities referred in the given concept are also * referred by a logical axiom in the imports closure of the designated * ontology. * * @param classExpression description that contains the entities we are searching for * @return {@code true} if all the entities in the given description are referred by at least * one logical axiom in the imports closure of the given ontology */ public boolean isDefined(OWLClassExpression classExpression) { checkNotNull(classExpression, "classExpression cannot be null"); return !classExpression.signature().anyMatch(e -> !isDefined(e)); }
@Override public Set<OWLEntity> getSeedSignature() { if (axiom instanceof OWLSubClassOfAxiom) { return asSet(((OWLSubClassOfAxiom) axiom).getSubClass().signature()); } else { return asSet(axiom.signature()); } }
@Override public OWLClassExpression visit(OWLObjectAllValuesFrom ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectAllValuesFrom(ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectAllValuesFrom ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectAllValuesFrom(ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectAllValuesFrom ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectAllValuesFrom(ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectExactCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectExactCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectMaxCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectMaxCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectMinCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectMaxCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectMaxCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectExactCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectExactCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectMinCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectExactCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectExactCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectMinCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectMaxCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectMaxCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }