Export to HTML+RDFa

[jamesaoverton]

We need a tree view like Gizmos provides with tree. This will consist of two parts:

1. An ontology tree view on the left. This should include the top-level OWL types (Class, Annotation Property, ...), ancestors, and (direct) children. These can be calculated from explicit subClassOf relations. We can use a recursive query like this: https://github.com/ontodev/gizmos/blob/master/gizmos/tree.py#L805.

2. A "term view" on the right, including annotations and logical axioms.

Here's an example using Gizmos: https://www.cmi-pb.org/terminology/CL:0000000.