Package org.semanticweb.owlapi.reasoner.impl

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

1394
1395
1396
1397
1398
1399
1400
        @Nonnull
        @Override
        protected DefaultNode<OWLDataProperty> createNode(
                Set<OWLDataProperty> cycle) {
            return new OWLDataPropertyNode(cycle);
        }
View Full Code Here
1400
1401
1402
1403
1404
1405
1406
        }

        @Nonnull
        @Override
        protected DefaultNode<OWLDataProperty> createNode() {
            return new OWLDataPropertyNode();
        }
View Full Code Here
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
            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
2099
2100
2101
2102
2103
2104
2105
    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
1200
1201
1202
1203
1204
1205
1206
            return ont.getDataPropertiesInSignature();
        }

        @Override
        protected DefaultNode<OWLDataProperty> createNode(Set<OWLDataProperty> cycle) {
            return new OWLDataPropertyNode(cycle);
        }
View Full Code Here
1205
1206
1207
1208
1209
1210
1211
            return new OWLDataPropertyNode(cycle);
        }

        @Override
        protected DefaultNode<OWLDataProperty> createNode() {
            return new OWLDataPropertyNode();
        }
View Full Code Here
TOP

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

  • org.semanticweb.HermiT.Reasoner
  • org.semanticweb.owlapi.reasoner.structural.StructuralReasoner$DataPropertyHierarchyInfo
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.