@FunctionalInterface public interface DisjointUnionAxiomProvider
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) |
default OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass, Collection<? extends OWLClassExpression> classExpressions)
owlClass
- left hand side of the axiom.classExpressions
- right hand side of the axiom. Cannot be null or contain nulls.default OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass, Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
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.default OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass, Stream<? extends OWLClassExpression> classExpressions)
owlClass
- left hand side of the axiom.classExpressions
- right hand side of the axiom. Cannot be null or contain nulls.OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass, Stream<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
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.Copyright © 2020 The University of Manchester. All rights reserved.