org.semanticweb.owlapi.model.axiomproviders

Interface DisjointUnionAxiomProvider

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface DisjointUnionAxiomProvider

Disjoint union provider.

Method Summary

Modifier and Type	Method and Description
default OWLDisjointUnionAxiom	getOWLDisjointUnionAxiom(OWLClass owlClass, Collection<? extends OWLClassExpression> classExpressions)
default OWLDisjointUnionAxiom	getOWLDisjointUnionAxiom(OWLClass owlClass, Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
default OWLDisjointUnionAxiom	getOWLDisjointUnionAxiom(OWLClass owlClass, Stream<? extends OWLClassExpression> classExpressions)
OWLDisjointUnionAxiom	getOWLDisjointUnionAxiom(OWLClass owlClass, Stream<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)

Method Detail

getOWLDisjointUnionAxiom

default OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
                                                       Collection<? extends OWLClassExpression> classExpressions)

Parameters:

owlClass - left hand side of the axiom.

classExpressions - right hand side of the axiom. Cannot be null or contain nulls.

Returns:

a disjoint union axiom

getOWLDisjointUnionAxiom

default OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
                                                       Collection<? extends OWLClassExpression> classExpressions,
                                                       Collection<OWLAnnotation> annotations)

Parameters:

owlClass - left hand side of the axiom. Cannot be null.

classExpressions - right hand side of the axiom. Cannot be null or contain nulls.

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

Returns:

a disjoint union axiom with annotations

getOWLDisjointUnionAxiom

default OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
                                                       Stream<? extends OWLClassExpression> classExpressions)

Parameters:

owlClass - left hand side of the axiom.

classExpressions - right hand side of the axiom. Cannot be null or contain nulls.

Returns:

a disjoint union axiom

getOWLDisjointUnionAxiom

OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
                                               Stream<? extends OWLClassExpression> classExpressions,
                                               Collection<OWLAnnotation> annotations)

Parameters:

owlClass - left hand side of the axiom. Cannot be null.

classExpressions - right hand side of the axiom. Cannot be null or contain nulls.

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

Returns:

a disjoint union axiom with annotations