imported>JJMC89 bot III: Moving :Category:Software using the GPL license to :Category:Software using the GNU General Public License per Wikipedia:Categories for discussion/Speedy

2025-01-08T07:01:11Z

Moving Category:Software using the GPL license to Category:Software using the GNU General Public License per Wikipedia:Categories for discussion/Speedy

New page

{{infobox software
| repo = {{url|https://github.com/ontologyportal/sigmakee}}
| programming language = [[Java (programming language)|Java]]
| license = [[GNU General Public License#Version 3|GPL-3.0 license]]
}}

In the [[computer science]] fields of [[knowledge engineering]] and [[ontology (computer science)|ontology]], the '''Sigma knowledge engineering environment''' (SigmaKEE) is an [[Open-source model|open source]] computer program for the development of formal [[Ontology (computer science)| ontologies]]. It is designed for use with the [[Suggested Upper Merged Ontology]]. It originally included only the [[Vampire theorem prover]] as its core deductive inference engine,<ref>{{cite journal |url=https://cdn.aaai.org/ocs/12/12-2347-1-PB.pdf |title=Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems |journal=Proceedings of the Twenty-Second International FLAIRS Conference |first1=Geoff |last1=Sutcliffe |first2=Aparna |last2=Yerikalapudi |first3=Steven |last3=Trac |year=2009 |access-date=January 16, 2024}}</ref> but now allows use of many other provers that have participated in the [[CADE ATP System Competition|CASC]]/[[Conference on Automated Deduction|CADE]] competitions.<ref name="pease">{{cite journal|url=http://sigma.ontologyportal.org/pe_sch_sigma.pdf|last1=Pease|first1=Adam|last2=Schulz|first2=Stephan|editor1-last=Demri|editor1-first=Stephane|editor2-last=Kapur|editor2-first=Deepak|editor3-first=Christoph|editor3-last=Weidenbach|title=Knowledge Engineering for Large Ontologies with Sigma KEE 3.0|journal=Proc. of the 7th IJCAR, Vienna|date=2014|volume=8562|pages=519–525|series=LNAI|access-date=January 16, 2024}}</ref>

== Overview ==
[[Image:SigmaKEE's data flows and main components.png|400px|thumb|SigmaKEE's data flows and main components]]
SigmaKEE is viewed as an [[integrated development environment]] for ontologies. The user's typical workflow consists of writing the theory content in a [[text editor]] and then [[debugging]] it using the SigmaKEE's tools.<ref name="pease"/>

It is written in [[Java (programming language)|Java]] and uses [[Jakarta Server Pages|JSP]] for its web-based [[user interface]]. The interface allows the user to make queries and statements in [[SUO-KIF]] format and shows proof results with hyperlinks. For each step in the proof, SigmaKEE either points out that it is an assertion in the knowledge base or shows how the step follows from the previous steps using the rules of inference. The interface allows to browse the theory content with hyperlinks and presents hierarchies in a tree-like structure. It also allows to browse [[WordNet]] and Open Multilingual WordNet.<ref name="pease"/>

SigmaKEE supports THF, [[Thousands of Problems for Theorem Provers|TPTP]], SUO-KIF, [[Web Ontology Language|OWL]] and [[Prolog]] formats and is able to translate theories between these formats. The [[E (theorem prover)|theorem prover E]], which supports TPTP standards for input and output, is integrated into SigmaKEE. It provides the <code>e_ltb_runner</code> control program which runs in an interactive mode. This program receives queries and applies relevance filters. It then runs multiple instances of E which search for an answer to the queries. If one of the instances finds the proof, all other instances are stopped and <code>e_ltb_runner</code> returns the answer to the SigmaKEE's [[Frontend and backend|backend]].<ref name="pease"/>

==References==
{{reflist}}

== External links ==
*[http://github.com/ontologyportal/sigmakee Sigma web site]
* [http://www.cs.miami.edu/~tptp/ TPTP/CADE]

[[Category:Ontology (information science)]]
[[Category:Free software programmed in Java (programming language)]]
[[Category:Software using the GNU General Public License]]

Sigma knowledge engineering environment - Revision history

imported>JJMC89 bot III: Moving :Category:Software using the GPL license to :Category:Software using the GNU General Public License per Wikipedia:Categories for discussion/Speedy