Search Results for "reasoning"

This is the software repository of CEqEA, the ab-intra reasoning and modelling environment

Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. ...

A general OWL reasoning framework for the analysis of big biomedical data and implement a MapReduce-based property chain reasoning prototype system. OWL reasoning method is ideally suitable for problems involved complex semantic associations because it is able to infer logical consequences based on a set of asserted rules or axioms. MapReduce framework isused to solve the problem of scalability.

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and...

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.

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.

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.

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.

“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

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.

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.

By integrating heterogeneous original data with uniform RDF format, creating additional ontology mappings between GO terms, and introducing a set of reasoning rulebases, we proposed a RDF model GORouter.

TreeSap introduces simple yet powerful qualitative querying:rather than specifying a query using numerical measurements ("within 5km") english phrases are used ("near"). In-built fuzzy logic handles vagueness producing results with weighted relevance

HORUS is a system for knowledge acquisition, hypothesis generation, inference and learning. It is an interactive, internet environment accessible to a diverse community of users (public-access or membership basis) - see also UMKAILASH project for more.

This is a Java Email client for academic purpose. It will include the general email client features and other experimental techniques such as uncertain reasoning, HCI principles. This project is not supported now.

GENoDL is a Description Logics based reasoning tool that automatically generates service ontologies from a given Knowledge Base.

The ROSE reasoner is used to for reasoning with RDFS ontologies and currently supports the RDF, RDFS and eRDFS entailment regimes. An online demo of the RDFS Reasoner can be found here: http://tools.deri.org/rdfs-reasoner/

fedg extracts knowledge and relevant events in chinese texts to generate Feature Event Dependency Graph.FEDG is a knowledge representation model,meaningful for latent knowledge discovery and efficient reasoning.