Overview: SMOL is an imperative, object-oriented research language that seamlessly integrates programs and knowledge bases. It features a built-in reflection of the program state in the knowledge base, allowing for knowledge bases to be queried directly from programs. SMOL encapsulates simulators based on the FMI standard into objects and integrates them into the class and type systems. SMOL can be used as a framework for developing digital twins by integrating knowledge graphs to capture asset models. The language addresses challenges in engineering digital twin applications using a language-based approach to enable efficient development and explore analysis and design. SMOL also supports semantic web technologies, such as semantic lifting of program state using RDF triples and standard semantic web technologies like SPARQL. This feature allows external ontologies to provide additional semantics to the lifted program state.

Available at: http://smolang.org/index.html