rOntorion

MaRDI QIDQ43070swMATHFDO

Official website https://www.cognitum.eu/semantics/FluentEditor/rOntorionFE.aspx

Cited in

(4)

• NeOn
• Isabelle/DOF
• Fluent Editor
• Using the Isabelle ontology framework -- linking the formal with the informal

This page was built for software: rOntorion