nathanielrb/mk-owl-reasoner nathanielrb/mk-owl-reasoner

  • Stars
    star
    1
  • Language
    Scheme
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nathanielrb/mk-owl-reasoner
github

nathanielrb

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

ftmicroKanren

First-order temporal logic programming with microKanren
Scheme
14
star
2

time-in-microKanren

Scheme
4
star
3

s-sparql

Parsing and transforming SPARQL as Scheme s-expressions
Scheme
3
star
4

triples

Time-traveling RDF triplestore based on miniKanren
Scheme
2
star
5

mu-graph-resources

Scheme
1
star
6

scheme-genetic-programming

Scheme
1
star
7

chicken-sparql-query

Scheme
1
star
8

quince-word-converter

Word/Odt to Markdown microservice, based on odt2tei
XSLT
1
star
9

scheme-rdf

Scheme
1
star
10

mu-rdf-importer

Scheme
1
star
11

yds-rewriter-dev

Common Lisp
1
star
12

elastic-prototype

Common Lisp
1
star
13

mu-graph-rewriter

Scheme
1
star
14

mu-query-rewriter

Authorization for RDF stores by SPARQL query transformation
Scheme
1
star
15

mu-chicken-template

Scheme
1
star
16

mu-skos-hierarchy

Scheme
1
star
17

mu-skos-hierarchy1

Scheme
1
star
18

mu-chicken-support

Scheme
1
star
19

spock-js-framework

A continuations-based reactive JS framework compiled from Scheme
JavaScript
1
star
20

temporal-microKanren

Temporal relational programming
Scheme
1
star
21

sparql-parser

Scheme
1
star
22

tmicroKanren

First-order logic programming in microKanren
Scheme
1
star