A knowledge integration framework based on Wikidata
☆22Nov 6, 2025Updated 9 months ago
Alternatives and similar repositories for kif
Users that are interested in kif are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A HOL-based framework for reasoning over knowledge graphs☆27Sep 17, 2025Updated 11 months ago
- Jest utilities for RDF(JS)☆11Jul 16, 2026Updated last month
- Logos for RDF formats (RDF/XML, N-Triples, RDFa, SPARQL, R2RML, SHACL) in PNG and SVG☆12Mar 21, 2019Updated 7 years ago
- 평화로운 트위터 타임라인을 위한 정규 표현식☆10Aug 22, 2017Updated 9 years ago
- ☆12Oct 29, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Texto do projeto base do Livro Aberto de Matemática. Este é o esforço de professores da Educação Básica e Superior, assim como de entusia…☆10Dec 22, 2016Updated 9 years ago
- RDF Surfaces is classical first-order logic with negation in RDF☆10Feb 25, 2026Updated 6 months ago
- The Linked Time Series server☆11Sep 16, 2020Updated 5 years ago
- Slides for my talk at Solid World January 2022☆10Jan 13, 2022Updated 4 years ago
- 🤖 A GitHub action that enables automerge for pull requests opened by a specified author☆13Mar 3, 2023Updated 3 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- ☆12May 20, 2024Updated 2 years ago
- true random number generator using Random.org API, based on atmospheric noise phenomenon measurement☆10Oct 22, 2020Updated 5 years ago
- Comunica query engine support for the LDflex language☆16Aug 8, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 7 years ago
- RDF/JS idiomatic, native, enjoyable☆20Apr 2, 2026Updated 4 months ago
- Experiment to slice, dice, and clean up spreadsheets☆15May 3, 2024Updated 2 years ago
- Build data-centric Hydra APIs☆13Apr 22, 2024Updated 2 years ago
- An implementation of the VC API specification: https://w3c-ccg.github.io/vc-api/☆15Jul 3, 2026Updated last month
- 🔮🐍 A package to help serve predictions of biomedical concepts associations as Translator Reasoner API☆12Feb 25, 2025Updated last year
- An MCP server for the github notifications API for the OSS maintainer☆16Mar 31, 2025Updated last year
- k theorem prover☆11Aug 16, 2022Updated 4 years ago
- Specification for Shape Trees☆14Sep 30, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Unofficial mirror of KOLAS 3☆14Jul 8, 2020Updated 6 years ago
- 🖼 A jQuery widget to query heterogeneous interfaces using Comunica SPARQL☆20Aug 21, 2026Updated last week
- Curadoria dos melhores links compartilhados no grupo https://t.me/nlpbr no Telegram.☆12Apr 10, 2024Updated 2 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Github mirror of "mediawiki/skins/Cosmos" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆16Updated this week
- 🌍 Comunica engine scripts for Web browsers☆16Updated this week
- OMD with Grafana, InfluxDB, Nagflux and Histou configured☆13Mar 29, 2017Updated 9 years ago
- A bridge between Pydantic V2 models and RDF graphs☆22May 3, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Work in progress common lisp library for beautiful documentation generation☆16Apr 7, 2020Updated 6 years ago
- IBM i topics related to stuff I do using pub400.com features☆15Mar 30, 2026Updated 5 months ago
- Allegro Common Lisp interface to Solr☆16Updated this week
- ⚙️ SPARQL expression evaluator library - Moved to @comunica/expression-evaluator☆15Sep 19, 2023Updated 2 years ago
- Authoritative TypeScript typings for all RDFJS specifications☆20Aug 18, 2026Updated last week
- ☆14Apr 25, 2022Updated 4 years ago
- SPARQL dev Community Group☆127May 11, 2026Updated 3 months ago