public class OWLProfileViolation extends Object
Constructor and Description |
---|
OWLProfileViolation(OWLOntology ontology,
OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
OWLAxiom |
getAxiom() |
IRI |
getDocumentIRI(OWLOntologyID ontID) |
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 Set<OWLOntologyID> getImportsClosure()
Copyright © 2017 The University of Manchester. All Rights Reserved.