srfiorini / IEEE1872-owl
OWL specification of the Core Ontology for Robotics and Automation (CORA) and other IEEE 1872-2015 ontologies
☆30Updated 4 years ago
Alternatives and similar repositories for IEEE1872-owl:
Users that are interested in IEEE1872-owl are comparing it to the libraries listed below
- Visualization of how room requirements can be modeled with BOT and OPM☆43Updated 2 years ago
- A Knowledge Base System for Cognition-enabled Robots☆141Updated last week
- OWL ontology graphing program☆30Updated 6 years ago
- Openllet is an OWL 2 reasoner in Java, build on top of Pellet.☆105Updated 5 months 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
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆36Updated last week
- Java API for working with the SWRL rule and SQWRL query languages☆102Updated 2 months ago
- Ontology development environment for Common Logic (CL)☆23Updated 2 years ago
- information artifact ontology☆87Updated 10 months ago
- A Java-based OWL 2 EL reasoner☆98Updated 8 months ago
- Library that supports the Mapping Master DSL for mapping spreadsheets to OWL ontologies☆54Updated last month
- VOWL Plugin for Protégé☆26Updated 6 years ago
- KOMMA - RDF object mapper for Java☆36Updated this week
- Ontology-driven Linked Data processor and server for SPARQL backends. Apache License.☆59Updated last year
- An integrated environment to support collaborative ontology / vocabulary development in distributed settings☆99Updated 2 years ago
- A collection of tools and Java libraries to process RDF* data and SPARQL* queries.☆71Updated 3 years ago
- Astrea is a software that generates SHACL shapes for one or more OWL ontologies using a set of SPARQL queries that hold the equivalence b…☆14Updated 2 years ago
- Ontology of units of Measure☆94Updated this week
- MIRO – Minimal Information for Reporting of an Ontology☆12Updated 6 years ago
- A repository for BFO 2020 artifacts specified in ISO 21838-2:2020☆91Updated 3 months ago
- SHACL4Protege - SHACL constraint validation plugin for Protégé☆38Updated 11 months ago
- Streaming, transforming, SPARQL-based CSV to RDF converter. Apache license.☆55Updated last year
- Tools to update and export ontology RDF.☆36Updated 3 months ago
- An API and reference implementation for generating justifications for entailments in OWL ontologies☆19Updated 6 years ago
- python program to generate template shacl graphs☆24Updated 5 months ago
- Simple RDF Editor with SHACL support☆29Updated 2 months ago
- Standards-compliant triple store for RDF, OWL, and SPARQL☆60Updated 6 months ago
- Ontological Interpretations for Web Property Graphs☆31Updated 4 years ago
- A repository for files developed for the Industrial Ontology Foundry.☆14Updated 4 years ago
- The OntoUML/UFO Catalog is a collaborative, structured and open-source catalog of OntoUML and UFO ontology models.☆52Updated 3 weeks ago