Search Results for "artificial intelligence linux"

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.

HERAKLES is a reasoning broker framework for OWL (Web Ontology Language) reasoning systems.

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...

MapPSO is a tool for Ontology Alignment, which uses Discrete Particle Swarm Optimisation. A particle swarm is used to search for the optimal alignment. The algorithm is massively parallel and adapts naturally on parallel architectures.

KADMOS provides a lightweight API for alignment of OWL 2 ontologies. It is based on the OWL API v3.

POGG (Programação Orientada a Gráficos de Gantt) é um modelo de programação que permite a distribuição de tarefas num Sistema Multiagente (SMA) criado com a plataforma JADE (Java Agent DEvelopment Framework), formando uma grade computacional.

SAIM allows to interlink knowledge bases in the Semantic Web. It focuses on instance matching of very large knowledge bases available as SPARQL endpoints. SAIM uses machine learning techniques and is compatible with SILK.

Sofa is a CUDA-based reasoner