Sigma knowledge engineering environment

Computer scientists are more frequently creating formal descriptions for data in large databases and networked software systems. As these systems grow larger, the potential for misunderstanding is growing and more formal approaches to describing data and the meaning of each data element are becoming more common. Such work is increasing drawing on elements of Artificial Intelligence, and a long history of deductive reasoning in logic. There have also been considerable advances in practical deductive reasoning for expert systems applications. As with any computer language, it helps to have good development tools, and logic-based languages are no exception.

Sigma is open source computer software 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.

• Sigma web site