123 - Still a few axioms that need to be implemented.- OWL/XML output?- Split some more common idioms out into traits.
- Still a few axioms that need to be implemented.
- OWL/XML output?
- Split some more common idioms out into traits.