public class InsufficientIndividuals extends OWLProfileViolation implements OWL2DLProfileViolation, OWL2ELProfileViolation, OWL2ProfileViolation, OWL2QLProfileViolation, OWL2RLProfileViolation
| Constructor and Description |
|---|
InsufficientIndividuals(OWLOntology ontology,
OWLAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
void |
accept(OWL2DLProfileViolationVisitor visitor) |
void |
accept(OWL2ELProfileViolationVisitor visitor) |
void |
accept(OWL2ProfileViolationVisitor visitor) |
void |
accept(OWL2QLProfileViolationVisitor visitor) |
void |
accept(OWL2RLProfileViolationVisitor visitor) |
String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyIDpublic InsufficientIndividuals(OWLOntology ontology, OWLAxiom axiom)
ontology - ontology with violationaxiom - axiom with violationpublic void accept(OWL2RLProfileViolationVisitor visitor)
accept in interface OWL2RLProfileViolationvisitor - visitor to acceptpublic void accept(OWL2QLProfileViolationVisitor visitor)
accept in interface OWL2QLProfileViolationvisitor - visitor to acceptpublic void accept(OWL2ProfileViolationVisitor visitor)
accept in interface OWL2ProfileViolationvisitor - visitor to acceptpublic void accept(OWL2ELProfileViolationVisitor visitor)
accept in interface OWL2ELProfileViolationvisitor - visitor to acceptpublic void accept(OWL2DLProfileViolationVisitor visitor)
accept in interface OWL2DLProfileViolationvisitor - visitor to acceptCopyright © 2014 The University of Manchester. All Rights Reserved.