- Still a few axioms that need to be implemented.
- OWL/XML output?
