SWRLRulesToOWLAxioms
by dcarralma
Implementation of a procedure to transform SWRL rules into equivalent OWL axioms (see more info at the web link).
AI summary
Rule to axiom converter
This Java project translates SWRL rules into equivalent OWL axioms
- stars
- 0
- forks
- 0
- watching
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Rule converter
Converts YARRRML rules to RML or R2RML rules
Code generator
Generates Elm code from JSON schema specifications
Data cube generator
Automates conversion of tabular data into standards-compliant RDF data cubes
SWRL parser
A tool that enables parsing and processing of Semantic Web Rule Language (SWRL) in JavaScript.
Pascal to Ada converter
A tool that converts Pascal code to Ada code
Recursion library
A Kotlin implementation of recursion schemes with Arrow typeclass and algebraic data types
ASIS to XML converter
Converts Ada sources' ASIS representation to XML for easier development of reporting and transformational tools.
Graph database tutorial
A tutorial and resource center for Gremlin and Apache TinkerPop graph databases
Type converter
Generates matching Elm type definitions and JSON encoders and decoders from Haskell types
OWL converter
Converts YAML data into an OWL representation that can be used by reasoners or exported to standard formats
AocKt
An opinionated testing framework that simplifies running and testing solutions to Advent of Code puzzles in Kotlin
gRPC interface
Automatically exposes Django ORM over gRPC for use in microservices written by other languages
Code converter
An Elm to OCaml compiler that enables porting of codebases from one language to another
Code puzzle solver
A starter project template for solving Advent of Code puzzles in Kotlin
Formal verification adapter
An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods
