Alternatives and similar repositories for libfactplusplus:

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

• LEW21 / sparqlxx
  C++ semantic toolkit + sparqlite RDF database
  ☆18Updated last year
• owlcs / jfact
  JFact repository
  ☆13Updated 2 years ago
• opencog / ure
  Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.
  ☆55Updated 2 weeks ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆57Updated last year
• ethz-asl / libowlcpp
  A C++ library for working with OWL2 ontologies.
  ☆10Updated 9 years ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated 5 months ago
• mistasse / Prology
  Logic Programming for Python3
  ☆8Updated 8 years ago
• dajobe / librdf
  Redland librdf RDF API and triple stores
  ☆98Updated 3 months ago
• streamreasoning / RSP-QL
  A home of RSP-QL syntax and semantics discussion
  ☆18Updated 8 years ago
• rdf4cpp / rdf4cpp
  rdf4cpp aims to be a stable RDF library for C++
  ☆14Updated this week
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆53Updated 11 months ago
• SWI-Prolog / packages-swipl-win
  Portable Qt-based console for SWI-Prolog by Carlo Capelli
  ☆11Updated 2 weeks ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆133Updated this week
• drobilla / serd
  A lightweight C library for RDF syntax
  ☆88Updated last week
• liveontologies / elk-reasoner
  A Java-based OWL 2 EL reasoner
  ☆97Updated 7 months ago
• sisinflab-swot / cowl
  🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies
  ☆36Updated this week
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• SWI-Prolog / packages-cpp
  The SWI-Prolog C++ interface
  ☆31Updated 2 weeks ago
• wouterbeek / prolog_rdf
  Advanced support for working with RDF in Prolog.
  ☆17Updated 5 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated last month
• simongog / RoSA
  Reduced on-disk Suffix Array
  ☆21Updated 11 years ago
• benkard / cellspp
  A simple dataflow library for C++.
  ☆27Updated 6 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆19Updated 7 years ago
• costezki / awesome-semantic-tools
  List of projects related to Ontology engineering and Semantic Web technologies that make a geek smile for they exist.
  ☆14Updated 5 years ago
• RDFLib / FuXi
  Chimezie Ogbuji's FuXi reasoner. NON-FUNCTIONING, RETAINED FOR ARCHIVAL PURPOSES. For working code plus version and associated support re…
  ☆50Updated 8 years ago
• wouterbeek / prolog_graphviz
  A library for visualizing graphs in Prolog.
  ☆15Updated 5 months ago
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated last year
• SNePS / CSNePS
  The CSNePS Knowledge Representation and Reasoning System
  ☆27Updated 7 months 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:
  ☆46Updated 2 years ago