Alternatives and similar repositories for thea

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

• cmungall / cltools

  View on GitHub
  tools for common-logic
  ☆22Mar 5, 2013Updated 12 years ago
• ag-sc / lemon.dbpedia

  View on GitHub
  lemon lexicon for DBpedia
  ☆27Oct 13, 2015Updated 10 years ago
• SWI-Prolog / packages-semweb

  View on GitHub
  The SWI-Prolog RDF store
  ☆32Jan 27, 2026Updated 2 weeks ago
• ClioPatria / ClioPatria

  View on GitHub
  ClioPatria provides an RDF application platform
  ☆57Nov 20, 2025Updated 2 months ago
• ontohub / ontohub

  View on GitHub
  A web-based repository for distributed ontologies.
  ☆34Aug 21, 2017Updated 8 years ago
• friguzzi / cplint

  View on GitHub
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆82Jan 20, 2026Updated 3 weeks ago
• wouterbeek / prolog_rdf

  View on GitHub
  Advanced support for working with RDF in Prolog.
  ☆18Aug 31, 2024Updated last year
• JanWielemaker / swi-erlang

  View on GitHub
  Yes, Erlang in SWI-Prolog!
  ☆12Jun 18, 2018Updated 7 years ago
• Attempto / APE

  View on GitHub
  Parser for Attempto Controlled English (ACE)
  ☆210Apr 21, 2024Updated last year
• terminusdb / terminus_store_prolog

  View on GitHub
  Prolog binding for terminusdb-store
  ☆22Jun 13, 2022Updated 3 years ago
• Attempto / ACE-in-GF

  View on GitHub
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Sep 5, 2021Updated 4 years ago
• kazeto / phillip

  View on GitHub
  Abductive reasoner for NLP in C++
  ☆22Dec 17, 2018Updated 7 years ago
• SWI-Prolog / tabled-prolog-book

  View on GitHub
  Programming in Tabled Prolog by David S Warren
  ☆22Mar 11, 2020Updated 5 years ago
• andersjo / framenet-annotation

  View on GitHub
  Browser-based annotation tool for Framenet
  ☆16Jan 27, 2015Updated 11 years ago
• nassibnassar / yamz

  View on GitHub
  YAMZ - a crowdsourced metadata dictionary. Latest version at: https://github.com/metadata-research/yamz/
  ☆13Feb 2, 2023Updated 3 years ago
• vscosta / yap-6.3

  View on GitHub
  YAP Development release
  ☆17Jan 16, 2021Updated 5 years ago
• Anniepoo / JavaPengine

  View on GitHub
  Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine
  ☆10May 8, 2016Updated 9 years ago
• heshrobe / joshua-dist

  View on GitHub
  Joshua and Clim Environment
  ☆15Apr 20, 2022Updated 3 years ago
• fnogatz / plammar

  View on GitHub
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆15Aug 16, 2021Updated 4 years ago
• OntoZoo / ontobee

  View on GitHub
  Ontobee is a linked data server for ontologies. See: http://www.ontobee.org.
  ☆28Mar 5, 2024Updated last year
• SWI-Prolog / roadmap

  View on GitHub
  Discuss future development
  ☆21Sep 25, 2015Updated 10 years ago
• rdf2h / rdf2h

  View on GitHub
  Render resources described in RDF using logicless templates.
  ☆15Dec 30, 2022Updated 3 years ago
• dscape / mustache.xq

  View on GitHub
  Minimal templating with {{mustache}} in XQuery
  ☆21Sep 11, 2011Updated 14 years ago
• JoseCSantos / GILPS

  View on GitHub
  General Inductive Logic Programming System
  ☆18Sep 22, 2022Updated 3 years ago
• spechub / Hets

  View on GitHub
  The Heterogeneous Tool Set
  ☆60Oct 7, 2025Updated 4 months ago
• mcsoto / cosmos

  View on GitHub
  A new logic programming language.
  ☆175Jul 30, 2023Updated 2 years ago
• uzh / fox

  View on GitHub
  A framework for PSL inference.
  ☆21Nov 9, 2015Updated 10 years ago
• EBISPOT / webulous

  View on GitHub
  Web version of ontology creation tool Populous
  ☆16Mar 16, 2022Updated 3 years ago
• dice-group / hawk

  View on GitHub
  Hybrid Question Answering (HAWK) -- is going to drive forth the OKBQA vision of hybrid question answering system using Linked Data and fu…
  ☆16Oct 4, 2022Updated 3 years ago
• linkeddata / swap

  View on GitHub
  The Semantic Web Application Platform: cwm etc
  ☆37Jan 10, 2024Updated 2 years ago
• SWI-Prolog / swipl-wasm

  View on GitHub
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Aug 29, 2022Updated 3 years ago
• SmartDataAnalytics / SML-Bench

  View on GitHub
  A Benchmark for Machine Learning from Structured Data
  ☆22Nov 2, 2021Updated 4 years ago
• Mondego / crawler4py

  View on GitHub
  A web crawler in Python
  ☆22Mar 9, 2016Updated 9 years ago
• Kaljurand / owl-verbalizer

  View on GitHub
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆40Oct 1, 2023Updated 2 years ago
• Anniepoo / weblog

  View on GitHub
  Web Framework for SWI-Prolog
  ☆43Dec 23, 2015Updated 10 years ago
• wouterbeek / prolog_library_collection

  View on GitHub
  A collection of Prolog libraries.
  ☆88Aug 31, 2024Updated last year
• TSO-Openup / FlintSparqlEditor

  View on GitHub
  Flint SPARQL editor
  ☆51Oct 16, 2012Updated 13 years ago
• w3c / omn

  View on GitHub
  W3C Federated Infrastructures Community Group
  ☆22Jun 15, 2020Updated 5 years ago
• simularity / SimGen

  View on GitHub
  A simulation language
  ☆21Dec 21, 2020Updated 5 years ago