OntoDL+
OntoDL+ is a domain-specific language for describing ontologies. A compiler reads a specification and writes the same ontology in OWL, DOT, Alloy, and Prolog.
Alexandre Costa Dias created the language at the University of Minho in 2021, as an extension of OntoDL. Pedro Rangel Henriques and Cristiana Esteves Araújo supervised the master’s thesis.
This site documents the language and publishes a reconstructed grammar. The compiler itself is not hosted here. Use the JAR on the official download page.