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
Veeam Data Platform v13.1 Icon
Veeam Data Platform v13.1

Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Try Now
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of mTableaux!

Additional Project Details

Registered

2010-11-13
Report inappropriate content