TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
☆15Oct 26, 2026Updated last week
Alternatives and similar repositories for trill
Users that are interested in trill are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- JFact repository☆23Apr 17, 2022Updated 4 years ago
- Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statement…☆11Sep 28, 2026Updated last month
- Instructions and patches to build MITRE Datalog with Emscripten☆14Apr 27, 2022Updated 4 years ago
- HTML5/CSS3 template to be used for print/paged media☆11Feb 2, 2014Updated 12 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.
- Programming in Tabled Prolog by David S Warren☆25Mar 11, 2020Updated 6 years ago
- Phenex is an application for annotating character matrix files with ontology terms using the Entity-Quality syntax for describing phenoty…☆11Feb 27, 2020Updated 6 years ago
- ShEx expressions in Scala☆11Nov 19, 2016Updated 9 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Feb 27, 2017Updated 9 years ago
- CHR2 to SQL conversion☆15Aug 27, 2015Updated 11 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- A Parboiled2 based Parser for the W3C RDF 1.1 TriG-, Turtle-, N-Triples- and Quad-Languages for Scala, Java and JavaScript☆10Sep 5, 2017Updated 9 years ago
- A structured controlled vocabulary for the anatomy of fungi☆12Jul 15, 2025Updated last year
- ☆12Oct 24, 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 GA4GH Draft Beacon implementation☆11Oct 23, 2015Updated 11 years ago
- DeepLog: the PyTorch for neurosymbolic AI☆25Updated this week
- Router for outwatch☆12May 15, 2021Updated 5 years ago
- Sequoia is a consequence-based OWL 2 DL Reasoner supporting multithreaded reasoning☆12Mar 26, 2020Updated 6 years ago
- A little OWL in SPARQL.☆16Aug 13, 2024Updated 2 years ago
- A nomenclatural ontology for names (not concepts).☆14Oct 13, 2025Updated last year
- ☆10May 19, 2024Updated 2 years ago
- A Benchmark for Machine Learning from Structured Data☆23Nov 2, 2021Updated 5 years ago
- BGZF Stream☆13Jul 27, 2023Updated 3 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.
- Venn/Euler Diagrams for Julia☆13Feb 9, 2020Updated 6 years ago
- NeXML is an exchange standard for representing phyloinformatic data.☆15Feb 23, 2017Updated 9 years ago
- A libary for using and learning symbolic rules for knowledge graphs☆45Dec 10, 2024Updated last year
- owlapitools - a set of independent add-ons for OWL API☆16Oct 27, 2020Updated 6 years ago
- ☆12Aug 14, 2019Updated 7 years ago
- CAQE is a solver for quantified Boolean formulas☆45May 13, 2023Updated 3 years ago
- SHACL4Protege - SHACL constraint validation plugin for Protégé☆41Mar 1, 2026Updated 8 months ago
- CWRC ontology - primary repository☆14Sep 7, 2026Updated last month
- RDF summit for life science☆11Jul 1, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- OWL2 library for Prolog☆114Aug 23, 2019Updated 7 years ago
- Julia module to handle PLINK BED files☆11Jul 10, 2018Updated 8 years ago
- ☆16Oct 3, 2026Updated last month
- Software for creating and comparing genome fingerprints.☆11Sep 28, 2026Updated last month
- Naive Bayesian Classifier written in APL☆25Jan 21, 2018Updated 8 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- UI for JedAI Toolkit☆17May 20, 2022Updated 4 years ago