wouterbeek/rdf_backward wouterbeek/rdf_backward

  • Stars
    star
    1
  • Language
    Prolog
  • Created over 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wouterbeek/rdf_backward
github

wouterbeek

Reviews

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

Repository Details

This library implements full RDF(S) entailment using mode-directed tabling.

More Repositories

1

prolog_library_collection

A collection of Prolog libraries.
Prolog
85
star
2

prolog_rdf

Advanced support for working with RDF in Prolog.
Prolog
15
star
3

prolog_graphviz

A library for visualizing graphs in Prolog.
Prolog
12
star
4

lubm

Lehigh University Benchmark (LUBM).
Java
10
star
5

prolog_jwt

A library bringing JSON Web Token (JWT) support to SWI-Prolog.
Prolog
8
star
6

prolog_geo

Prolog-based GIS library (wrapper around GEOS and Proj).
Prolog
5
star
7

DataHives

Agent-based infrastructure for distributed reasoning on the Semantic Web.
Prolog
4
star
8

Pragmatic-Semantics

Pragmatic Semantics for the Web of Data.
3
star
9

prolog_starter_project

A simple Prolog example project that can be used as a template to build new projects with.
Prolog
3
star
10

ppm

Prolog Package Manager (PPM): A package manager for Prolog.
Prolog
3
star
11

ModelTheory

Prolog implementation of Model Theory
Prolog
2
star
12

LDFS

Linked Data File System (LDFS)
Prolog
2
star
13

ld-tutorial

TypeScript
2
star
14

HDT-Client

Prolog
1
star
15

vann

Vocabulary for Annotating Vocabulary Descriptions (VANN)
1
star
16

EnergyLabels

The energylabels of the Netherlands published as Linked Data.
Prolog
1
star
17

LDF-Client

A Linked Data Fragments (LDF) client for SWI-Prolog.
Prolog
1
star
18

plRdfEntailment

Library implementing RDF(S) entailment.
Prolog
1
star
19

lode

An ontology for publishing descriptions of historical events as Linked Data, and for mapping between other event-related vocabularies and ontologies.
1
star
20

IAAA

Contributions for the Institute of Artificial Art Amsterdam website.
Prolog
1
star
21

wouterbeek.github.io

Personal Homepage
HTML
1
star
22

prolog_html

Library for generating HTML snippets using SWI-Prolog.
JavaScript
1
star
23

linkedmdb

🎞 Linked Internet Movie Database
1
star
24

Actual-Causation

Modeling tool for Actual Causation
TeX
1
star
25

Cowsay

A funny cow for communicating with the user.
Prolog
1
star