Package de.dfleischhacker.uni.thesis.utils.ontology.nominals

Class Summary
NominalAxiomDetector Class used to detect axioms Kindly provided by Christian Meilicke.
NominalAxiomTranscriber Class used to transcribe nominal axioms.
 

Exception Summary
TranscriptionException Exception to be thrown by NominalAxiomTranscriber on an error.