@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 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; }
/** * {@inheritDoc} */ public NodeSet<OWLClass> getTypes(OWLNamedIndividual ind, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { reasoner.flush(); realize(); OWLClassNodeSet types = new OWLClassNodeSet(); for( Set<OWLClass> t : TaxonomyUtils.getTypes( taxonomy, ind, direct ) ) { //Set<OWLClass> eqSet = ATermUtils.primitiveOrBottom( t ); //if( !eqSet.isEmpty() ) types.addNode( new OWLClassNode( t ) ); } return types; }
/** * {@inheritDoc} */ @Override public NodeSet<OWLClass> getTypes(final OWLNamedIndividual ind, final boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { _reasoner.flush(); realize(); final OWLClassNodeSet types = new OWLClassNodeSet(); for (final Set<OWLClass> t : TaxonomyUtils.getTypes(_taxonomyImpl, ind, direct)) //Set<OWLClass> eqSet = ATermUtils.primitiveOrBottom( t ); //if( !eqSet.isEmpty() ) types.addNode(new OWLClassNode(t)); return types; }
/** * {@inheritDoc} */ @Override public NodeSet<OWLClass> getTypes(final OWLNamedIndividual ind, final boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { _reasoner.flush(); realize(); final OWLClassNodeSet types = new OWLClassNodeSet(); for (final Set<OWLClass> t : TaxonomyUtils.getTypes(_taxonomyImpl, ind, direct)) //Set<OWLClass> eqSet = ATermUtils.primitiveOrBottom( t ); //if( !eqSet.isEmpty() ) types.addNode(new OWLClassNode(t)); return types; }
@Nonnull @Override public NodeSet<OWLClass> getDisjointClasses(@Nonnull OWLClassExpression ce) { ensurePrepared(); OWLClassNodeSet nodeSet = new OWLClassNodeSet(); if (!ce.isAnonymous()) { for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLDisjointClassesAxiom ax : ontology.getDisjointClassesAxioms(ce.asOWLClass())) { for (OWLClassExpression op : ax.getClassExpressions()) { if (!op.isAnonymous()) { nodeSet.addNode(getEquivalentClasses(op)); } } } } } return nodeSet; }
@Override public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression ce) throws ReasonerInterruptedException, TimeOutException, FreshEntitiesException, InconsistentOntologyException { LogOutput.printNotSupported("Not supported: getDisjointClasses. Returning explicit disjoint classes."); //return null; OWLClassNodeSet nodeSet = new OWLClassNodeSet(); if (!ce.isAnonymous()) { for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLDisjointClassesAxiom ax : ontology.getDisjointClassesAxioms(ce.asOWLClass())) { for (OWLClassExpression op : ax.getClassExpressions()) { if (!op.isAnonymous() && !op.equals(ce)) { //Op must be differnt to ce nodeSet.addNode(getEquivalentClasses(op)); } } } } } return nodeSet; }
public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression ce, boolean direct) { OWLClassNodeSet nodeSet = new OWLClassNodeSet(); if (!ce.isAnonymous()) { for(OWLOntology ontology : getRootOntology().getImportsClosure()) { for(OWLDisjointClassesAxiom ax : ontology.getDisjointClassesAxioms(ce.asOWLClass())) { for(OWLClassExpression op : ax.getClassExpressions()) { if(!op.isAnonymous()) { nodeSet.addNode(getEquivalentClasses(op)); } } } } } return nodeSet; }
public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression ce) { ensurePrepared(); OWLClassNodeSet nodeSet = new OWLClassNodeSet(); if (!ce.isAnonymous()) { for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLDisjointClassesAxiom ax : ontology.getDisjointClassesAxioms(ce.asOWLClass())) { for (OWLClassExpression op : ax.getClassExpressions()) { if (!op.isAnonymous()) { nodeSet.addNode(getEquivalentClasses(op)); } } } } } return nodeSet; }
public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression ce) { ensurePrepared(); OWLClassNodeSet nodeSet = new OWLClassNodeSet(); if (!ce.isAnonymous()) { for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLDisjointClassesAxiom ax : ontology.getDisjointClassesAxioms(ce.asOWLClass())) { for (OWLClassExpression op : ax.getClassExpressions()) { if (!op.isAnonymous()) { nodeSet.addNode(getEquivalentClasses(op)); } } } } } return nodeSet; }