Homepage of Alexander Paar

last update: 11/26/2016

The Zhi# Programming Language

is an extension of ECMA-334 standard C# 1.0 with compiler and runtime support for XML Schema Definition (XSD) data types and the Web Ontology Language (OWL).

In Zhi#, it is possible to natively reference external type definitions and to cooperatively use these external types along with conventional C# programming language features such as method overriding. The Zhi# compiler framework is extensible with respect to external typing mechanisms (e.g., subsumption, type derivation, type inference).

The type system features of the C# host language can be extended by external compiler components. In the current implementation, the Zhi# compiler framework includes two external compiler components, which provide type checking and program transformation functionality for XML Schema Definition and the Web Ontology Language.

Zhi# programs don't just execute, they reason!

Software License

The Zhi# compiler framework is available under the terms of the GNU GENERAL PUBLIC LICENSE version 3 license.


Zhi# Video Demos

Zhi# programming language


Zhi# Video Demos


Feel free to comment on the Zhi# video demos on YouTube.


The Zhi# approach was presented in a keynote speech at the Symposium on Languages, Applications, and Technologies (SLATE'12)


Read about the Zhi# approach in the Extended Semantic Web Conference (ESWC'11) paper Zhi# - OWL Aware Compilation