-
Notifications
You must be signed in to change notification settings - Fork 1
Tool
Adam Pease
Sigma is an integrated development environment for developing, debugging and deploying applications involving the Suggested Upper Merged Ontology
Sigma and the associated SUMOjEdit editor provides the sort of development environment for a large logical theory that is comparable to programming in Java with IntelliJ. There is a text editor with code coloring and syntax checking, SUMO is a reusable library of logical theory elements that can be extended, and Sigma provides browsing and debugging tools along with translation of SUMO to different TPTP logics including TPTP FOF, TFF/TFA and THF/TH0. Sigma also provides a deployment environment integrating several theorem provers including Vampire, EProver, iProver and LEO-III.
There are installation videos for Sigma and SUMOjEdit, as well as demos, explanations of how to use the tools and how to code in SUMO at https://youtube.com/@adampease
The official repository of the tool.
Pease, A., Schulz, S., (2014). Knowledge Engineering for Large Ontologies with Sigma KEE 3.0, in Proceedings of IJCAR-2014.
Pease, A., (2020). A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (system description) Proc. of IJCAR-2020: Vol. 12167, Lecture Notes in Computer Science, Springer.