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()); }
DataPropertyExpression some = ((DataSomeValuesFrom) childDescription).getProperty(); childPredicate = some.getPredicate(); arg = 0; // can never be an inverse
DataPropertyExpression some = ((DataSomeValuesFrom) childDescription).getProperty(); childPredicate = some.getIRI(); arg = 0; // can never be an inverse
assert (first instanceof DataSomeValuesFrom); DataSomeValuesFrom firstp = (DataSomeValuesFrom)first; DataPropertyExpression prop = firstp.getProperty(); DataPropertyExpression propRep = dataPropertyDAG.getVertex(prop).getRepresentative(); representative = propRep.getDomainRestriction(DatatypeImpl.rdfsLiteral);
assert (first instanceof DataSomeValuesFrom); DataSomeValuesFrom firstp = (DataSomeValuesFrom)first; DataPropertyExpression prop = firstp.getProperty(); DataPropertyExpression propRep = dataPropertyDAG.getVertex(prop).getRepresentative(); representative = propRep.getDomainRestriction(DatatypeImpl.rdfsLiteral);
if (dataPropertyDAG.getVertex(((DataSomeValuesFrom) equi).getProperty()) != null) reduced.add(equi);
if (dataPropertyDAG.getVertex(((DataSomeValuesFrom) equi).getProperty()) != null) reduced.add(equi);