@FunctionalInterface public interface InverseAxiomProvider
Modifier and Type | Method and Description |
---|---|
default OWLInverseObjectPropertiesAxiom |
getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
OWLObjectPropertyExpression inverseProperty) |
OWLInverseObjectPropertiesAxiom |
getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
OWLObjectPropertyExpression inverseProperty,
Collection<OWLAnnotation> annotations) |
default OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty)
forwardProperty
- forward PropertyinverseProperty
- inverse PropertyOWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty, Collection<OWLAnnotation> annotations)
forwardProperty
- forward PropertyinverseProperty
- inverse Propertyannotations
- A set of annotations. Cannot be null or contain nulls.Copyright © 2020 The University of Manchester. All rights reserved.