public final class OboInOwlCardinalityTools extends Object
Modifier and Type | Class and Description |
---|---|
static interface |
OboInOwlCardinalityTools.AnnotationCardinalityConfictHandler
Functor for resolving conflicts for an annotation property and its
cardinality constraint.
|
static class |
OboInOwlCardinalityTools.AnnotationCardinalityException
Exception indication a non-resolvable conflict for an annotation property
and its cardinality constraint.
|
static interface |
OboInOwlCardinalityTools.AnnotationCardinalityReporter
Functor for reporting conflicts for an annotation property and its
cardinality constraint.
|
Modifier and Type | Field and Description |
---|---|
static OboInOwlCardinalityTools.AnnotationCardinalityConfictHandler |
DEFAULT_HANDLER
default handler
|
Modifier and Type | Method and Description |
---|---|
static void |
checkAnnotationCardinality(OWLOntology ontology)
Check the annotations for cardinality violations.
|
static void |
checkAnnotationCardinality(OWLOntology ontology,
OboInOwlCardinalityTools.AnnotationCardinalityReporter reporter)
Check the annotations for cardinality violations.
|
static void |
checkAnnotationCardinality(OWLOntology ontology,
OboInOwlCardinalityTools.AnnotationCardinalityReporter reporter,
OboInOwlCardinalityTools.AnnotationCardinalityConfictHandler handler)
Check the annotations for cardinality violations.
|
@Nonnull public static final OboInOwlCardinalityTools.AnnotationCardinalityConfictHandler DEFAULT_HANDLER
public static void checkAnnotationCardinality(@Nonnull OWLOntology ontology, @Nullable OboInOwlCardinalityTools.AnnotationCardinalityReporter reporter, @Nullable OboInOwlCardinalityTools.AnnotationCardinalityConfictHandler handler) throws OboInOwlCardinalityTools.AnnotationCardinalityException
ontology
- the target ontologyreporter
- reporterhandler
- the conflict handlerOboInOwlCardinalityTools.AnnotationCardinalityException
- throws exception in case a conflict cannot be resolved by the
handlerfor implementation in OBO
public static void checkAnnotationCardinality(@Nonnull OWLOntology ontology) throws OboInOwlCardinalityTools.AnnotationCardinalityException
ontology
- the target ontologyOboInOwlCardinalityTools.AnnotationCardinalityException
- throws exception in case a conflict cannot be resolved by the
handlerDEFAULT_HANDLER
public static void checkAnnotationCardinality(@Nonnull OWLOntology ontology, OboInOwlCardinalityTools.AnnotationCardinalityReporter reporter)
ontology
- the target ontologyreporter
- used to report violationsCopyright © 2020 The University of Manchester. All rights reserved.