ontologyportal / sigmakee
Sigma Knowledge Engineering Environment
☆101Updated 2 weeks ago
Related projects: ⓘ
- Suggested Upper Merged Ontology (SUMO)☆223Updated 2 weeks ago
- Automatically exported from code.google.com/p/colore☆66Updated 5 months ago
- KBPedia Knowledge Graph & Knowledge Ontology (KKO)☆212Updated 4 years ago
- Automatically exported from code.google.com/p/swoop☆33Updated 9 years ago
- A Java-based OWL 2 EL reasoner☆94Updated 2 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…☆142Updated last month
- A Protégé Desktop plugin that provides a graphical representation of the class hierarchy in an OWL ontology.☆36Updated 3 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆35Updated 2 years ago
- OWL2 library for Prolog☆108Updated 5 years ago
- Ontolex modules☆29Updated last year
- Euler Yet another proof Engine☆125Updated this week
- The LKIF Core Ontology of Basic Legal Concepts☆115Updated 11 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆36Updated 11 months ago
- UMBEL (Upper Mapping and Binding Exchange Layer)☆99Updated 10 months ago
- The OntoUML lightweight editor (OLED) is an environment for the development, evaluation and implementation of domain ontologies using the…☆41Updated last year
- AceWiki is a semantic wiki based on controlled natural language.☆69Updated 6 months ago
- ☆57Updated this week
- ☆56Updated last year
- Design patterns for the ontology-lexicon interface using lemon and OWL☆19Updated 6 years ago
- Parser for Attempto Controlled English (ACE)☆183Updated 4 months ago
- Ontology development environment for Common Logic (CL)☆22Updated last year
- ThoughtTreasure commonsense knowledge base and architecture for natural language processing☆77Updated 9 years ago
- VOWL Plugin for Protégé☆26Updated 6 years ago
- This repository contains the Framester resource, the main outcome of the framester project.☆34Updated 4 years ago
- The OpenLink Structured Data Editor enables editing of RDF documents (in TURTLE notation) stored in a variety of HTTP accessible document…☆105Updated 2 years ago
- All ontologies used in NIF 2.0 (NIF-Core + vocabulary modules + helper modules)☆36Updated 7 years ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆101Updated 2 months ago
- A collection of Jena-extensions for hiding SPARQL-complexity from the application layer☆57Updated last year
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆106Updated 5 years ago
- Here we keep track of modification requests in the DBpedia Ontology☆35Updated last month