Alternatives and similar repositories for APE

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

• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated 6 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆59Updated 3 years ago
• vangelisv / thea
  OWL2 library for Prolog
  ☆111Updated 5 years ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆110Updated this week
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆32Updated this week
• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆58Updated 4 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 6 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated last month
• ontologyportal / sumo
  Suggested Upper Merged Ontology (SUMO)
  ☆239Updated this week
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆73Updated 4 years ago
• ha-mo-we / Racer
  Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
  ☆109Updated 6 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 7 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆56Updated last year
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆152Updated this week
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆78Updated 3 weeks ago
• AndriesSHP / Gellish
  Development of the Gellish Communicator reference application and tools for universal data exchange and data integration supporting Forma…
  ☆26Updated 6 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆118Updated last week
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆458Updated last week
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• LogicalContracts / LogicalEnglish
  ☆34Updated this week
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated 2 months ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆33Updated 10 years ago
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆71Updated 7 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆203Updated 3 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• Anniepoo / JavaPengine
  Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine
  ☆10Updated 9 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 5 months ago
• AndrewSmart / opencyc
  A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.
  ☆54Updated 9 years ago