Examples of org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet

Package org.semanticweb.owlapi.reasoner.impl

Examples of org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet

org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet
@author Matthew Horridge, The University of Manchester, InformationManagement Group @since 3.0.0


    @Nonnull
    @Override
    public NodeSet<OWLObjectPropertyExpression> getSubObjectProperties(
            OWLObjectPropertyExpression pe, boolean direct) {
        OWLObjectPropertyNodeSet ns = new OWLObjectPropertyNodeSet();
        ensurePrepared();
        return objectPropertyHierarchyInfo.getNodeHierarchyChildren(pe, direct,
                ns);
    }

View Full Code Here


    @Nonnull
    @Override
    public NodeSet<OWLObjectPropertyExpression> getSuperObjectProperties(
            OWLObjectPropertyExpression pe, boolean direct) {
        OWLObjectPropertyNodeSet ns = new OWLObjectPropertyNodeSet();
        ensurePrepared();
        return objectPropertyHierarchyInfo.getNodeHierarchyParents(pe, direct,
                ns);
    }

View Full Code Here


    @Nonnull
    @Override
    public NodeSet<OWLObjectPropertyExpression> getDisjointObjectProperties(
            OWLObjectPropertyExpression pe) {
        return new OWLObjectPropertyNodeSet();
    }

View Full Code Here

        return getEquivalentObjectProperties(propertyExpression.getInverseProperty());
    }
    public NodeSet<OWLObjectProperty> getDisjointObjectProperties(OWLObjectPropertyExpression propertyExpression,boolean direct) {
        checkPreConditions(propertyExpression);
        if (!m_isConsistent)
            return new OWLObjectPropertyNodeSet();
        classifyObjectProperties();
        Set<HierarchyNode<Role>> result=new HashSet<HierarchyNode<Role>>();
        if (propertyExpression.getNamedProperty().isOWLTopObjectProperty()) {
            result.add(m_objectRoleHierarchy.getBottomNode());
            return objectPropertyHierarchyNodesToNodeSet(result);

View Full Code Here

        for (HierarchyNode<Role> hierarchyNode : hierarchyNodes) {
            // inverses are thrown out, so the node might then be empty
            Node<OWLObjectProperty> opNode=objectPropertyHierarchyNodeToNode(hierarchyNode);
            if (opNode.getSize()>0) result.add(opNode);
        }
        return new OWLObjectPropertyNodeSet(result);
    }

View Full Code Here

        ensurePrepared();
        return objectPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLBottomObjectProperty());
    }


    public NodeSet<OWLObjectPropertyExpression> getSubObjectProperties(OWLObjectPropertyExpression pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException {
        OWLObjectPropertyNodeSet ns = new OWLObjectPropertyNodeSet();
        ensurePrepared();
        return objectPropertyHierarchyInfo.getNodeHierarchyChildren(pe, direct, ns);
    }

View Full Code Here

        ensurePrepared();
        return objectPropertyHierarchyInfo.getNodeHierarchyChildren(pe, direct, ns);
    }


    public NodeSet<OWLObjectPropertyExpression> getSuperObjectProperties(OWLObjectPropertyExpression pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException {
        OWLObjectPropertyNodeSet ns = new OWLObjectPropertyNodeSet();
        ensurePrepared();
        return objectPropertyHierarchyInfo.getNodeHierarchyParents(pe, direct, ns);
    }

View Full Code Here

        ensurePrepared();
        return objectPropertyHierarchyInfo.getEquivalents(pe);
    }


    public NodeSet<OWLObjectPropertyExpression> getDisjointObjectProperties(OWLObjectPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException {
        return new OWLObjectPropertyNodeSet();
    }

View Full Code Here

      Set<Node<OWLObjectPropertyExpression>> values = new HashSet<Node<OWLObjectPropertyExpression>>();
      for( Set<ATermAppl> val : kb.getDisjointProperties( term( pe ) ) ) {
        values.add( toObjectPropertyNode( val ) );
      }


      return new OWLObjectPropertyNodeSet( values );
    } catch( PelletRuntimeException e ) {
      throw convert( e );
    }
  }

View Full Code Here

    try {
      Set<Node<OWLObjectPropertyExpression>> values = new HashSet<Node<OWLObjectPropertyExpression>>();
      for( Set<ATermAppl> val : kb.getSubProperties( term( pe ), direct ) ) {
        values.add( toObjectPropertyNode( val ) );
      }
      return new OWLObjectPropertyNodeSet( values );
    } catch( PelletRuntimeException e ) {
      throw convert( e );
    }
  }

View Full Code Here

0 1

TOP

Related Classes of org.semanticweb.owlapi.reasoner.impl.OWLObjectPropertyNodeSet

com.clarkparsia.pellet.owlapiv3.PelletReasoner

org.semanticweb.HermiT.Reasoner

org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.