TweetyProjectTeam / TweetyProjectLinks
TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
☆31Updated last week
Alternatives and similar repositories for TweetyProject
Users that are interested in TweetyProject are comparing it to the libraries listed below
Sorting:
- JPL: The Prolog <-> Java interface☆54Updated last month
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆136Updated 3 years ago
- Euler Yet another proof Engine☆142Updated this week
- Multi-backend EMF persistence framework.☆54Updated 3 months ago
- Java-based lightweight Prolog virtual machine☆34Updated 11 months ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆60Updated 3 months ago
- Whole Platform Language Workbench☆27Updated last year
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆37Updated 3 years ago
- Whelk is an OWL EL reasoner☆29Updated 2 months ago
- Java <-> XSB Prolog bridge library☆12Updated 4 years ago
- Components and frameworks for building web-based modeling tools☆48Updated 2 years ago
- emfjson-jackson☆19Updated 11 months ago
- OWL2 library for Prolog☆111Updated 5 years ago
- A general framework for embedding Logic Programming in complex systems☆31Updated last year
- An Xtext language and example usage of it built with Maven☆61Updated 3 months ago
- Dresden OCL provides a set of tools to parse and evaluate OCL constraints on various models like UML, EMF and Java. Furthermore Dresden O…☆22Updated 9 years ago
- Python interface for SWI-Prolog☆49Updated last month
- Port of Aleph to SWI-Prolog☆48Updated last year
- Prolog programming for the Java platform.☆38Updated last year
- Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine☆10Updated 9 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- SARL Agent-Oriented Programming Language http://www.sarl.io☆146Updated 5 months ago
- Menthor Editor☆30Updated 4 years ago
- Java library based on the VLog rule engine☆32Updated 11 months ago
- GraphStream Swing user interface☆28Updated last year
- Generates RDF4J Vocabulary classes from RDFS or OWL Schemas☆16Updated 2 years ago
- Java Constraint Programming solver☆224Updated last year
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆79Updated 6 years ago
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆57Updated this week