@Nonnull @Override public Node<OWLClass> getEquivalentClasses(@Nonnull OWLClassExpression ce) throws InconsistentOntologyException, ClassExpressionNotInProfileException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return structuralReasoner.getEquivalentClasses(ce); }
@Nonnull @Override public Node<OWLClass> getEquivalentClasses(@Nonnull OWLClassExpression ce) throws InconsistentOntologyException, ClassExpressionNotInProfileException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return structuralReasoner.getEquivalentClasses(ce); }
private void dumpClassHierarchy(Node<OWLClass> cls, int level, boolean showBottomNode) { if (!showBottomNode && cls.isBottomNode()) { return; } printIndent(level); OWLClass representative = cls.getRepresentativeElement(); System.out.println(getEquivalentClasses(representative)); for (Node<OWLClass> subCls : getSubClasses(representative, true)) { dumpClassHierarchy(subCls, level + 1, showBottomNode); } }
private void dumpClassHierarchy(Node<OWLClass> cls, int level, boolean showBottomNode) { if (!showBottomNode && cls.isBottomNode()) { return; } printIndent(level); OWLClass representative = cls.getRepresentativeElement(); System.out.println(getEquivalentClasses(representative)); for (Node<OWLClass> subCls : getSubClasses(representative, true)) { dumpClassHierarchy(subCls, level + 1, showBottomNode); } }
private void dumpClassHierarchy(Node<OWLClass> cls, int level, boolean showBottomNode) { if (!showBottomNode && cls.isBottomNode()) { return; } printIndent(level); OWLClass representative = cls.getRepresentativeElement(); System.out.println(getEquivalentClasses(representative)); for (Node<OWLClass> subCls : getSubClasses(representative, true)) { dumpClassHierarchy(subCls, level + 1, showBottomNode); } }
protected void addClasses(boolean direct, DefaultNodeSet<OWLClass> result, OWLClassExpression domain) { result.addNode(getEquivalentClasses(domain)); if (!direct) { result.addAllNodes(getSuperClasses(domain, false).nodes()); } }
private void dumpClassHierarchy(Node<OWLClass> cls, int level, boolean showBottomNode) { if (!showBottomNode && cls.isBottomNode()) { return; } printIndent(level); OWLClass representative = cls.getRepresentativeElement(); System.out.println(getEquivalentClasses(representative)); for (Node<OWLClass> subCls : getSubClasses(representative, true)) { dumpClassHierarchy(subCls, level + 1, showBottomNode); } }
private void dumpClassHierarchy(Node<OWLClass> cls, int level, boolean showBottomNode) { if (!showBottomNode && cls.isBottomNode()) { return; } printIndent(level); OWLClass representative = cls.getRepresentativeElement(); System.out.println(getEquivalentClasses(representative)); for (Node<OWLClass> subCls : getSubClasses(representative, true)) { dumpClassHierarchy(subCls, level + 1, showBottomNode); } }
private void dumpClassHierarchy(Node<OWLClass> cls, int level, boolean showBottomNode) { if (!showBottomNode && cls.isBottomNode()) { return; } printIndent(level); OWLClass representative = cls.getRepresentativeElement(); System.out.println(getEquivalentClasses(representative)); for (Node<OWLClass> subCls : getSubClasses(representative, true)) { dumpClassHierarchy(subCls, level + 1, showBottomNode); } }
protected void addClasses(boolean direct, DefaultNodeSet<OWLClass> result, OWLClassExpression domain) { result.addNode(getEquivalentClasses(domain)); if (!direct) { result.addAllNodes(getSuperClasses(domain, false).nodes()); } }
protected void addClasses(boolean direct, DefaultNodeSet<OWLClass> result, OWLClassExpression domain) { result.addNode(getEquivalentClasses(domain)); if (!direct) { result.addAllNodes(getSuperClasses(domain, false).nodes()); } }
protected void addClasses(boolean direct, DefaultNodeSet<OWLClass> result, OWLClassExpression domain) { result.addNode(getEquivalentClasses(domain)); if (!direct) { result.addAllNodes(getSuperClasses(domain, false).nodes()); } }
@Override public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression ce) { ensurePrepared(); OWLClassNodeSet nodeSet = new OWLClassNodeSet(); if (ce.isAnonymous()) { return nodeSet; } getRootOntology().importsClosure().flatMap(o -> o.disjointClassesAxioms(ce.asOWLClass())) .flatMap(ax -> ax .classExpressions()).filter(op -> !op.isAnonymous()) .forEach(op -> nodeSet.addNode(getEquivalentClasses( op))); return nodeSet; }
@Override public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression ce) { ensurePrepared(); OWLClassNodeSet nodeSet = new OWLClassNodeSet(); if (ce.isAnonymous()) { return nodeSet; } getRootOntology().importsClosure().flatMap(o -> o.disjointClassesAxioms(ce.asOWLClass())) .flatMap(ax -> ax .classExpressions()).filter(op -> !op.isAnonymous()) .forEach(op -> nodeSet.addNode(getEquivalentClasses( op))); return nodeSet; }
@Override public boolean isSatisfiable(OWLClassExpression classExpression) { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()) .contains( getDataFactory().getOWLNothing()); }
@Override public boolean isSatisfiable(OWLClassExpression classExpression) { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()) .contains( getDataFactory().getOWLNothing()); }
@Override public boolean isSatisfiable(OWLClassExpression classExpression) { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()) .contains( getDataFactory().getOWLNothing()); }
@Override public boolean isSatisfiable(OWLClassExpression classExpression) { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()) .contains( getDataFactory().getOWLNothing()); }
public NodeSet<OWLClass> getDataPropertyDomains(OWLDataProperty pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLDataPropertyDomainAxiom axiom : ontology.getDataPropertyDomainAxioms(pe)) { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).getNodes()); } } } return result; }
public NodeSet<OWLClass> getDataPropertyDomains(OWLDataProperty pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { ensurePrepared(); DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLDataPropertyDomainAxiom axiom : ontology.getDataPropertyDomainAxioms(pe)) { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).getNodes()); } } } return result; }