TreeWitnessGenerator twg = gens.get(some); if (twg == null) { twg = new TreeWitnessGenerator(reasoner, some.getProperty()); gens.put(concept, twg);
if (b instanceof ObjectSomeValuesFrom) { ObjectSomeValuesFrom some = (ObjectSomeValuesFrom)b; ObjectPropertyExpression prop = some.getProperty(); Set<ObjectPropertyExpression> bsubproperties = reasoner.objectPropertiesDAG().getSubRepresentatives(prop); Iterator<ClassExpression> i = concepts.iterator(); if ((b != bp) && (bp instanceof ObjectSomeValuesFrom)) { ObjectSomeValuesFrom somep = (ObjectSomeValuesFrom)bp; ObjectPropertyExpression propp = somep.getProperty();
private void checkSignature(ClassExpression desc) { if (desc instanceof OClass) { OClass cl = (OClass) desc; if (!classes.contains(cl.getName())) throw new IllegalArgumentException(CLASS_NOT_FOUND + desc); } else if (desc instanceof ObjectSomeValuesFrom) { checkSignature(((ObjectSomeValuesFrom) desc).getProperty()); } else { assert (desc instanceof DataSomeValuesFrom); checkSignature(((DataSomeValuesFrom) desc).getProperty()); } }
private void checkSignature(ClassExpression desc) { if (desc instanceof OClass) { OClass cl = (OClass) desc; if (!classes.contains(cl.getName())) throw new IllegalArgumentException(CLASS_NOT_FOUND + desc); } else if (desc instanceof ObjectSomeValuesFrom) { checkSignature(((ObjectSomeValuesFrom) desc).getProperty()); } else { assert (desc instanceof DataSomeValuesFrom); checkSignature(((DataSomeValuesFrom) desc).getProperty()); } }
private DataAtom<AtomPredicate> translate(ClassExpression description, String existentialVariableName) { if (description instanceof OClass) { final Variable varX = termFactory.getVariable(variableXname); OClass klass = (OClass) description; return atomFactory.getIntensionalTripleAtom(varX, klass.getIRI()); } else if (description instanceof ObjectSomeValuesFrom) { ObjectPropertyExpression property = ((ObjectSomeValuesFrom) description).getProperty(); return translate(property, variableXname, existentialVariableName); } else { DataPropertyExpression property = ((DataSomeValuesFrom) description).getProperty(); return translate(property, variableXname, existentialVariableName); } }
private ImmutableList<Function> getAtomsForGenerators(Collection<TreeWitnessGenerator> gens, Term r0) { return TreeWitnessGenerator.getMaximalBasicConcepts(gens, reasoner).stream() .map(con -> { log.debug(" BASIC CONCEPT: {}", con); if (con instanceof OClass) { return atomFactory.getMutableTripleBodyAtom(r0, ((OClass) con).getIRI()); } else if (con instanceof ObjectSomeValuesFrom) { ObjectPropertyExpression ope = ((ObjectSomeValuesFrom)con).getProperty(); return (!ope.isInverse()) ? atomFactory.getMutableTripleBodyAtom(r0, ope.getIRI(), getFreshVariable()) : atomFactory.getMutableTripleBodyAtom(getFreshVariable(), ope.getIRI(), r0); } else { DataPropertyExpression dpe = ((DataSomeValuesFrom)con).getProperty(); return atomFactory.getMutableTripleBodyAtom(r0, dpe.getIRI(), getFreshVariable()); } }) .collect(ImmutableCollectors.toList()); }
ObjectPropertyExpression some = ((ObjectSomeValuesFrom) childDescription).getProperty(); childPredicate = some.getIRI(); arg = some.isInverse() ? 2 : 0;
if (first instanceof ObjectSomeValuesFrom) { ObjectSomeValuesFrom firstp = (ObjectSomeValuesFrom)first; ObjectPropertyExpression prop = firstp.getProperty(); ObjectPropertyExpression propRep = objectPropertyDAG.getVertex(prop).getRepresentative(); representative = propRep.getDomain();
ObjectPropertyExpression some = ((ObjectSomeValuesFrom) childDescription).getProperty(); childPredicate = some.getPredicate(); arg = some.isInverse() ? 1 : 0;
if (first instanceof ObjectSomeValuesFrom) { ObjectSomeValuesFrom firstp = (ObjectSomeValuesFrom)first; ObjectPropertyExpression prop = firstp.getProperty(); ObjectPropertyExpression propRep = objectPropertyDAG.getVertex(prop).getRepresentative(); representative = propRep.getDomain();
if (objectPropertyDAG.getVertex(((ObjectSomeValuesFrom) equi).getProperty()) != null) reduced.add(equi);
if (objectPropertyDAG.getVertex(((ObjectSomeValuesFrom) equi).getProperty()) != null) reduced.add(equi);