public class UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom extends OWLProfileViolation implements OWL2DLProfileViolation
Constructor and Description |
---|
UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom(OWLOntology ontology,
OWLAsymmetricObjectPropertyAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2DLProfileViolationVisitor visitor) |
OWLAsymmetricObjectPropertyAxiom |
getAxiom() |
String |
toString() |
getDocumentIRI, getImportsClosure, getOntologyID
public UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom(OWLOntology ontology, OWLAsymmetricObjectPropertyAxiom axiom)
ontology
- wrong ontologyaxiom
- wrong axiompublic OWLAsymmetricObjectPropertyAxiom getAxiom()
getAxiom
in class OWLProfileViolation
public void accept(OWL2DLProfileViolationVisitor visitor)
accept
in interface OWL2DLProfileViolation
visitor
- visitor to acceptCopyright © 2017 The University of Manchester. All Rights Reserved.