Examples of OWLDataPropertyNode

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

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


        @Nonnull
        @Override
        protected DefaultNode<OWLDataProperty> createNode(
                Set<OWLDataProperty> cycle) {
            return new OWLDataPropertyNode(cycle);
        }

View Full Code Here

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

        }


        @Nonnull
        @Override
        protected DefaultNode<OWLDataProperty> createNode() {
            return new OWLDataPropertyNode();
        }

View Full Code Here

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

            return dataPropertyHierarchyNodesToNodeSet(result);
        }
        else {
            OWLDataFactory factory=getDataFactory();
            if (propertyExpression.isOWLTopDataProperty() && isConsistent())
                return new OWLDataPropertyNodeSet(new OWLDataPropertyNode(factory.getOWLBottomDataProperty()));
            else if (propertyExpression.isOWLBottomDataProperty() && isConsistent())
                return new OWLDataPropertyNodeSet(new OWLDataPropertyNode(factory.getOWLTopDataProperty()));
            else
                return new OWLDataPropertyNodeSet();
        }
    }

View Full Code Here

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

    protected Node<OWLDataProperty> dataPropertyHierarchyNodeToNode(HierarchyNode<AtomicRole> hierarchyNode) {
        Set<OWLDataProperty> result=new HashSet<OWLDataProperty>();
        OWLDataFactory factory=getDataFactory();
        for (AtomicRole atomicRole : hierarchyNode.getEquivalentElements())
            result.add(factory.getOWLDataProperty(IRI.create(atomicRole.getIRI())));
        return new OWLDataPropertyNode(result);
    }

View Full Code Here

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

            return ont.getDataPropertiesInSignature();
        }


        @Override
        protected DefaultNode<OWLDataProperty> createNode(Set<OWLDataProperty> cycle) {
            return new OWLDataPropertyNode(cycle);
        }

View Full Code Here

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

            return new OWLDataPropertyNode(cycle);
        }


        @Override
        protected DefaultNode<OWLDataProperty> createNode() {
            return new OWLDataPropertyNode();
        }

View Full Code Here

TOP

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.