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 practical disciplines (includin ...

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 ...

, 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 pre ...

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 site

TPTP/CADE
Ontology (information science) {{software-stub