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 OBOpublic 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_HANDLERpublic 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.