org.semanticweb.owlapi.model.axiomproviders

Interface PropertyCharacteristicAxiomProvider

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

public interface PropertyCharacteristicAxiomProvider

Property characteristic axioms provider (functional, transitive, etc.).

Method Summary

Modifier and Type	Method and Description
default OWLAsymmetricObjectPropertyAxiom	getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression)
OWLAsymmetricObjectPropertyAxiom	getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression, Collection<OWLAnnotation> annotations)
default OWLFunctionalDataPropertyAxiom	getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property)
OWLFunctionalDataPropertyAxiom	getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property, Collection<OWLAnnotation> annotations)
default OWLFunctionalObjectPropertyAxiom	getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLFunctionalObjectPropertyAxiom	getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
default OWLInverseFunctionalObjectPropertyAxiom	getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLInverseFunctionalObjectPropertyAxiom	getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
default OWLIrreflexiveObjectPropertyAxiom	getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLIrreflexiveObjectPropertyAxiom	getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
default OWLReflexiveObjectPropertyAxiom	getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLReflexiveObjectPropertyAxiom	getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
default OWLSymmetricObjectPropertyAxiom	getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLSymmetricObjectPropertyAxiom	getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)
default OWLTransitiveObjectPropertyAxiom	getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
OWLTransitiveObjectPropertyAxiom	getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations)

Method Detail

getOWLFunctionalObjectPropertyAxiom

default OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)

Parameters:

property - property

Returns:

a functional object property axiom

getOWLFunctionalObjectPropertyAxiom

OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                     Collection<OWLAnnotation> annotations)

Parameters:

property - property

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

Returns:

a functional object property axiom with annotations

getOWLInverseFunctionalObjectPropertyAxiom

default OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)

Parameters:

property - property

Returns:

an inverse functional object property axiom

getOWLInverseFunctionalObjectPropertyAxiom

OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                                   Collection<OWLAnnotation> annotations)

Parameters:

property - property

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

Returns:

an inverse functional object property axiom with annotations

getOWLReflexiveObjectPropertyAxiom

default OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)

Parameters:

property - property

Returns:

a reflexive object property axiom

getOWLReflexiveObjectPropertyAxiom

OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                   Collection<OWLAnnotation> annotations)

Parameters:

property - property

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

Returns:

a reflexive object property axiom with annotations

getOWLIrreflexiveObjectPropertyAxiom

default OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)

Parameters:

property - property

Returns:

an irreflexive object property axiom

getOWLIrreflexiveObjectPropertyAxiom

OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                       Collection<OWLAnnotation> annotations)

Parameters:

property - property

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

Returns:

an irreflexive object property axiom with annotations

getOWLSymmetricObjectPropertyAxiom

default OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)

Parameters:

property - property

Returns:

a symmetric property axiom

getOWLSymmetricObjectPropertyAxiom

OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                   Collection<OWLAnnotation> annotations)

Parameters:

property - property

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

Returns:

a symmetric property axiom with annotations

getOWLAsymmetricObjectPropertyAxiom

default OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression)

Parameters:

propertyExpression - property Expression

Returns:

an asymmetric object property axiom on the specified argument

getOWLAsymmetricObjectPropertyAxiom

OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression propertyExpression,
                                                                     Collection<OWLAnnotation> annotations)

Parameters:

propertyExpression - property Expression

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

Returns:

an asymmetric object property axiom on the specified argument with annotations

getOWLTransitiveObjectPropertyAxiom

default OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)

Parameters:

property - property

Returns:

a transitive object property axiom on the specified argument

getOWLTransitiveObjectPropertyAxiom

OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property,
                                                                     Collection<OWLAnnotation> annotations)

Parameters:

property - property

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

Returns:

a transitive object property axiom on the specified argument with annotations

getOWLFunctionalDataPropertyAxiom

default OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property)

Parameters:

property - property

Returns:

a functional data property axiom

getOWLFunctionalDataPropertyAxiom

OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(OWLDataPropertyExpression property,
                                                                 Collection<OWLAnnotation> annotations)

Parameters:

property - property

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

Returns:

a functional data property axiom with annotations