Sigma knowledge engineering environment
Encyclopedia
In the computer science
fields of knowledge engineering
and ontology
, the Sigma knowledge engineering environment is an open source
computer program for the development of formal 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, but now allows use of many other provers that have participated in the TPTP/CADE competitions.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
fields of knowledge engineering
Knowledge engineering
Knowledge engineering was defined in 1983 by Edward Feigenbaum, and Pamela McCorduck as follows:At present, it refers to the building, maintaining and development of knowledge-based systems...
and ontology
Ontology (computer science)
In computer science and information science, an ontology formally represents knowledge as a set of concepts within a domain, and the relationships between those concepts. It can be used to reason about the entities within that domain and may be used to describe the domain.In theory, an ontology is...
, the Sigma knowledge engineering environment is an open source
Open source
The term open source describes practices in production and development that promote access to the end product's source materials. Some consider open source a philosophy, others consider it a pragmatic methodology...
computer program for the development of formal ontologies
Ontology (computer science)
In computer science and information science, an ontology formally represents knowledge as a set of concepts within a domain, and the relationships between those concepts. It can be used to reason about the entities within that domain and may be used to describe the domain.In theory, an ontology is...
. It is designed for use with the Suggested Upper Merged Ontology
Suggested Upper Merged Ontology
The Suggested Upper Merged Ontology or SUMO is an upper ontology intended as a foundation ontology for a variety of computer information processing systems. It was originally developed by the Teknowledge Corporation and now is maintained by . It is one candidate for the "standard upper ontology"...
. It originally included only the Vampire theorem prover
Vampire theorem prover
Vampire is an automatic theorem prover for first-order classical logic developed in the Computer Science Department of the University of Manchester byProf. Andrei Voronkov together with Kryštof Hoder and previously with Dr. Alexandre Riazanov...
as its core deductive inference engine, but now allows use of many other provers that have participated in the TPTP/CADE competitions.