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.
|
public static final OboInOwlCardinalityTools.AnnotationCardinalityConfictHandler DEFAULT_HANDLER
public static void checkAnnotationCardinality(OWLOntology ontology, @Nullable OboInOwlCardinalityTools.AnnotationCardinalityReporter reporter, @Nullable OboInOwlCardinalityTools.AnnotationCardinalityConfictHandler handler)
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(OWLOntology ontology)
ontology
- the target ontologyOboInOwlCardinalityTools.AnnotationCardinalityException
- throws exception in case a conflict cannot be resolved
by the handlerDEFAULT_HANDLER
public static void checkAnnotationCardinality(OWLOntology ontology, OboInOwlCardinalityTools.AnnotationCardinalityReporter reporter)
ontology
- the target ontologyreporter
- used to report violationsCopyright © 2020 The University of Manchester. All rights reserved.