SWRLRulesToOWLAxioms
Rule to axiom converter
This Java project translates SWRL rules into equivalent OWL axioms
Implementation of a procedure to transform SWRL rules into equivalent OWL axioms (see more info at the web link).
0 stars
1 watching
0 forks
Language: Java
last commit: over 8 years ago Related projects:
Repository | Description | Stars |
---|---|---|
| Converts YARRRML rules to RML or R2RML rules | 44 |
| Generates Elm code from JSON schema specifications | 88 |
| Automates conversion of tabular data into standards-compliant RDF data cubes | 14 |
| A tool that enables parsing and processing of Semantic Web Rule Language (SWRL) in JavaScript. | 1 |
| A tool that converts Pascal code to Ada code | 12 |
| A Kotlin implementation of recursion schemes with Arrow typeclass and algebraic data types | 22 |
| Converts Ada sources' ASIS representation to XML for easier development of reporting and transformational tools. | 2 |
| A tutorial and resource center for Gremlin and Apache TinkerPop graph databases | 835 |
| Generates matching Elm type definitions and JSON encoders and decoders from Haskell types | 61 |
| Converts YAML data into an OWL representation that can be used by reasoners or exported to standard formats | 16 |
| An opinionated testing framework that simplifies running and testing solutions to Advent of Code puzzles in Kotlin | 12 |
| Automatically exposes Django ORM over gRPC for use in microservices written by other languages | 24 |
| An Elm to OCaml compiler that enables porting of codebases from one language to another | 204 |
| A starter project template for solving Advent of Code puzzles in Kotlin | 6 |
| An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods | 154 |