Alternatives and similar repositories for scott-eu

Users that are interested in scott-eu are comparing it to the libraries listed below

• wouterbeek / prolog_rdf
  Advanced support for working with RDF in Prolog.
  ☆18Updated last year
• cl-axon / shop2
  Simple Hierarchical Ordered Planner - A mirror of
  ☆36Updated 9 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 10 months ago
• cmungall / cltools
  tools for common-logic
  ☆22Updated 12 years ago
• joshsh / ripple
  Semantic Web scripting language
  ☆105Updated 2 years ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 5 years ago
• patrikhaslum / INVAL
  The INVAL plan validator, and other PDDL tools.
  ☆22Updated 2 years ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆31Updated 4 years ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆157Updated 2 weeks ago
• gerryai / pddl-parser
  Java parser for the Planning Domain Definition Language (PDDL)
  ☆11Updated 9 years ago
• logicmoo / logicmoo_ec
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Updated 3 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆57Updated 2 weeks ago
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆32Updated this week
• sisinflab-swot / cowl
  🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies
  ☆39Updated last month
• AtomGraph / Core
  Generic Linked Data framework for SPARQL tripestore backends. Apache license.
  ☆39Updated 7 months ago
• LOD-Laundromat / LOD-Laundromat
  Cleaning other people's dirty data.
  ☆54Updated 4 years ago
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆100Updated last month
• CArtAgO-lang / cartago
  A Java-based Framework for Programming Environments in Agent-oriented Applications
  ☆19Updated last year
• sarl / sarl
  SARL Agent-Oriented Programming Language http://www.sarl.io
  ☆148Updated last month
• friguzzi / trill-on-swish
  The Trill probabilistic ontology reasoner on SWISH
  ☆12Updated 2 months ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆34Updated 4 months ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆41Updated 3 years ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆56Updated 2 months ago
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆73Updated 11 months ago
• rdfostrich / ostrich
  🐦 Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)
  ☆50Updated 3 months ago
• OP-TED / model2owl
  Transform UML into a formal OWL ontology and SHACL shapes
  ☆43Updated this week
• eyereasoner / EyeServer
  EyeServer is a server for the EYE reasoner.
  ☆31Updated 2 years ago
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆38Updated 10 years ago
• SNePS / SNePS2
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆12Updated 7 years ago