Welcome to DOLiator, the web interface to our implementation of the Distributed Ontology, Modeling and Specification Language (DOL)
Select a local DOL file as library or enter a DOL specification in the text area or choose one of the minimal examples from the right hand side and press "Submit".