org.semanticweb.owlapi.model.axiomproviders

Interface EquivalentAxiomProvider

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

public interface EquivalentAxiomProvider

Equivalent classes and properties provider.

Method Summary

Modifier and Type	Method and Description
default OWLEquivalentClassesAxiom	getOWLEquivalentClassesAxiom(Collection<? extends OWLClassExpression> classExpressions)
OWLEquivalentClassesAxiom	getOWLEquivalentClassesAxiom(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
default OWLEquivalentClassesAxiom	getOWLEquivalentClassesAxiom(OWLClassExpression... classExpressions)
default OWLEquivalentClassesAxiom	getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB)
default OWLEquivalentClassesAxiom	getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB, Collection<OWLAnnotation> annotations)
default OWLEquivalentClassesAxiom	getOWLEquivalentClassesAxiom(Stream<? extends OWLClassExpression> classExpressions)
default OWLEquivalentDataPropertiesAxiom	getOWLEquivalentDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties)
OWLEquivalentDataPropertiesAxiom	getOWLEquivalentDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties, Collection<OWLAnnotation> annotations)
default OWLEquivalentDataPropertiesAxiom	getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression... properties)
default OWLEquivalentDataPropertiesAxiom	getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA, OWLDataPropertyExpression propertyB)
default OWLEquivalentDataPropertiesAxiom	getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA, OWLDataPropertyExpression propertyB, Collection<OWLAnnotation> annotations)
default OWLEquivalentObjectPropertiesAxiom	getOWLEquivalentObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties)
OWLEquivalentObjectPropertiesAxiom	getOWLEquivalentObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations)
default OWLEquivalentObjectPropertiesAxiom	getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
default OWLEquivalentObjectPropertiesAxiom	getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA, OWLObjectPropertyExpression propertyB)
default OWLEquivalentObjectPropertiesAxiom	getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA, OWLObjectPropertyExpression propertyB, Collection<OWLAnnotation> annotations)

Method Detail

getOWLEquivalentClassesAxiom

default OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(Collection<? extends OWLClassExpression> classExpressions)

Parameters:

classExpressions - equivalent classes. Cannot be null or contain nulls.

Returns:

an equivalent classes axiom with specified operands and no annotations

getOWLEquivalentClassesAxiom

default OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(Stream<? extends OWLClassExpression> classExpressions)

Parameters:

classExpressions - equivalent classes. Cannot be null or contain nulls.

Returns:

an equivalent classes axiom with specified operands and no annotations

getOWLEquivalentClassesAxiom

OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(Collection<? extends OWLClassExpression> classExpressions,
                                                       Collection<OWLAnnotation> annotations)

Parameters:

classExpressions - equivalent classes. Cannot be null or contain nulls.

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

Returns:

an equivalent classes axiom with specified operands and annotations

getOWLEquivalentClassesAxiom

default OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression... classExpressions)

Parameters:

classExpressions - equivalent classes. Cannot be null or contain nulls.

Returns:

an equivalent classes axiom with specified operands and no annotations

getOWLEquivalentClassesAxiom

default OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression clsA,
                                                               OWLClassExpression clsB)

Parameters:

clsA - one class for equivalence

clsB - one class for equivalence

Returns:

an equivalent classes axiom with specified operands and no annotations (special case with only two operands)

getOWLEquivalentClassesAxiom

default OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(OWLClassExpression clsA,
                                                               OWLClassExpression clsB,
                                                               Collection<OWLAnnotation> annotations)

Parameters:

clsA - one class for equivalence

clsB - one class for equivalence

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

Returns:

an equivalent classes axiom with specified operands and annotations (special case with only two operands)

getOWLEquivalentObjectPropertiesAxiom

default OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties)

Parameters:

properties - Cannot be null or contain nulls.

Returns:

an equivalent properties axiom with specified properties

getOWLEquivalentObjectPropertiesAxiom

OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties,
                                                                         Collection<OWLAnnotation> annotations)

Parameters:

properties - Cannot be null or contain nulls.

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

Returns:

an equivalent properties axiom with specified properties and annotations

getOWLEquivalentObjectPropertiesAxiom

default OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)

Parameters:

properties - Cannot be null or contain nulls.

Returns:

an equivalent properties axiom with specified properties

getOWLEquivalentObjectPropertiesAxiom

default OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA,
                                                                                 OWLObjectPropertyExpression propertyB)

Parameters:

propertyA - property A

propertyB - property B

Returns:

an equivalent properties axiom with specified properties

getOWLEquivalentObjectPropertiesAxiom

default OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression propertyA,
                                                                                 OWLObjectPropertyExpression propertyB,
                                                                                 Collection<OWLAnnotation> annotations)

Parameters:

propertyA - property A

propertyB - property B

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

Returns:

an equivalent properties axiom with specified properties and annotations

getOWLEquivalentDataPropertiesAxiom

default OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties)

Parameters:

properties - Cannot be null or contain nulls.

Returns:

an equivalent data properties axiom

getOWLEquivalentDataPropertiesAxiom

OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties,
                                                                     Collection<OWLAnnotation> annotations)

Parameters:

properties - properties

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

Returns:

an equivalent data properties axiom with annotations

getOWLEquivalentDataPropertiesAxiom

default OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression... properties)

Parameters:

properties - Cannot be null or contain nulls.

Returns:

an equivalent data properties axiom

getOWLEquivalentDataPropertiesAxiom

default OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA,
                                                                             OWLDataPropertyExpression propertyB)

Parameters:

propertyA - property A

propertyB - property B

Returns:

an equivalent data properties axiom

getOWLEquivalentDataPropertiesAxiom

default OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(OWLDataPropertyExpression propertyA,
                                                                             OWLDataPropertyExpression propertyB,
                                                                             Collection<OWLAnnotation> annotations)

Parameters:

propertyA - property A

propertyB - property B

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

Returns:

an equivalent data properties axiom with annotations