@Override public void addFunctionalObjectPropertyAxiom(ObjectPropertyExpression prop) { checkSignature(prop); functionalObjectPropertyAxioms.add(prop); }
@Override public void addFunctionalObjectPropertyAxiom(ObjectPropertyExpression prop) { checkSignature(prop); functionalObjectPropertyAxioms.add(prop); }
@Override public void addFunctionalDataPropertyAxiom(DataPropertyExpression prop) { checkSignature(prop); functionalDataPropertyAxioms.add(prop); }
@Override public void addFunctionalDataPropertyAxiom(DataPropertyExpression prop) { checkSignature(prop); functionalDataPropertyAxioms.add(prop); }
@Override public void addClassAssertion(OClass ce, ObjectConstant o) throws InconsistentOntologyException { checkSignature(ce); ClassAssertion assertion = createClassAssertion(ce, o); if (assertion != null) classAssertions.add(assertion); }
@Override public void addObjectPropertyAssertion(ObjectPropertyExpression ope, ObjectConstant o1, ObjectConstant o) throws InconsistentOntologyException { checkSignature(ope); ObjectPropertyAssertion assertion = createObjectPropertyAssertion(ope, o1, o); if (assertion != null) objectPropertyAssertions.add(assertion); }
@Override public void addDataPropertyAssertion(DataPropertyExpression dpe, ObjectConstant o, ValueConstant v) throws InconsistentOntologyException { checkSignature(dpe); DataPropertyAssertion assertion = createDataPropertyAssertion(dpe, o, v); if (assertion != null) dataPropertyAssertions.add(assertion); }
@Override public void addAnnotationAssertion(AnnotationProperty ap, ObjectConstant o, Constant c) { checkSignature(ap); AnnotationAssertion assertion = createAnnotationAssertion(ap, o, c); if (assertion != null) annotationAssertions.add(assertion); }
@Override public void addAnnotationAssertion(AnnotationProperty ap, ObjectConstant o, Constant c) { checkSignature(ap); AnnotationAssertion assertion = createAnnotationAssertion(ap, o, c); if (assertion != null) annotationAssertions.add(assertion); }
@Override public void addObjectPropertyAssertion(ObjectPropertyExpression ope, ObjectConstant o1, ObjectConstant o) throws InconsistentOntologyException { checkSignature(ope); ObjectPropertyAssertion assertion = createObjectPropertyAssertion(ope, o1, o); if (assertion != null) objectPropertyAssertions.add(assertion); }
@Override public void addClassAssertion(OClass ce, ObjectConstant o) throws InconsistentOntologyException { checkSignature(ce); ClassAssertion assertion = createClassAssertion(ce, o); if (assertion != null) classAssertions.add(assertion); }
@Override public void addDataPropertyAssertion(DataPropertyExpression dpe, ObjectConstant o, ValueConstant v) throws InconsistentOntologyException { checkSignature(dpe); DataPropertyAssertion assertion = createDataPropertyAssertion(dpe, o, v); if (assertion != null) dataPropertyAssertions.add(assertion); }
private void checkSignature(DataPropertyRangeExpression desc) { checkSignature(desc.getProperty()); }
private void checkSignature(DataPropertyRangeExpression desc) { checkSignature(desc.getProperty()); }
/** * Normalizes and adds object property disjointness axiom * <p> * DisjointObjectProperties := 'DisjointObjectProperties' '(' axiomAnnotations * ObjectPropertyExpression ObjectPropertyExpression { ObjectPropertyExpression } ')'<br> * <p> * Implements rule [O2]:<br> * - eliminates all occurrences of bot and if the result contains<br> * - no top and at least two elements then disjointness<br> * - one top then emptiness of all other elements<br> * - two tops then inconsistency (this behavior is an extension of OWL 2, where duplicates are removed from the list) */ @Override public void addDisjointObjectPropertiesAxiom(ObjectPropertyExpression... opes) throws InconsistentOntologyException { for (ObjectPropertyExpression p : opes) checkSignature(p); objectPropertyAxioms.addDisjointness(opes); }
/** * Normalizes and adds object property disjointness axiom * <p> * DisjointObjectProperties := 'DisjointObjectProperties' '(' axiomAnnotations * ObjectPropertyExpression ObjectPropertyExpression { ObjectPropertyExpression } ')'<br> * <p> * Implements rule [O2]:<br> * - eliminates all occurrences of bot and if the result contains<br> * - no top and at least two elements then disjointness<br> * - one top then emptiness of all other elements<br> * - two tops then inconsistency (this behavior is an extension of OWL 2, where duplicates are removed from the list) */ @Override public void addDisjointObjectPropertiesAxiom(ObjectPropertyExpression... opes) throws InconsistentOntologyException { for (ObjectPropertyExpression p : opes) checkSignature(p); objectPropertyAxioms.addDisjointness(opes); }
/** * Normalizes and adds class disjointness axiom * <p> * DisjointClasses := 'DisjointClasses' '(' axiomAnnotations * subClassExpression subClassExpression { subClassExpression } ')'<br> * <p> * Implements rule [C2]:<br> * - eliminates all occurrences of bot and if the result contains<br> * - no top and at least two elements then disjointness<br> * - one top then emptiness of all other elements<br> * - two tops then inconsistency (this behavior is an extension of OWL 2, where duplicates are removed from the list) */ @Override public void addDisjointClassesAxiom(ClassExpression... ces) throws InconsistentOntologyException { for (ClassExpression c : ces) checkSignature(c); classAxioms.addDisjointness(ces); }
/** * Normalizes and adds class disjointness axiom * <p> * DisjointClasses := 'DisjointClasses' '(' axiomAnnotations * subClassExpression subClassExpression { subClassExpression } ')'<br> * <p> * Implements rule [C2]:<br> * - eliminates all occurrences of bot and if the result contains<br> * - no top and at least two elements then disjointness<br> * - one top then emptiness of all other elements<br> * - two tops then inconsistency (this behavior is an extension of OWL 2, where duplicates are removed from the list) */ @Override public void addDisjointClassesAxiom(ClassExpression... ces) throws InconsistentOntologyException { for (ClassExpression c : ces) checkSignature(c); classAxioms.addDisjointness(ces); }
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()); } }