public class OWLProfileViolation
extends java.lang.Object
Constructor and Description |
---|
OWLProfileViolation(OWLOntology ontology,
OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
getAxiom() |
IRI |
getDocumentIRI(OWLOntologyID ontID) |
java.util.Set<OWLOntologyID> |
getImportsClosure() |
OWLOntologyID |
getOntologyID() |
public OWLProfileViolation(OWLOntology ontology, OWLAxiom axiom)
ontology
- the ontology with the violationaxiom
- the axiom with the violationpublic OWLAxiom getAxiom()
public OWLOntologyID getOntologyID()
public IRI getDocumentIRI(OWLOntologyID ontID)
ontID
- the id to look forpublic java.util.Set<OWLOntologyID> getImportsClosure()