Package org.semanticweb.owlapi.model.axiomproviders

Interface SubAxiomProvider

All Known Subinterfaces:

OWLDataFactory

public interface SubAxiomProvider

Annotation, datatype and object property range provider.

Method Summary

Modifier and Type	Method	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 Details

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