Search Results for "artificial intelligence algorithm"

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

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.

The CDM-Core ontology (CREMA Data Model - core module) is a manufacturing ontology, specialised in the two application sub-domains of 1) exhaust car manufacturing and 2) metallic press maintenance The CDM-Core ontology was developed by: Dr. Luca Mazzola, Msc. Patrick Kapahnke, Marko Vujic, 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, 2016, licence CC BY-SA see http...

A lightweight IDE for Artificial Intelligence. Started as GUI for the Euler reasoning engine. The sources can be N3, RDF, OWL, UML, eCore, plain XML or XSD, files or URL's. Wraps Drools (or CWM, FuXi) as N3 rules engines. Model based app. generation.

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

SAWA calculates a semantic similarity coefficient between two sentences. Coefficient is expressed between "0" and "1", where: 0 means there is not semantic similarity among them; 1 vice versa.

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.

The aim of ALIVE is to develop new approaches to the engineering of flexible, adaptable distributed service-oriented systems based on the adaptation of social coordination and organisation mechanisms.

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