org.semanticweb.owlapi.model.axiomproviders

Interface DisjointAxiomProvider

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

public interface DisjointAxiomProvider

Disjoint classes and properties provider.

Method Summary

Modifier and Type	Method and Description
default OWLDisjointClassesAxiom	getOWLDisjointClassesAxiom(Collection<? extends OWLClassExpression> classExpressions)
OWLDisjointClassesAxiom	getOWLDisjointClassesAxiom(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
default OWLDisjointClassesAxiom	getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)
default OWLDisjointClassesAxiom	getOWLDisjointClassesAxiom(OWLClassExpression classA, OWLClassExpression classB, Collection<OWLAnnotation> annotations)
default OWLDisjointClassesAxiom	getOWLDisjointClassesAxiom(java.util.stream.Stream<? extends OWLClassExpression> classExpressions)
default OWLDisjointClassesAxiom	getOWLDisjointClassesAxiom(java.util.stream.Stream<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
default OWLDisjointDataPropertiesAxiom	getOWLDisjointDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties)
OWLDisjointDataPropertiesAxiom	getOWLDisjointDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties, Collection<OWLAnnotation> annotations)
default OWLDisjointDataPropertiesAxiom	getOWLDisjointDataPropertiesAxiom(OWLDataPropertyExpression... dataProperties)
default OWLDisjointDataPropertiesAxiom	getOWLDisjointDataPropertiesAxiom(OWLDataPropertyExpression p, OWLDataPropertyExpression q, Collection<OWLAnnotation> annotations)
default OWLDisjointObjectPropertiesAxiom	getOWLDisjointObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties)
OWLDisjointObjectPropertiesAxiom	getOWLDisjointObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations)
default OWLDisjointObjectPropertiesAxiom	getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
default OWLDisjointObjectPropertiesAxiom	getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression p, OWLObjectPropertyExpression q, Collection<OWLAnnotation> annotations)

Method Detail

getOWLDisjointClassesAxiom

default OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(Collection<? extends OWLClassExpression> classExpressions)

Parameters:

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

Returns:

a disjoint class axiom with no annotations

getOWLDisjointClassesAxiom

default OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)

Parameters:

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

Returns:

a disjoint class axiom with no annotations

getOWLDisjointClassesAxiom

OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(Collection<? extends OWLClassExpression> classExpressions,
                                                   Collection<OWLAnnotation> annotations)

Parameters:

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

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

Returns:

a disjoint class axiom with annotations

getOWLDisjointClassesAxiom

default OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(OWLClassExpression classA,
                                                           OWLClassExpression classB,
                                                           Collection<OWLAnnotation> annotations)

Parameters:

classA - Disjoint class.

classB - Disjoint class.

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

Returns:

a disjoint class axiom with annotations

getOWLDisjointClassesAxiom

default OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(java.util.stream.Stream<? extends OWLClassExpression> classExpressions,
                                                           Collection<OWLAnnotation> annotations)

Parameters:

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

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

Returns:

a disjoint class axiom with annotations

getOWLDisjointClassesAxiom

default OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(java.util.stream.Stream<? extends OWLClassExpression> classExpressions)

Parameters:

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

Returns:

a disjoint class axiom with annotations

getOWLDisjointObjectPropertiesAxiom

default OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties)

Parameters:

properties - Cannot be null or contain nulls.

Returns:

a disjoint object properties axiom with specified properties

getOWLDisjointObjectPropertiesAxiom

default OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)

Parameters:

properties - Cannot be null or contain nulls.

Returns:

a disjoint object properties axiom with specified properties

getOWLDisjointObjectPropertiesAxiom

OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(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:

a disjoint object properties axiom with specified properties and annotations

getOWLDisjointObjectPropertiesAxiom

default OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression p,
                                                                             OWLObjectPropertyExpression q,
                                                                             Collection<OWLAnnotation> annotations)

Parameters:

p - Disjoint property

q - Disjoint property

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

Returns:

a disjoint object properties axiom with specified properties and annotations

getOWLDisjointDataPropertiesAxiom

default OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(OWLDataPropertyExpression... dataProperties)

Parameters:

dataProperties - Cannot be null or contain nulls.

Returns:

a disjoint data properties axiom with specified properties

getOWLDisjointDataPropertiesAxiom

default OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties)

Parameters:

properties - Cannot be null or contain nulls.

Returns:

a disjoint data properties axiom with specified properties

getOWLDisjointDataPropertiesAxiom

OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(Collection<? extends OWLDataPropertyExpression> properties,
                                                                 Collection<OWLAnnotation> annotations)

Parameters:

properties - Cannot be null or contain nulls.

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

Returns:

a disjoint data properties axiom with specified properties and annotations

getOWLDisjointDataPropertiesAxiom

default OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(OWLDataPropertyExpression p,
                                                                         OWLDataPropertyExpression q,
                                                                         Collection<OWLAnnotation> annotations)

Parameters:

p - Disjoint property

q - Disjoint property

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

Returns:

a disjoint data properties axiom with specified properties and annotations