Search Results for "artificial intelligence php software"

This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.

The DLP tool was ideated and developed by: Dr. Luca Mazzola, MsC. Patrick Kapahnke, and PD Dr. Matthias Klusch at the German Research Center for Artificial Intelligence DFKI GmbH (http://www.dfki.de ) in Saarbrücken, Germany. Copyright: DFKI, 2017, licence GLP see https://www.gnu.org/licenses/gpl-3.0.en.html For bug reports, technical problems and feature requests please contact: Luca Mazzola: luca.mazzola@dfki.de or mazzola.luca@gmail.com Patrick Kapahnke: patrick.kapahnke@dfki.de

The Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a powerful rule language suitable for all kinds of reasoning tasks, vanilla XML and RDF/XML interfaces, and support for a variety of AI-related applications, such as scheduling, planning and diagnosis.

C++ library for working with OWL ontologies

OntoComP is a Protégé 4 plug-in for completing OWL ontologies. It enables the user to check whether an OWL ontology contains "all relevant information" about the application domain, and extends the ontology appropriately if this is not the case. It achieves this by asking the user questions of the form "are instances of classes C1 and C2 also instances of class C3?". If the user confirms such a question, then a new axiom of the application domain that does not follow from the ontology has...

Game Toolbox is a C# assembly designed to facilitate the creation of games and game prototypes. It contains no graphics code, does not depend on XNA, and is Mono-compatible. It provides implementations of A*, GOAP, a genetic algorithm, and more.

XML Processor. A Multi-threaded, Pub/Sub environment for Dynamic programming on an event driven Tickless and Sleeping State Machine with TCP communications, tight flawless memory management, powerful set algebra and a magical database. 100% C++. ezPort.

Agent inter-platform mobility service for the well-known JADE agent platform. This service allows software agents to move from one execution platform to the next, carrying their own data and state, and resuming their execution upon arrival.

VINE is a vocabulary Integration Environment Tool, developed at MMI. It allows to create fast mappings and alignments from ontologies in OWL. VOC2OWL is a tool to create ontologies from ASCII files. They are both JAVA based and are delivered as a Rich Cl

The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/

Got any emails with obnoxious inline text? Long text stories with bad formatting? Files that an OCR didn't quite translate right? RTF format files and no easy way to read or modify them? Then eBookFormatter is for you!

CRML - Conflict Resolution Markup Language - http://www.equiforum.org - is an open source innitiative to develop an XML based Semantic Web ontology (RDF, OWL) for researchers interested in peace to create a standard way of collecting and sharing informa