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: about 10 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
 rmlio/yarrrml-parser | Converts YARRRML rules to RML or R2RML rules | 44 |
 dragonwasrobot/json-schema-to-elm | Generates Elm code from JSON schema specifications | 88 |
 swirrl/table2qb | Automates conversion of tabular data into standards-compliant RDF data cubes | 14 |
 mterdjimi/swrl.js | A tool that enables parsing and processing of Semantic Web Rule Language (SWRL) in JavaScript. | 1 |
 zertovitch/pascal-to-ada | A tool that converts Pascal code to Ada code | 12 |
 aedans/katalyst | A Kotlin implementation of recursion schemes with Arrow typeclass and algebraic data types | 22 |
 simonjwright/asis2xml | Converts Ada sources' ASIS representation to XML for easier development of reporting and transformational tools. | 2 |
 krlawrence/graph | A tutorial and resource center for Gremlin and Apache TinkerPop graph databases | 835 |
 haskell-to-elm/haskell-to-elm | Generates matching Elm type definitions and JSON encoders and decoders from Haskell types | 61 |
 cknoll/yamlpyowl | Converts YAML data into an OWL representation that can be used by reasoners or exported to standard formats | 16 |
 jadarma/advent-of-code-kotlin | An opinionated testing framework that simplifies running and testing solutions to Advent of Code puzzles in Kotlin | 12 |
 dhilipsiva/garuda | Automatically exposes Django ORM over gRPC for use in microservices written by other languages | 24 |
 darklang/philip2 | An Elm to OCaml compiler that enables porting of codebases from one language to another | 204 |
| jadarma/advent-of-code-kotlin-template | A starter project template for solving Advent of Code puzzles in Kotlin | 6 |
 tofgarion/spark-by-example | An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods | 154 |