org.semanticweb.owlapi.model.axiomproviders

Interface InverseAxiomProvider

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

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 and Description
default OWLInverseObjectPropertiesAxiom	getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty)
OWLInverseObjectPropertiesAxiom	getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty, Collection<OWLAnnotation> annotations)

Method Detail

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