org.semanticweb.owlapi.model.axiomproviders

Interface SubAxiomProvider

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

public interface SubAxiomProvider

Annotation, datatype and object property range provider.

Method Summary

Modifier and Type	Method and Description
default OWLSubAnnotationPropertyOfAxiom	getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub, OWLAnnotationProperty sup)
OWLSubAnnotationPropertyOfAxiom	getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub, OWLAnnotationProperty sup, Collection<OWLAnnotation> annotations)
default OWLSubClassOfAxiom	getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass)
OWLSubClassOfAxiom	getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass, Collection<OWLAnnotation> annotations)
default OWLSubDataPropertyOfAxiom	getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty, OWLDataPropertyExpression superProperty)
OWLSubDataPropertyOfAxiom	getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty, OWLDataPropertyExpression superProperty, Collection<OWLAnnotation> annotations)
default OWLSubObjectPropertyOfAxiom	getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty)
OWLSubObjectPropertyOfAxiom	getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations)

Method Detail

getOWLSubClassOfAxiom

default OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass,
                                                 OWLClassExpression superClass)

Parameters:

subClass - sub class

superClass - super class

Returns:

a subclass axiom with no annotations

getOWLSubClassOfAxiom

OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass,
                                         OWLClassExpression superClass,
                                         Collection<OWLAnnotation> annotations)

Parameters:

subClass - sub class

superClass - super class

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

Returns:

a subclass axiom with specified annotations

getOWLSubObjectPropertyOfAxiom

default OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty,
                                                                   OWLObjectPropertyExpression superProperty)

Parameters:

subProperty - sub property

superProperty - super property

Returns:

a subproperty axiom

getOWLSubObjectPropertyOfAxiom

OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(OWLObjectPropertyExpression subProperty,
                                                           OWLObjectPropertyExpression superProperty,
                                                           Collection<OWLAnnotation> annotations)

Parameters:

subProperty - sub Property

superProperty - super Property

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

Returns:

a subproperty axiom with annotations

getOWLSubDataPropertyOfAxiom

default OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty,
                                                               OWLDataPropertyExpression superProperty)

Parameters:

subProperty - sub Property

superProperty - super Property

Returns:

a subproperty axiom

getOWLSubDataPropertyOfAxiom

OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression subProperty,
                                                       OWLDataPropertyExpression superProperty,
                                                       Collection<OWLAnnotation> annotations)

Parameters:

subProperty - sub Property

superProperty - super Property

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

Returns:

a subproperty axiom with annotations

getOWLSubAnnotationPropertyOfAxiom

default OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub,
                                                                           OWLAnnotationProperty sup)

Parameters:

sub - sub property

sup - super property

Returns:

a sub annotation property axiom with specified properties

getOWLSubAnnotationPropertyOfAxiom

OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(OWLAnnotationProperty sub,
                                                                   OWLAnnotationProperty sup,
                                                                   Collection<OWLAnnotation> annotations)

Parameters:

sub - sub property

sup - super property

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

Returns:

a sub annotation property axiom with specified properties and annotations