public class CardinalityContraintsTools extends Object
Modifier and Type | Class and Description |
---|---|
static class |
CardinalityContraintsTools.CardinalityReporter |
Constructor and Description |
---|
CardinalityContraintsTools() |
Modifier and Type | Method and Description |
---|---|
static CardinalityContraintsTools.CardinalityReporter |
findCardinalityConstraints(org.semanticweb.owlapi.model.OWLOntology ontology)
Find the axioms with cardinality constraints.
|
static void |
removeCardinalityConstraints(org.semanticweb.owlapi.model.OWLOntology ontology)
Remove the cardinality constraints, by removing the axioms and replacing
them with the weaker axioms without the constraints.
|
public static void removeCardinalityConstraints(org.semanticweb.owlapi.model.OWLOntology ontology)
ontology
- public static CardinalityContraintsTools.CardinalityReporter findCardinalityConstraints(org.semanticweb.owlapi.model.OWLOntology ontology)
ontology
- Copyright © 2010–2016. All rights reserved.