Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
☆13May 1, 2020Updated 6 years ago
Alternatives and similar repositories for defeasibleinferenceplatform
Users that are interested in defeasibleinferenceplatform are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library and Protégé plugin for generating Description Logic explanations☆20Oct 22, 2026Updated 2 weeks ago
- The MATLAB code below implements the second-order SPSA (simultaneous perturbation stochastic approximation) and second-order SG (stochast…☆13Nov 27, 2020Updated 5 years ago
- Simplest possible app to convert a selection into an annotation☆11Jan 10, 2020Updated 6 years ago
- A Python wrapper for exposing Linked Open Data from public SPARQL-served endpoints☆17Sep 3, 2018Updated 8 years ago
- Restoring a lesser-known Unix System V Release 4/i386 distribution from the early 90s☆16Dec 12, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆44Oct 24, 2026Updated last week
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent☆14Aug 3, 2018Updated 8 years ago
- ☆16Jun 13, 2023Updated 3 years ago
- ☆27Mar 10, 2015Updated 11 years ago
- ☁️ A network analysis software platform for analyzing Dutch and European court decisions.☆23Updated this week
- A visualization tool for Systems-Level Interactive Data Exploration☆13Jan 12, 2022Updated 4 years ago
- Rust-native AI coding agent CLI with multi-provider LLM support, Ollama, MCP tools, and resumable sessions☆12Oct 23, 2026Updated 2 weeks ago
- Machine Learning Notebooks with Turicreate and Keras in a Docker Container☆19Apr 26, 2019Updated 7 years ago
- Analysies of gene expression data using Gene Ontology☆10Sep 3, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SHACL4Protege - SHACL constraint validation plugin for Protégé☆42Mar 1, 2026Updated 8 months ago
- This repository contains educational materials for a Masters course on knowledge graphs developed by the Institute of Data Science at Maa…☆17Mar 23, 2022Updated 4 years ago
- A json version of the OpenCyc-latest.owl Ontology☆13Oct 27, 2011Updated 15 years ago
- Apollo 2.X Docker Image☆10Jun 18, 2019Updated 7 years ago
- This repository contains the crisis management ontology for the beAWARE H2020 project along with the relevant documentation.☆19Oct 29, 2021Updated 5 years ago
- Financial Industry Regulatory Ontology☆11Nov 16, 2016Updated 9 years ago
- CoModIDE plugin for Protégé☆27May 21, 2026Updated 5 months ago
- My repository of ontologies☆12Feb 21, 2018Updated 8 years ago
- Personal agent configuration for Codex and Claude Code. Not intended for general use.☆16Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Timeline Ontology is centered around the notion of timeline, seen here as a way to identify a temporal backbone. A timeline may suppo…☆17May 27, 2020Updated 6 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 years ago
- Transforming SemRep Predications into an Open Biomedical Linked Data Resource☆11Jan 26, 2018Updated 8 years ago
- HPO Annotation QC☆12Nov 24, 2025Updated 11 months ago
- A stand-alone pure Java library for linear algebra and machine learning☆16Oct 30, 2016Updated 10 years ago
- Hospital & Doctor Information System from Bangladesh. It has also Doctor admin panel to update a doctors information. One can also bookin…☆11Aug 22, 2016Updated 10 years ago
- A structured controlled vocabulary for the anatomy of fungi☆12Jul 15, 2025Updated last year
- 🧠 A translator between answer set programs and first-order logic☆17Oct 20, 2026Updated 2 weeks ago
- Scanomatic☆11Oct 12, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Sep 28, 2020Updated 6 years ago
- Sémantický slovník pojmů☆14Oct 20, 2026Updated 2 weeks ago
- Logos for RDF formats (RDF/XML, N-Triples, RDFa, SPARQL, R2RML, SHACL) in PNG and SVG☆12Mar 21, 2019Updated 7 years ago
- A tail recursion optimization macro for julia.☆15Dec 12, 2020Updated 5 years ago
- Open source monitoring and visualization UI for the TICK stack☆11Aug 3, 2021Updated 5 years ago
- eXtasy: Variant Prioritization by Genomic Data Fusion☆13Feb 19, 2014Updated 12 years ago
- An ontology for describing the phenology of individual plants and populations of plants, and for integrating plant phenological data acro…☆19May 6, 2026Updated 6 months ago