public class LastPropertyInChainNotInImposedRange extends OWLProfileViolation implements OWL2ELProfileViolation
Constructor and Description |
---|
LastPropertyInChainNotInImposedRange(OWLOntology ontology,
OWLSubPropertyChainOfAxiom axiom,
OWLObjectPropertyRangeAxiom rangeAxiom) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2ELProfileViolationVisitor visitor) |
OWLObjectPropertyRangeAxiom |
getOWLObjectPropertyRangeAxiom() |
OWLSubPropertyChainOfAxiom |
getOWLSubPropertyChainOfAxiom() |
String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public LastPropertyInChainNotInImposedRange(OWLOntology ontology, OWLSubPropertyChainOfAxiom axiom, OWLObjectPropertyRangeAxiom rangeAxiom)
ontology
- ontology with violationaxiom
- axiom with violationrangeAxiom
- range axiompublic void accept(OWL2ELProfileViolationVisitor visitor)
accept
in interface OWL2ELProfileViolation
visitor
- visitor to acceptpublic OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom()
public OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom()
Copyright © 2017 The University of Manchester. All Rights Reserved.