public class UseOfNonSimplePropertyInCardinalityRestriction extends OWLProfileViolation implements OWL2DLProfileViolation
Constructor and Description |
---|
UseOfNonSimplePropertyInCardinalityRestriction(OWLOntology ontology,
OWLAxiom axiom,
OWLObjectCardinalityRestriction restriction) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2DLProfileViolationVisitor visitor) |
OWLObjectCardinalityRestriction |
getOWLCardinalityRestriction() |
String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public UseOfNonSimplePropertyInCardinalityRestriction(OWLOntology ontology, OWLAxiom axiom, OWLObjectCardinalityRestriction restriction)
ontology
- wrong ontologyaxiom
- wrong axiomrestriction
- wrong propertypublic void accept(OWL2DLProfileViolationVisitor visitor)
accept
in interface OWL2DLProfileViolation
visitor
- visitor to acceptpublic OWLObjectCardinalityRestriction getOWLCardinalityRestriction()
Copyright © 2017 The University of Manchester. All Rights Reserved.