/** * Creates a class assertion * <p> * ClassAssertion := 'ClassAssertion' '(' axiomAnnotations Class Individual ')' * <p> * Implements rule [C4]: * - ignore (return null) if the class is top * - inconsistency if the class is bot */ public static ClassAssertion createClassAssertion(OClass ce, ObjectConstant object) throws InconsistentOntologyException { if (ce.isTop()) return null; if (ce.isBottom()) throw new InconsistentOntologyException(); return new ClassAssertionImpl(ce, object); }
IRI iri = ca.getConcept().getIRI(); Integer counter = failures.get(iri); if (counter == null)
private static Statement createStatement(ClassAssertion assertion) { return fact.createStatement(getResource(assertion.getIndividual()), createURI(IriConstants.RDF_TYPE), createURI(assertion.getConcept().getPredicate().getName())); } }
private static Statement createStatement(ClassAssertion assertion) { return fact.createStatement(getResource(assertion.getIndividual()), RDF.TYPE, createURI(assertion.getConcept().getIRI().getIRIString())); } }
Predicate currentPredicate = representative.getPredicate(); TMappingIndexEntry currentNodeMappings = getMappings(mappingIndex, currentPredicate); final Predicate childPredicate; if (childDescription instanceof OClass) { childPredicate = ((OClass) childDescription).getPredicate(); arg = 0; setMappings(mappingIndex, ((OClass) equiv).getPredicate(), currentNodeMappings);
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); } }
/** * Creates a class assertion * <p> * ClassAssertion := 'ClassAssertion' '(' axiomAnnotations Class Individual ')' * <p> * Implements rule [C4]: * - ignore (return null) if the class is top * - inconsistency if the class is bot */ public static ClassAssertion createClassAssertion(OClass ce, ObjectConstant object) throws InconsistentOntologyException { if (ce.isTop()) return null; if (ce.isBottom()) throw new InconsistentOntologyException(); return new ClassAssertionImpl(ce, object); }
Function head = TERM_FACTORY.getFunction(ca.getConcept().getPredicate(), uriTemplateMatcher.generateURIFunction(c.getURI())); CQIE rule = DATALOG_FACTORY.getCQIE(head, Collections.emptyList());
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()); }
public boolean contains(OClass cls){ return classes.contains(cls.getName()); }
IRI currentPredicate = representative.getIRI(); TMappingIndexEntry currentNodeMappings = getMappings(mappingIndex, currentPredicate); final IRI childPredicate; if (childDescription instanceof OClass) { childPredicate = ((OClass) childDescription).getIRI(); arg = 0; setMappings(mappingIndex, ((OClass) equiv).getIRI(), currentNodeMappings);
public boolean contains(OClass cls){ return classes.contains(cls.getName()); }
OClass equivalent = (OClass)reasoner.classesDAG().getCanonicalForm(c); if (equivalent != null && !equivalent.equals(c)) { return atomFactory.getMutableTripleBodyAtom(bodyAtom.getTerm(0), equivalent.getIRI());
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()); } }
IRI classIRI = ca.getConcept().getIRI(); Function head = atomFactory.getMutableTripleHeadAtom( immutabilityTools.convertToMutableFunction(