@Override public NodeSet<OWLDataProperty> getDisjointDataProperties(OWLDataPropertyExpression pe) { ensurePrepared(); DefaultNodeSet<OWLDataProperty> result = new OWLDataPropertyNodeSet(); getRootOntology().importsClosure() .flatMap(o -> o.disjointDataPropertiesAxioms(pe.asOWLDataProperty())).forEach( axiom -> { for (OWLDataPropertyExpression dpe : axiom.getPropertiesMinus(pe)) { if (!dpe.isAnonymous()) { result.addNode( dataPropertyHierarchyInfo.getEquivalents(dpe.asOWLDataProperty())); result.addAllNodes( getSubDataProperties(dpe.asOWLDataProperty(), false).nodes()); } } }); return result; }
@Override public NodeSet<OWLDataProperty> getDisjointDataProperties(OWLDataPropertyExpression pe) { ensurePrepared(); DefaultNodeSet<OWLDataProperty> result = new OWLDataPropertyNodeSet(); getRootOntology().importsClosure() .flatMap(o -> o.disjointDataPropertiesAxioms(pe.asOWLDataProperty())).forEach( axiom -> { for (OWLDataPropertyExpression dpe : axiom.getPropertiesMinus(pe)) { if (!dpe.isAnonymous()) { result.addNode( dataPropertyHierarchyInfo.getEquivalents(dpe.asOWLDataProperty())); result.addAllNodes( getSubDataProperties(dpe.asOWLDataProperty(), false).nodes()); } } }); return result; }
@Override public NodeSet<OWLDataProperty> getDisjointDataProperties(OWLDataPropertyExpression pe) { ensurePrepared(); DefaultNodeSet<OWLDataProperty> result = new OWLDataPropertyNodeSet(); getRootOntology().importsClosure() .flatMap(o -> o.disjointDataPropertiesAxioms(pe.asOWLDataProperty())).forEach( axiom -> { for (OWLDataPropertyExpression dpe : axiom.getPropertiesMinus(pe)) { if (!dpe.isAnonymous()) { result.addNode( dataPropertyHierarchyInfo.getEquivalents(dpe.asOWLDataProperty())); result.addAllNodes( getSubDataProperties(dpe.asOWLDataProperty(), false).nodes()); } } }); return result; }
public NodeSet<OWLDataProperty> getDisjointDataProperties(OWLDataPropertyExpression pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { DefaultNodeSet<OWLDataProperty> result = new OWLDataPropertyNodeSet(); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLDisjointDataPropertiesAxiom axiom : ontology.getDisjointDataPropertiesAxioms(pe.asOWLDataProperty())) { for (OWLDataPropertyExpression dpe : axiom.getPropertiesMinus(pe)) { if (!dpe.isAnonymous()) { result.addNode(dataPropertyHierarchyInfo.getEquivalents(dpe.asOWLDataProperty())); if (!direct) { result.addAllNodes(getSubDataProperties(dpe.asOWLDataProperty(), false).getNodes()); } } } } } return result; }
@Override public NodeSet<OWLDataProperty> getDisjointDataProperties(OWLDataPropertyExpression pe) { ensurePrepared(); DefaultNodeSet<OWLDataProperty> result = new OWLDataPropertyNodeSet(); getRootOntology().importsClosure() .flatMap(o -> o.disjointDataPropertiesAxioms(pe.asOWLDataProperty())).forEach( axiom -> { for (OWLDataPropertyExpression dpe : axiom.getPropertiesMinus(pe)) { if (!dpe.isAnonymous()) { result.addNode( dataPropertyHierarchyInfo.getEquivalents(dpe.asOWLDataProperty())); result.addAllNodes( getSubDataProperties(dpe.asOWLDataProperty(), false).nodes()); } } }); return result; }
public NodeSet<OWLDataProperty> getDisjointDataProperties(OWLDataPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { ensurePrepared(); DefaultNodeSet<OWLDataProperty> result = new OWLDataPropertyNodeSet(); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLDisjointDataPropertiesAxiom axiom : ontology.getDisjointDataPropertiesAxioms(pe.asOWLDataProperty())) { for (OWLDataPropertyExpression dpe : axiom.getPropertiesMinus(pe)) { if (!dpe.isAnonymous()) { result.addNode(dataPropertyHierarchyInfo.getEquivalents(dpe.asOWLDataProperty())); result.addAllNodes(getSubDataProperties(dpe.asOWLDataProperty(), false).getNodes()); } } } } return result; }
public Node<OWLDataProperty> getBottomDataPropertyNode() { return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLBottomDataProperty()); }
public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return dataPropertyHierarchyInfo.getEquivalents(pe); }
public Node<OWLDataProperty> getTopDataPropertyNode() { return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopDataProperty()); }
public Node<OWLDataProperty> getBottomDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLBottomDataProperty()); }
public NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { OWLDataPropertyNodeSet ns = new OWLDataPropertyNodeSet(); return dataPropertyHierarchyInfo.getNodeHierarchyChildren(pe, direct, ns); }
public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(pe); }
/** * @throws ReasonerInterruptedException on interruption * @throws TimeOutException on timeout */ public void prepareReasoner() throws ReasonerInterruptedException, TimeOutException { classHierarchyInfo.computeHierarchy(); objectPropertyHierarchyInfo.computeHierarchy(); dataPropertyHierarchyInfo.computeHierarchy(); prepared = true; } @SuppressWarnings("unused")
@Override public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe) { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(pe); }
@Override public NodeSet<OWLDataProperty> getSuperDataProperties(OWLDataProperty pe, boolean direct) { ensurePrepared(); OWLDataPropertyNodeSet ns = new OWLDataPropertyNodeSet(); return dataPropertyHierarchyInfo.getNodeHierarchyParents(pe, direct, ns); }
/** * @throws ReasonerInterruptedException on interruption * @throws TimeOutException on timeout */ public final void prepareReasoner() { classHierarchyInfo.computeHierarchy(); objectPropertyHierarchyInfo.computeHierarchy(); dataPropertyHierarchyInfo.computeHierarchy(); prepared = true; }
@Override public Node<OWLDataProperty> getTopDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopDataProperty()); }
public Node<OWLDataProperty> getTopDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopDataProperty()); }
@Override public Node<OWLDataProperty> getTopDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopDataProperty()); }
@Override public NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe, boolean direct) { ensurePrepared(); OWLDataPropertyNodeSet ns = new OWLDataPropertyNodeSet(); return dataPropertyHierarchyInfo.getNodeHierarchyChildren(pe, direct, ns); }