We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
Artificial Intelligence techniques applied to common software tasks, using First Order Logic; N3, OWL ontologies and rules. Enables component-based application building, platform independence, user-friendliness. Leverage on Euler inference engine + GUI.
The Datalog Educational System (DES) is a deductive database with Datalog, Relational Algebra and SQL as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS).
Genifer is a general inference engine based on logic and inductive learning, with an emphasis on self-programming. Its aim is to be universally applicable both as an embedded software component and as a high-level operating system and environment. News / Blog Live Chat - #Genifer on IRC.Freenode.Net Discussion Group Introductory Slides Online Book describing the AI theory behind Genifer The current Prototype (v1) consists of: 1) a simple NL (English) interface 2) deduction, including deductive p
A set of Scala classes providing simple usage of semantic web standards RDF(S) with syntactic sugaring. See RDFModel Read/Write RDF from Turtle, XML, N-Triples See TripleSetsViewsIO SPARQL query parsing Simple RDFS deduction (coming soon) OWL with syntactic sugaring. See OWLBasics SKOS support (coming soon) ScalaDoc
ResK is a collection of data structures and algorithms for the compression of resolution proofs. Resolution proofs are used by various sat-solvers, smt-solvers and first-order theorem provers, as certificates of correctness for the answers they provide. These automated deduction tools have a wide range of application areas, from mathematics to software and hardware verification. By providing smaller resolution proofs that are easier and faster to check, ResK aims at improving the reliability of