Alternatives and similar repositories for ClioPatria

Users that are interested in ClioPatria are comparing it to the libraries listed below

• wouterbeek / prolog_rdf
  Advanced support for working with RDF in Prolog.
  ☆18Updated last year
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆32Updated last week
• cmungall / sparqlprog
  logic programming with SPARQL
  ☆47Updated 2 years ago
• cmungall / cltools
  tools for common-logic
  ☆22Updated 12 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 10 months ago
• ha-mo-we / Racer
  Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
  ☆114Updated 7 years ago
• rdfostrich / ostrich
  🐦 Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)
  ☆51Updated 4 months ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆36Updated 10 years ago
• vangelisv / thea
  OWL2 library for Prolog
  ☆112Updated 6 years ago
• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆59Updated 3 months ago
• LOD-Laundromat / LOD-Laundromat
  Cleaning other people's dirty data.
  ☆54Updated 4 years ago
• alanruttenberg / lsw2
  OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
  ☆30Updated 2 weeks ago
• cwebber / racket-linkeddata
  Linked data tooling for the Racket programming language (json-ld, eventually more)
  ☆16Updated 7 years ago
• joshsh / ripple
  Semantic Web scripting language
  ☆105Updated 2 years ago
• njh / redstore
  RedStore is a lightweight RDF triplestore written in C using the Redland library.
  ☆64Updated 4 years ago
• rla / simple-template
  Text templating processor for SWI-Prolog.
  ☆32Updated 5 years ago
• friguzzi / trill-on-swish
  The Trill probabilistic ontology reasoner on SWISH
  ☆12Updated 2 months ago
• dajobe / librdf
  Redland librdf RDF API and triple stores
  ☆102Updated last year
• phillord / hermit-reasoner
  ☆66Updated 4 years ago
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆23Updated 5 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated last week
• KNowledgeOnWebScale / retina
  Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.
  ☆13Updated 4 months ago
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆21Updated last month
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• triska / proloxy
  Prolog Reverse Proxy
  ☆20Updated 7 years ago
• thahmann / macleod
  Ontology development environment for Common Logic (CL)
  ☆24Updated 3 years ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆39Updated 7 years ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆157Updated this week
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆40Updated 2 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆34Updated 5 months ago