mTableaux

Brought to you by: lsteller

Last Update: 2014-03-08

Get an email when there's a new version of mTableaux

Light-Weight and Resource Adaptive Mobile Tableaux Reasoner for Inference in OWL Source code for my PhD research. Please report any bugs to me: Luke.Steller@gmail.com See my research website: http://hercules.infotech.monash.edu.au/~lukes/

Project Activity

See All Activity >

Follow mTableaux

mTableaux Web Site

Other Useful Business Software

Orchestrate Your AI Agents with Zenflow

The multi-agent workflow engine for modern teams. Zenflow executes coding, testing, and verification with deep repo awareness

Zenflow orchestrates AI agents like a real engineering system. With parallel execution, spec-driven workflows, and deep multi-repo understanding, agents plan, implement, test, and verify end-to-end. Upgrade to AI workflows that work the way your team does.

Try free now

Rate This Project

User Reviews

Be the first to post a review of mTableaux!

Additional Project Details

Registered

2010-11-13

Report inappropriate content

Recommended Projects

Jena
Jena is Java toolkit for developing semantic web applications based on W3C recommendations for RDF and OWL. It provides an RDF API; ARP, an RDF parser; SPARQL, the W3C RDF query language; an OWL API; and rule-based inference for RDFS and OWL. Jena is now an Apache project: http://jena.apache.org/
OWL API
A Java interface and implementation for the W3C Web Ontology Language (OWL), used to represent Semantic Web ontologies. The API is focused towards OWL 2 and offers an interface to inference engines and validation functionality.
Bayesian Network Tools in Java (BNJ)
Java/XML toolkit for research using Bayesian networks and other graphical models of probability (exact and approximate inference, structure learning, etc.)
sourcesinc
Source code from the Research Institute for Signals, Systems and Computational Intelligence http://fich.unl.edu.ar/sinc
Duckling
The Collaboration Environment, supporting e-Science, is a comprehensive resource sharing and collaboration platform specific for research group.