Alternatives and similar repositories for graphrel

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

• Kaljurand / aceview
  ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …
  ☆10Updated 7 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆210Updated last year
• bptlab / chimera
  Chimera: Execution Engine for Case Management
  ☆14Updated 5 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 11 months ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆115Updated last week
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated last year
• di-unipi-socc / kube-freshener
  Tool that allows you to find and solve architectural smells inside a microservice architecture driven by Kubernetes
  ☆11Updated 2 years ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆34Updated 2 years ago
• nchah / freebase-mql
  A review of the deprecated Freebase knowledge base and Metaweb Query Language (MQL). A brief comparison of MQL and GraphQL.
  ☆42Updated 8 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 2 months ago
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆13Updated 6 years ago
• sarl / sarl
  SARL Agent-Oriented Programming Language http://www.sarl.io
  ☆149Updated 2 months ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆52Updated last year
• rkirsling / modallogic
  Modal Logic Playground
  ☆375Updated last year
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• OSLC / developing-oslc-applications
  A collection of resources to dive into making OSLC applications
  ☆18Updated 2 weeks ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆50Updated 3 years ago
• ls1intum / Ares
  The Artemis Java Test Sandbox. A JUnit 5 Extension for Easy and Secure Artemis Java Testing
  ☆25Updated this week
• dsl-course / mps-textbook-beginners
  Programming with JetBrains MPS - Textbook for Beginners
  ☆22Updated 6 years ago
• oasis-tcs / legalruleml
  OASIS LegalRuleML TC: GitHub repository for developing and distributing good examples in order to share knowledge about the correct appli…
  ☆44Updated 5 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• JabRef / jabref-koppor
  Collection of simple for JabRef issues. Please submit PRs to https://github.com/jabRef/jabref/.
  ☆12Updated 2 weeks ago
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆140Updated 4 years ago
• Workday / upshot-montague
  Montague is a little CCG semantic parsing library for Scala.
  ☆59Updated 3 years ago
• jcabot / ocl-repository
  A repository for examples of all kinds of OCL (Object Constraint Language) expressions
  ☆25Updated 9 years ago
• MetaBorgCube / IceDust
  A language for data modeling and incremental computing of derived values
  ☆11Updated last year
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 7 years ago
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated last year
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆147Updated last month