Refine search
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { if (!axiom.getSubProperty().isAnonymous()) { source = axiom.getSubProperty().asOWLObjectProperty(); } if (!axiom.getSuperProperty().isAnonymous()) { target = axiom.getSuperProperty().asOWLObjectProperty(); } }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { hashCode = 127; hashCode = hashCode * MULT + axiom.getSubProperty().hashCode(); hashCode = hashCode * MULT + axiom.getSuperProperty().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
@Override public C visit(OWLSubObjectPropertyOfAxiom axiom) { return (C) (sup ? axiom.getSuperProperty() : axiom.getSubProperty()); } }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { process(axiom); axiom.getSubProperty().accept(this); axiom.getSuperProperty().accept(this); }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { // subProp some {a} subClassOf supProp some {a} OWLIndividual ind = dataFactory .getOWLNamedIndividual(IRI.getNextDocumentIRI("http://debugger.com#A")); OWLClassExpression sub = dataFactory.getOWLObjectHasValue(axiom.getSubProperty(), ind); OWLClassExpression sup = dataFactory.getOWLObjectHasValue(axiom.getSuperProperty(), ind); OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, sup); ax.accept(this); }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { OWLObjectPropertyExpression subProperty = axiom.getSubProperty(); subProperty = expressionRenamer.rename(subProperty); OWLObjectPropertyExpression superProperty = axiom.getSuperProperty(); superProperty = expressionRenamer.rename(superProperty); renamedAxiom = df.getOWLSubObjectPropertyOfAxiom(subProperty, superProperty); }
@Override public OWLClassExpression visit(OWLSubObjectPropertyOfAxiom ax) { OWLClass clsA = df.getOWLClass(IRI.create("owlapi:explanation:clsA")); freshEntities.add(clsA); OWLClassExpression subHasValue = df.getOWLObjectSomeValuesFrom(ax.getSubProperty(), clsA); OWLClassExpression supHasValue = df.getOWLObjectSomeValuesFrom(ax.getSuperProperty(), clsA); return df.getOWLObjectIntersectionOf(subHasValue, df.getOWLObjectComplementOf(supHasValue)); }
protected void tr(OWLSubObjectPropertyOfAxiom ax) { OWLObjectPropertyExpression sup = ax.getSuperProperty(); OWLObjectPropertyExpression sub = ax.getSubProperty(); if (sub.isBottomEntity() || sub.isTopEntity() || sup.isBottomEntity() || sup .isTopEntity()) { error("SubProperties using Top or Bottom entites are not supported in OBO.", false); return; } if (sub.isOWLObjectProperty() && sup.isOWLObjectProperty()) { String supId = checkNotNull(getIdentifier(sup)); if (supId.startsWith("owl:")) { return; } Frame f = getTypedefFrame((OWLObjectProperty) sub); Clause clause = new Clause(OboFormatTag.TAG_IS_A, supId); f.addClause(clause); addQualifiers(clause, ax.annotations()); } else { error(ax, true); } }
@Override public Boolean visit(OWLSubObjectPropertyOfAxiom axiom) { return axiom.getSuperProperty().equals(factory.getOWLTopObjectProperty()) || axiom.getSubProperty().equals(factory.getOWLBottomObjectProperty()); }
@Override public Object visit(OWLSubObjectPropertyOfAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLSubObjectPropertyOfAxiom(t(axiom.getSubProperty()), t(axiom .getSuperProperty()), t(axiom.annotations()))); }
@Override protected Set<OWLObjectPropertyAssertionAxiom> getExamples(ParameterizedSparqlString queryTemplate, EvaluatedAxiom<T> evAxiom) { T axiom = evAxiom.getAxiom(); queryTemplate.setIri("p", entityToDescribe.toStringID()); OWLObjectProperty otherProperty; if(axiom instanceof OWLNaryPropertyAxiom){// we assume a single atomic property otherProperty = ((OWLNaryPropertyAxiom<OWLObjectPropertyExpression>) axiom).getPropertiesMinus(entityToDescribe).iterator().next() .asOWLObjectProperty(); } else { otherProperty = ((OWLSubObjectPropertyOfAxiom) axiom).getSuperProperty().asOWLObjectProperty(); } queryTemplate.setIri("p_other", otherProperty.toStringID()); Set<OWLObjectPropertyAssertionAxiom> examples = new TreeSet<>(); ResultSet rs = executeSelectQuery(queryTemplate.toString()); while (rs.hasNext()) { QuerySolution qs = rs.next(); OWLIndividual subject = df.getOWLNamedIndividual(IRI.create(qs.getResource("s").getURI())); OWLIndividual object = df.getOWLNamedIndividual(IRI.create(qs.getResource("o").getURI())); examples.add(df.getOWLObjectPropertyAssertionAxiom(entityToDescribe, subject, object)); } return examples; }
public void visit(OWLSubObjectPropertyOfAxiom axiom) { axiom.getSubProperty().accept(this); OWLObjectPropertyExpression subProp = (OWLObjectPropertyExpression) obj; axiom.getSuperProperty().accept(this); OWLObjectPropertyExpression supProp = (OWLObjectPropertyExpression) obj; obj = dataFactory.getOWLSubObjectPropertyOfAxiom(subProp, supProp, duplicateAxiomAnnotations(axiom)); }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { if (!axiom.getSubProperty().isOWLObjectProperty()) { writeOpenBracket(); write(IMPLIES_ROLE); write(axiom.getSubProperty()); write(axiom.getSuperProperty()); writeCloseBracket(); writeln(); } }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderSubObjectProperty(OWLSubObjectPropertyOfAxiom expected, OWLDataFactory df) { this(df); withSub(expected.getSubProperty()).withSup(expected.getSuperProperty()) .withAnnotations(expected.annotations()); }
public void visit(OWLSubObjectPropertyOfAxiom axiom) { if (!axiom.getSubProperty().isOWLBottomObjectProperty() && !axiom.getSuperProperty().isOWLTopObjectProperty()) addInclusion(axiom.getSubProperty(),axiom.getSuperProperty()); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getSubProperty().getNamedProperty()); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getSuperProperty().getNamedProperty()); } public void visit(OWLSubPropertyChainOfAxiom axiom) {
public void visit(OWLSubObjectPropertyOfAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = !signature.contains(axiom.getSubProperty().getNamedProperty()); break; case TOP_TOP: isLocal = !signature.contains(axiom.getSuperProperty().getNamedProperty()); break; } }
private void tr(OWLSubObjectPropertyOfAxiom ax){ OWLObjectPropertyExpression sup = ax.getSuperProperty(); OWLObjectPropertyExpression sub = ax.getSubProperty(); if (sub.isBottomEntity() || sub.isTopEntity() || sup.isBottomEntity() || sub.isTopEntity()) { error("SubProperties using Top or Bottom entites are not supported in OBO."); return; } if(sub instanceof OWLObjectProperty && sup instanceof OWLObjectProperty){ String supId = this.getIdentifier(sup); if(supId.startsWith("owl:")){ return; } Frame f = getTypedefFrame((OWLObjectProperty) sub); Clause clause = new Clause(OboFormatTag.TAG_IS_A, supId); f.addClause(clause); addQualifiers(clause, ax.getAnnotations()); }else{ error(ax); } }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { addConstruct(ROLE_HIERARCHY); axiom.getSubProperty().accept(this); axiom.getSuperProperty().accept(this); }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { // subProp some {a} subClassOf supProp some {a} OWLIndividual ind = dataFactory .getOWLNamedIndividual(IRI.getNextDocumentIRI("http://debugger.com#A")); OWLClassExpression sub = dataFactory.getOWLObjectHasValue(axiom.getSubProperty(), ind); OWLClassExpression sup = dataFactory.getOWLObjectHasValue(axiom.getSuperProperty(), ind); OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, sup); ax.accept(this); }
@Override public OWLSubObjectPropertyOfAxiom visit(OWLSubObjectPropertyOfAxiom ax) { return df.getOWLSubObjectPropertyOfAxiom(t(ax.getSubProperty()), t(ax.getSuperProperty()), a(ax)); }