public OWLObjectPropertyExpression getInverseProperty() { if (inverse == null) { inverse = getOWLDataFactory().getOWLObjectInverseOf(this); } return inverse; }
public void visit(OWLInverseFunctionalObjectPropertyAxiom ax) { wasAxiomProcessed=true; axioms.add( factory. getOWLFunctionalObjectPropertyAxiom( factory.getOWLObjectInverseOf(ax.getProperty()))); }
@Override public OWLObjectInverseOf visit(ElkObjectInverseOf expression) { return owlFactory_ .getOWLObjectInverseOf(convert(expression.getObjectProperty())); }
/** * {@inheritDoc} */ @Override public void visitInverse(ATermAppl p) { OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) convert( (ATermAppl) p .getArgument( 0 ) ); obj = factory.getOWLObjectInverseOf( prop ); }
@Override public OWLObjectInverseOf visit(OWLObjectInverseOf property) { OWLObjectPropertyExpression inverse = property.getInverse(); if (inverse.isAnonymous()) { return df.getOWLObjectInverseOf(get(property.getNamedProperty())); } return df.getOWLObjectInverseOf(get(inverse.asOWLObjectProperty())); }
@Override public OWLObjectInverseOf visit(OWLObjectInverseOf property) { OWLObjectPropertyExpression inverse = property.getInverse(); if (inverse.isAnonymous()) { return df.getOWLObjectInverseOf(get(property.getNamedProperty())); } return df.getOWLObjectInverseOf(get(inverse.asOWLObjectProperty())); }
@Override public Set<? extends OWLAxiom> visit(OWLInverseObjectPropertiesAxiom axiom) { // Implication Set<OWLAxiom> result = new HashSet<>(); result.add(dataFactory.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), dataFactory.getOWLObjectInverseOf(axiom.getSecondProperty().asOWLObjectProperty()))); result.add(dataFactory.getOWLSubObjectPropertyOfAxiom(axiom.getSecondProperty(), dataFactory.getOWLObjectInverseOf(axiom.getFirstProperty().asOWLObjectProperty()))); return log(result); }
@Override public OWLObjectInverseOf visit(OWLObjectInverseOf property) { OWLObjectPropertyExpression inverse = property.getInverse(); if (inverse.isAnonymous()) { return df.getOWLObjectInverseOf(t(property.getNamedProperty())); } return df.getOWLObjectInverseOf(t(inverse.asOWLObjectProperty())); }
@Override public OWLObjectInverseOf buildObject() { return df.getOWLObjectInverseOf(verifyNotNull(getProperty()).asOWLObjectProperty()); } }
@Override public OWLObjectInverseOf visit(OWLObjectInverseOf property) { OWLObjectPropertyExpression inverse = property.getInverse(); if (inverse.isAnonymous()) { return df.getOWLObjectInverseOf(t(property.getNamedProperty())); } return df.getOWLObjectInverseOf(t(inverse.asOWLObjectProperty())); }
@Override public OWLObjectInverseOf buildObject() { return df.getOWLObjectInverseOf(verifyNotNull(getProperty()).asOWLObjectProperty()); } }
@Override public OWLObjectInverseOf buildObject() { return df.getOWLObjectInverseOf(verifyNotNull(getProperty()).asOWLObjectProperty()); } }
@Override public OWLObjectPropertyExpression map(ATermAppl term) { if( ATermUtils.TOP_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLTopObjectProperty(); if( ATermUtils.BOTTOM_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLBottomObjectProperty(); if( ATermUtils.isInv( term ) ) return factory.getOWLObjectInverseOf( OP_MAPPER.map(term) ); return factory.getOWLObjectProperty( iri( term ) ); } }
@Override public OWLObjectPropertyExpression map(ATermAppl term) { if( ATermUtils.TOP_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLTopObjectProperty(); if( ATermUtils.BOTTOM_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLBottomObjectProperty(); if( ATermUtils.isInv( term ) ) return factory.getOWLObjectInverseOf( OP_MAPPER.map(term) ); return factory.getOWLObjectProperty( iri( term ) ); } }
final public OWLObjectPropertyExpression InverseObjectProperty() throws ParseException {OWLObjectProperty prop; jj_consume_token(OBJECTINVERSEOF); jj_consume_token(OPENPAR); prop = ObjectPropertyIRI(); jj_consume_token(CLOSEPAR); return df.getOWLObjectInverseOf(prop); }
final public OWLObjectPropertyExpression InverseObjectProperty() throws ParseException {OWLObjectProperty prop; jj_consume_token(OBJECTINVERSEOF); jj_consume_token(OPENPAR); prop = ObjectPropertyIRI(); jj_consume_token(CLOSEPAR); return df.getOWLObjectInverseOf(prop); }
final public OWLObjectPropertyExpression InverseObjectProperty() throws ParseException {OWLObjectProperty prop; jj_consume_token(OBJECTINVERSEOF); jj_consume_token(OPENPAR); prop = ObjectPropertyIRI(); jj_consume_token(CLOSEPAR); return df.getOWLObjectInverseOf(prop); }
final public OWLObjectPropertyExpression InverseObjectProperty() throws ParseException {OWLObjectProperty prop; jj_consume_token(OBJECTINVERSEOF); jj_consume_token(OPENPAR); prop = ObjectPropertyIRI(); jj_consume_token(CLOSEPAR); return df.getOWLObjectInverseOf(prop); }
@Override public void visit(OWLObjectProperty property) { add(axioms, ontology.axioms(property).filter(this::threewayDisjointObject)); add(axioms, ontology.axioms(SUB_PROPERTY_CHAIN_OF) .filter(ax -> ax.getSuperProperty().equals(property))); OWLObjectInverseOf inverse = ontology.getOWLOntologyManager().getOWLDataFactory() .getOWLObjectInverseOf(property); add(axioms, ontology.axioms(inverse)); }
@Override public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); OWLObjectPropertyExpression prop = df.getOWLObjectInverseOf(axiom .getProperty()); df.getOWLObjectMaxCardinality(1, prop).accept(this); }