public class UseOfIllegalFacetRestriction extends OWLProfileViolation implements OWL2ProfileViolation
Constructor and Description |
---|
UseOfIllegalFacetRestriction(OWLOntology ontology,
OWLAxiom axiom,
OWLDatatypeRestriction dtr,
OWLFacet facet) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2ProfileViolationVisitor visitor) |
OWLDatatypeRestriction |
getDatatypeRestriction() |
OWLFacet |
getFacet() |
String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public UseOfIllegalFacetRestriction(OWLOntology ontology, OWLAxiom axiom, OWLDatatypeRestriction dtr, OWLFacet facet)
ontology
- wrong ontologyaxiom
- wrong axiomdtr
- wrong datatype restrictionfacet
- wrong facetpublic void accept(OWL2ProfileViolationVisitor visitor)
accept
in interface OWL2ProfileViolation
visitor
- visitor to acceptpublic OWLDatatypeRestriction getDatatypeRestriction()
public OWLFacet getFacet()
Copyright © 2017 The University of Manchester. All Rights Reserved.