public Intersection<ObjectPropertyExpression> getTopProperty() { return new Intersection<>(reasoner.objectPropertiesDAG()); }
ObjectSomeValuesFrom some = (ObjectSomeValuesFrom)b; ObjectPropertyExpression prop = some.getProperty(); Set<ObjectPropertyExpression> bsubproperties = reasoner.objectPropertiesDAG().getSubRepresentatives(prop); Iterator<ClassExpression> i = concepts.iterator(); while (i.hasNext()) {
/** * Assign indexes for the named DAG, use a depth first listener over the DAG * @param reasoner used to know ancestors and descendants of the dag */ public SemanticIndexBuilder(ClassifiedTBox reasoner) { classRanges = createSemanticIndex(reasoner.classesDAG()); opRanges = createSemanticIndex(reasoner.objectPropertiesDAG()); dpRanges = createSemanticIndex(reasoner.dataPropertiesDAG()); }
Intersection<ObjectPropertyExpression> properties = propertiesCache.get(idx); if (properties == null) { properties = new Intersection<>(reasoner.objectPropertiesDAG()); for (Function a : edge.getBAtoms()) { if (a.isOperation()) {
for (Equivalences<ObjectPropertyExpression> propNode : reasoner.objectPropertiesDAG()) { for (Equivalences<ObjectPropertyExpression> subpropNode : reasoner.objectPropertiesDAG().getSub(propNode)) { for (ObjectPropertyExpression subprop : subpropNode) { if (subprop.isInverse())
throw new RuntimeException("INVERSE PROPERTIES ARE NOT SUPPORTED IN ABOX:" + ax); ObjectPropertyExpression ope = reasonerDag.objectPropertiesDAG().getCanonicalForm(ope0);
getObjectTMappings(mappingIndex, originalMappingIndex, reasoner.objectPropertiesDAG(), excludeFromTMappings); getDataTMappings(mappingIndex, originalMappingIndex, reasoner.dataPropertiesDAG(), excludeFromTMappings);
ObjectPropertyExpression equivalent = reasoner.objectPropertiesDAG().getCanonicalForm(ope); if (equivalent != null && !equivalent.equals(ope)) { if (!equivalent.isInverse())
getObjectTMappings(mappingIndex, originalMappingIndex, reasoner.objectPropertiesDAG(), excludeFromTMappings); getDataTMappings(mappingIndex, originalMappingIndex, reasoner.dataPropertiesDAG(), excludeFromTMappings);
for(Equivalences<ObjectPropertyExpression> node : reasoner.objectPropertiesDAG()) { ObjectPropertyExpression rep = node.getRepresentative(); ObjectPropertyExpression repInv = rep.getInverse(); (EquivalencesDAGImpl<ObjectPropertyExpression>)reasoner.objectPropertiesDAG(), objectProperties);
for(Equivalences<ObjectPropertyExpression> node : reasoner.objectPropertiesDAG()) { ObjectPropertyExpression rep = node.getRepresentative(); ObjectPropertyExpression repInv = rep.getInverse(); (EquivalencesDAGImpl<ObjectPropertyExpression>)reasoner.objectPropertiesDAG(), objectProperties);
for (Equivalences<ObjectPropertyExpression> set : reasonerDag.objectPropertiesDAG()) {