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