Direct mapping to Horn Logic. Yesterday, we realized it's very much like N3. Very close to RDF schema. Easy to create classes, subclasses, instances. Can output as rdfs, rdf, and UML-like graphs.
System can deduce things and decide bottom concepts.
Primary focus is extensibility. Perhaps in a future version. It bothers me that these systems put out all this unnecessary output. A lot like Guha's RDFdb language. Basic idea is to keep things simple so that RDF could be accessible to normal people with scripting and web pages.