ontologyportal / sigmakee
Sigma Knowledge Engineering Environment
☆105Updated this week
Alternatives and similar repositories for sigmakee:
Users that are interested in sigmakee are comparing it to the libraries listed below
- Suggested Upper Merged Ontology (SUMO)☆230Updated this week
- Automatically exported from code.google.com/p/colore☆70Updated 3 months ago
- A Java-based OWL 2 EL reasoner☆98Updated 8 months ago
- A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It c…☆147Updated last month
- Automatically exported from code.google.com/p/swoop☆33Updated 10 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆38Updated last year
- AceWiki is a semantic wiki based on controlled natural language.☆70Updated last month
- OWL2 library for Prolog☆110Updated 5 years ago
- ☆58Updated 4 years ago
- Ontology development environment for Common Logic (CL)☆23Updated 2 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆36Updated 2 years ago
- ☆56Updated last year
- UMBEL (Upper Mapping and Binding Exchange Layer)☆101Updated last year
- Euler Yet another proof Engine☆135Updated this week
- The LKIF Core Ontology of Basic Legal Concepts☆122Updated 12 years ago
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆36Updated this week
- Parser for Attempto Controlled English (ACE)☆195Updated 10 months ago
- A tool for supervised Machine Learning in OWL and Description Logics☆151Updated last year
- The OntoUML lightweight editor (OLED) is an environment for the development, evaluation and implementation of domain ontologies using the…☆41Updated 2 years ago
- Visualization of how room requirements can be modeled with BOT and OPM☆43Updated 2 years ago
- information artifact ontology☆83Updated 10 months ago
- Here we keep track of modification requests in the DBpedia Ontology☆35Updated 2 weeks ago
- The OpenLink Structured Data Editor enables editing of RDF documents (in TURTLE notation) stored in a variety of HTTP accessible document…☆108Updated 2 months ago
- Java library based on the VLog rule engine☆32Updated 9 months ago
- Ontolex modules☆33Updated 2 weeks ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆102Updated 8 months ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 2 months ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆109Updated 6 years ago
- Generate High Quality Linked Data from multiple originally (semi-)structured data (legacy)☆52Updated 6 years ago
- VOWL Plugin for Protégé☆26Updated 6 years ago