SigmaKEE
type: Ontology
creation date: 2025-12-14T21:52:55+00:00
imports: http://semantic-mediawiki.org/swivt/1.0

SigmaKEE
type: Subject
type: Category:OntologySummit2013 Survey
page: https://ontologforum.com/index.php/SigmaKEE
wiki namespace: 0
wiki page content language: en
accept validation test sets or inputs: true
accept validation test sets or inputs comments: Optional remarks
apply a style of ontological analysis to design: true
apply a style of ontological analysis to design comments: Optional remarks
assess accuracy, correctness, and completeness of ontology terminological content: false
assess accuracy, correctness, and completeness of ontology terminological content comments: Optional remarks
assess and enforce consistency and completeness of inverse relations: false
assess and enforce consistency and completeness of inverse relations comments: Optional remarks
assess and enforce consistency and completeness of range and domain constraints: false
assess and enforce consistency and completeness of range and domain constraints comments: Optional remarks
assess complexity of concept definitions (necessary and sufficient properties) and use of axioms: true
assess complexity of concept definitions (necessary and sufficient properties) and use of axioms comments: Optional remarks
assess correctness or performance of an ontology design: true
assess correctness or performance of an ontology design comments: Optional remarks
assess inferencing completeness performance: false
assess inferencing completeness performance comments: Optional remarks
assess inferencing time performance: false
assess inferencing time performance comments: Optional remarks
assess or characterize breadth of domain coverage of an ontology: false
assess or characterize breadth of domain coverage of an ontology comments: Optional remarks
assess or characterize depth or detail of domain coverage of an ontology: false
assess or characterize depth or detail of domain coverage of an ontology comments: Optional remarks
assess or characterize use considerations of ontology including licensing, training, cost, updating, software requirements, and security: false
assess or characterize use considerations of ontology including licensing, training, cost, updating, software requirements, and security comments: Optional remarks
assess or track user experience with ontology: false
assess or track user experience with ontology comments: Optional remarks
assess query precision and recall performance: false
assess query precision and recall performance comments: not a meaningful question for an expressive logic
assess query time performance: false
assess query time performance comments: Optional remarks
assess the inferencing power of an ontology: true
assess the inferencing power of an ontology comments: Optional remarks
assess the reusability of a planned ontology: false
assess the reusability of a planned ontology comments: Optional remarks
assure mathematically complete computability of ontology: false
assure mathematically complete computability of ontology comments: Optional remarks
assure semantically adequate computability of ontology: false
assure semantically adequate computability of ontology comments: Optional remarks
author: Adam Pease
capture ontology errors during use: false
capture ontology errors during use comments: Optional remarks
choose RDF support: true
choose RDF support comments: Optional remarks
choose extant core ontologies for reuse: true
choose extant core ontologies for reuse comments: Optional remarks
choose extant top ontology for reuse: true
choose extant top ontology for reuse comments: Optional remarks
choose formal logic language: true
choose formal logic language comments: Optional remarks
choose metaphysical methodology: false
choose metaphysical methodology comments: Optional remarks
choose ontology language: true
choose ontology language comments: Optional remarks
compare and map between ontologies: true
compare and map between ontologies comments: Optional remarks
compare domain coverage across ontologies: false
compare domain coverage across ontologies comments: Optional remarks
contact: Adam Pease
create mappings from ontologies to and from data and data sources: true
create mappings from ontologies to and from data and data sources comments: Optional remarks
description of the tool: 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
detect and guide use of multiple inheritance: false
detect and guide use of multiple inheritance comments: Optional remarks
detect violations of domain, referential, or semantic integrity: true
detect violations of domain, referential, or semantic integrity comments: Optional remarks
distinguish between conceptual and operational ontologies and objectives: false
distinguish between conceptual and operational ontologies and objectives comments: Optional remarks
download page: http://sigmakee.sourceforge.net
enable adjustable query and inference performance: false
enable adjustable query and inference performance comments: Optional remarks
enable user to modify or extend ontology to address deficiencies: true
enable user to modify or extend ontology to address deficiencies comments: Optional remarks
enforce proper use and coding of UR is: false
enforce proper use and coding of UR is comments: Optional remarks