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 © 2014 The University of Manchester. All Rights Reserved.