public abstract class OWLProfileViolation extends Object
Constructor and Description |
---|
OWLProfileViolation(OWLOntology ontology,
OWLAxiom axiom,
Object o) |
Modifier and Type | Method and Description |
---|---|
abstract void |
accept(OWLProfileViolationVisitor visitor)
Visitor accept method.
|
abstract <O> Optional<O> |
accept(OWLProfileViolationVisitorEx<O> visitor) |
OWLAxiom |
getAxiom() |
Object |
getExpression() |
OWLOntology |
getOntology() |
OWLOntologyID |
getOntologyID() |
List<OWLOntologyChange> |
repair() |
public OWLProfileViolation(OWLOntology ontology, @Nullable OWLAxiom axiom, @Nullable Object o)
ontology
- the ontology with the violationaxiom
- the axiom with the violationo
- violation expressionpublic OWLOntologyID getOntologyID()
public OWLOntology getOntology()
public Object getExpression()
public OWLAxiom getAxiom()
public List<OWLOntologyChange> repair()
public abstract void accept(OWLProfileViolationVisitor visitor)
visitor
- visitorpublic abstract <O> Optional<O> accept(OWLProfileViolationVisitorEx<O> visitor)
O
- visitor return typevisitor
- visitorCopyright © 2020 The University of Manchester. All rights reserved.