Refine search
static boolean inverse(OWLAxiom ax, OWLNamedIndividual i) { if (ax instanceof OWLObjectPropertyAssertionAxiom) { OWLObjectPropertyAssertionAxiom candidate = (OWLObjectPropertyAssertionAxiom) ax; if (candidate.getProperty().isAnonymous() && candidate.getObject().equals(i)) { return true; } } return false; }
public void visit(OWLObjectPropertyAssertionAxiom axiom) { rhs.add(axiom.getProperty()); rhs.add(axiom.getObject()); lhs.add(axiom.getSubject()); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { rhs.add(axiom.getProperty()); rhs.add(axiom.getObject()); lhs.add(axiom.getSubject()); }
/** * Gets a list of objects contained in this row. These objects * could be placed on the clip board during a copy operation, * or navigated to etc. */ public List<OWLObject> getManipulatableObjects() { List<OWLObject> objects = new ArrayList<>(2); objects.add(getAxiom().getProperty()); objects.add(getAxiom().getObject()); return objects; }
/** * Gets a list of objects contained in this row. These objects * could be placed on the clip board during a copy operation, * or navigated to etc. */ public List<OWLObject> getManipulatableObjects() { List<OWLObject> objects = new ArrayList<OWLObject>(2); objects.add(getAxiom().getProperty()); objects.add(getAxiom().getObject()); return objects; }
/** * @param i individual * @param ontology ontology to search * @return property values */ public static Multimap<OWLObjectPropertyExpression, OWLIndividual> getObjectPropertyValues( OWLIndividual i, OWLOntology ontology) { Multimap<OWLObjectPropertyExpression, OWLIndividual> map = LinkedListMultimap.create(); ontology.objectPropertyAssertionAxioms(i) .forEach(ax -> map.put(ax.getProperty(), ax.getObject())); return map; }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { addFact(m_factory.getOWLObjectPropertyAssertionAxiom(axiom.getProperty(),axiom.getSubject(),axiom.getObject())); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } @Override
@Override public void visit(OWLObjectPropertyAssertionAxiom object) { m_positiveFacts.add(getRoleAtom(object.getProperty(),getIndividual(object.getSubject()),getIndividual(object.getObject()))); } @Override
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { v(axiom.getSubject()); v(axiom.getProperty()); v(axiom.getObject()); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { sb.append("ObjectPropertyAssertion("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getSubject().accept(this); insertSpace(); axiom.getObject().accept(this); sb.append(')'); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { sb.append("ObjectPropertyAssertion("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getSubject().accept(this); insertSpace(); axiom.getObject().accept(this); sb.append(')'); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { sb.append("ObjectPropertyAssertion("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getSubject().accept(this); insertSpace(); axiom.getObject().accept(this); sb.append(')'); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { OWLObjectPropertyAssertionAxiom simplified = axiom.getSimplified(); addSingleTripleAxiom(simplified, simplified.getSubject(), simplified.getProperty(), simplified.getObject()); processIfAnonymous(simplified.getObject(), axiom); processIfAnonymous(simplified.getSubject(), axiom); }
public Boolean visit(OWLObjectPropertyAssertionAxiom axiom) { OWLIndividual sub=axiom.getSubject(); OWLIndividual obj=axiom.getObject(); if (sub.isAnonymous()||obj.isAnonymous()) { anonymousIndividualAxioms.add(axiom); return true; // will be checked afterwards by rolling-up } return reasoner.hasObjectPropertyRelationship(sub.asOWLNamedIndividual(),axiom.getProperty(),obj.asOWLNamedIndividual()); } public Boolean visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { process(axiom); axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); }
public ObjectPropertyAssertion translate(OWLObjectPropertyAssertionAxiom ax) throws InconsistentOntologyException { URIConstant c1 = getIndividual(ax.getSubject()); URIConstant c2 = getIndividual(ax.getObject()); ObjectPropertyExpression ope = getPropertyExpression(ax.getProperty()); return ofac.createObjectPropertyAssertion(ope, c1, c2); }
public void visit(OWLObjectPropertyAssertionAxiom axiom) { handleObject(axiom); axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); processAxiomAnnotations(axiom); }
@Override public OWLClassExpression visit(OWLObjectPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory .getOWLObjectHasValue(axiom.getProperty(), axiom.getObject()); OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup); return ax.accept(this); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { axiom.getSubject().accept(this); writeSpace(); axiom.getProperty().accept(this); writeSpace(); axiom.getObject().accept(this); }