tau is a language that encapsulate all its abilities, and the compiler translates it to machine code. see www.idni.org/blog/projectroadmap


the syntax is rdf family, notably notation3, turtle, ntriples/nquads.
tau adds mltt typesystem over rdfs and by that recovers owl (and decidable consistency), but that has nothing to do with the syntax.
playing with cwm/euler(eye) is a great introduction.