In the
computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
fields of
knowledge engineering
Knowledge engineering (KE) refers to all technical, scientific and social aspects involved in building, maintaining and using knowledge-based systems.
Background Expert systems
One of the first examples of an expert system was MYCIN, an appl ...
and
ontology
In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality.
Ontology addresses questions like how entities are grouped into categories and which of these entities exis ...
, the Sigma knowledge engineering environment is an
open source
Open source is source code that is made freely available for possible modification and redistribution. Products include permission to use the source code, design documents, or content of the product. The open-source model is a decentralized sof ...
computer program for the development of formal
ontologies. It is designed for use with the
Suggested Upper Merged Ontology
The Suggested Upper Merged Ontology (SUMO) is an upper ontology intended as a foundation ontology for a variety of computer information processing systems. SUMO defines a hierarchy of ''classes'' and related rules and relationships. These are expre ...
. It originally included only the
Vampire theorem prover
Vampire is an automatic theorem prover for first-order classical logic developed in the Department of Computer Science at the University of Manchester. Up to Version 3, it was developed by Andrei Voronkov together with Kryštof Hoder and previo ...
as its core deductive inference engine, but now allows use of many other provers that have participated in the
CASC/
CADE competitions.
References
*
External links
Sigma web siteTPTP/CADE
Ontology (information science)
{{software-stub