Package org.semanticweb.owlapi.model.axiomproviders

Interface InverseAxiomProvider

All Known Subinterfaces:

OWLDataFactory

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface InverseAxiomProvider

Inverse axiom provider interface.

Method Summary

Modifier and Type	Method	Description
default OWLInverseObjectPropertiesAxiom	getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty)
OWLInverseObjectPropertiesAxiom	getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty, Collection<OWLAnnotation> annotations)

Method Details

getOWLInverseObjectPropertiesAxiom

default OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
 OWLObjectPropertyExpression inverseProperty)

Parameters:

forwardProperty - forward Property

inverseProperty - inverse Property

Returns:

an inverse object property axiom

getOWLInverseObjectPropertiesAxiom

OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty,
 OWLObjectPropertyExpression inverseProperty,
 Collection<OWLAnnotation> annotations)

Parameters:

forwardProperty - forward Property

inverseProperty - inverse Property

annotations - A set of annotations. Cannot be null or contain nulls.

Returns:

an inverse object property axiom with annotations