public class UseOfIllegalFacetRestriction extends OWLProfileViolation
Constructor and Description |
---|
UseOfIllegalFacetRestriction(OWLOntology ontology,
OWLAxiom axiom,
OWLDatatypeRestriction dtr,
OWLFacet facet) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLProfileViolationVisitor visitor)
Visitor accept method.
|
<O> Optional<O> |
accept(OWLProfileViolationVisitorEx<O> visitor) |
OWLFacet |
getExpression() |
String |
toString() |
getAxiom, getOntology, getOntologyID, repair
public UseOfIllegalFacetRestriction(OWLOntology ontology, @Nullable OWLAxiom axiom, OWLDatatypeRestriction dtr, OWLFacet facet)
ontology
- ontologyaxiom
- axiomdtr
- datatype restrictionfacet
- facetpublic OWLFacet getExpression()
getExpression
in class OWLProfileViolation
public void accept(OWLProfileViolationVisitor visitor)
OWLProfileViolation
accept
in class OWLProfileViolation
visitor
- visitorpublic <O> Optional<O> accept(OWLProfileViolationVisitorEx<O> visitor)
accept
in class OWLProfileViolation
O
- visitor return typevisitor
- visitorCopyright © 2020 The University of Manchester. All rights reserved.