Search Results for "reasoning" - Page 2

DisChoco is a Distributed Constraint Reasoning Solver. Several Distributed Constraint Reasoning algorithms are implemented (like ABT, AFC, Adopt, ...). Users may easily implement and test their algorithms with DisChoco. contact: wahbi[at]users[dot]sourceforge[dot]net

SSWAP (Simple Semantic Web Architecture and Protocol; pronounced "swap") is an architecture, protocol, and platform that uses reasoning to semantically integrate disparate data and services on the web. Running live at http://sswap.info.

Swertia, the Semantic Web Entailment Regime Translation and Inference Architecture, is a generic Semantic Web reasoning framework that is based on first-order logic (FOL) reasoning. The goal is to provide reasoning support for all major Semantic Web reasoning standards, including RDF(S), OWL 2 (Direct Semantics, RDF-Based Semantics, OWL 2 RL/RDF rules), SWRL, RIF (RIF BLD, RIF Core, RIF+RDF and RIF+OWL combinations), and Common Logic. Available reasoning methods are entailment checking, consistency checking and query answering in the form of SPARQL entailment regimes. ...

IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);

VisKo is a framework supporting the answering of visualization queries that allow users to specify what visualizations they want generated rather that specifying how they should be generated. Rather than developing yet another visualization toolkit, VisKo aims at reasoning with existing toolkits to satisfy visualization requests.

The Prajna project is a collection of tools and utility classes combining visualization, geographic displays, data fusion, and semantic reasoning into a cohesive toolkit for enhancing information discovery and reasoning.

The WSML2Reasoner Framework is a modular architecture that combines various validation, normalisation, and transformation algorithms for the translation of ontology descriptions in WSML to the appropriate syntax of several underlying reasoning engines.

IRIS is an extensible reasoning engine for Datalog extended with function symbols, unsafe rules, negation, locally stratified or non-stratified programs, XML schema data types and a comprehensive and extensible set of built-in predicates.

OpenCyc is the open source version of the Cyc(r) technology, the world's largest and most complete general knowledge base and reasoning engine. A new release with even more content, better performance, and improved reliability will be up shortly.

SemaRule Navigator is an Integrated Suite of Open-Source and Free-License Software, placing Semantic and Text Analysis Technologies in the toolbox of Researchers, Students, and Enterprises.

This is the official collaborative development environment of the Large Knowledge Collider (LarKC), a platform for massive distributed reasoning that aims to remove the scalability barriers of currently existing reasoning systems for the Semantic Web

“Neurology Diagnosis System” is a web-based expert system for diagnosis of neurologic disorders or the disorders of our nervous system. Health assistants in remote areas can use the system to diagnose neurologic patients in the absence of neurolo

Modular version of FAtiMA Agent Architecture. FAtiMA is an Autonomous Agent Architecture with reactive and BDI based deliberative behaviour and with emotions and reasoning capabilities.

nu-BDI is an extension of the Jason agent interpreter aimed at processing norms using constraints on the agent's instantiated plans. The core agent reasoning cycle now includes a component for processing norms and enforcing norm constraints.

dlite is a small footprint description logic reasoner. The purpose of this project is to allow developers to easily integrate the description logic reasoning technology in their applications in order to characterize and classify complex system states.

A case-based reasoning (CBR) approach to imitating software agents

The power provided by OWL reasoning engines can be translated into Java applications and vice versas with this framework. A binding among OWL and Java concepts has been done in order to incorporate the semantic features of OWL into Java.

DLPlan is an open-source planner implemented in Java that uses Semantic Web standard technologies for knowledge representation and reasoning.

Approximate Reasoning trades completeness and soundness for increasing speed. The focus of this project is to develop scalable reasoning techniques for OWL ontologies.

Projeny (Probablistic Networks Generator in Java) is a graphical (Java SWT) front-end to BNT (Bayes Net Toolbox for Matlab). Projeny requires BNT, JMatLink and a Matlab back-end. There is no installable release package, but source code is available on SVN - please check out from SVN to use Projeny. Projeny was started with BNJ as the base.

System developed by Autonomous Semantic Grid research group,SEECS,NUST H12,Islamabad,Pakistan www.seecs.edu.pk.The system is based on ProActive Grid Middleware,ProActive Scheduler,Reasoning system Participants:Dr FarooqAhmad,Dr RaihanurRasool,KamranQadir

The Hanalyzer is a tool designed to help biologists explain results observed in genome-scale experiments and to generate new hypotheses. It combines information extraction, semantic data integration, reasoning, and visualization.

The Java Boolean Expression Library (JBEL) enhances the Java Collections API by implementing on-the-fly sorting, filtering and reasoning capabilities including, select(), collect(), reject(), detect(), doForEach() using functional programming techniques.

OO jDREW is an open source deductive reasoning engine for the RuleML web rule language. OO jDREW implements the object oriented extensions to RuleML which include: Order Sorted Types, Slots, and Object identifiers.

QuickAI (pronounced, "quickeye", or just "Quick" for short) is a return to the fundamental goals of creating an artificial intelligence. The priorities are to implement core models of knowledge and knowing, a reasoning engine, and a simple interface.