Resource Type:
Project
License:
GNU General Public License version 2.0 (GPLv2)
Language:
Data Format:
KIF
Description
Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org. For the underlying reasoning system it uses the Vampire automated theorem prover.
Categorized in: Representation and Reasoning | Automated Theorem Proving | Logic & Formal Reasoning | Ontologies
Post comment
Cancel