public class UseOfAnonymousIndividual extends OWLProfileViolation implements OWL2ELProfileViolation, OWL2QLProfileViolation
| Constructor and Description |
|---|
UseOfAnonymousIndividual(OWLOntology ontology,
OWLAxiom axiom,
OWLAnonymousIndividual individual) |
| Modifier and Type | Method and Description |
|---|---|
void |
accept(OWL2ELProfileViolationVisitor visitor) |
void |
accept(OWL2QLProfileViolationVisitor visitor) |
OWLAnonymousIndividual |
getOWLAnonymousIndividual() |
String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyIDpublic UseOfAnonymousIndividual(OWLOntology ontology, OWLAxiom axiom, OWLAnonymousIndividual individual)
ontology - wrong ontologyaxiom - wrong axiomindividual - wrong individualpublic void accept(OWL2ELProfileViolationVisitor visitor)
accept in interface OWL2ELProfileViolationvisitor - visitor to acceptpublic void accept(OWL2QLProfileViolationVisitor visitor)
accept in interface OWL2QLProfileViolationvisitor - visitor to acceptpublic OWLAnonymousIndividual getOWLAnonymousIndividual()
Copyright © 2014 The University of Manchester. All Rights Reserved.