JFact

JFact is an OWL 2 DL reasoner, based on FaCT++

Brought to you by: ignazio1977

Add a Review

Downloads: 2 This Week

Last Update: 2014-11-23

Download

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

JFact is an OWL 2 DL reasoner, based on FaCT++

Active development, bug reports, wiki and support on https://github.com/owlcs/jfact

Project Activity

See All Activity >

Follow JFact

JFact Web Site

Other Useful Business Software

Simple, Secure Domain Registration

Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.

Rate This Project

User Reviews

Be the first to post a review of JFact!

Additional Project Details

Registered

2011-03-01

Report inappropriate content

Recommended Projects

O-DEVICE
O-DEVICE is a CLIPS-based production rule OWL reasoner that maps OWL ontologies on the Object-Oriented language of CLIPS, namely COOL. Furthermore, JO-DEVICE is available that enables O-DEVICE to be used in JAVA applications.
OLiA
MOVED TO https://github.com/acoli-repo/olia. The Ontologies of Linguistic Annotations (OLiA) provide an OWL/DL taxonomy of data categories as a reference for linguistic annotation (OLiA Reference Model), plus OWL/DL models for a large number of annotation schemes (OLiA Annotation Models) and...
Chainsaw
Development for Chainsaw is at https://bitbucket.org/ignazio1977/chainsaw For recent source code and support, please visit the BitBucket page. Chainsaw uses modularisation and atomic decomposition to delegate reasoning tasks to other OWL 2 reasoners; it leverages Divide and Conquer to...
jopa
JOPA is a JPA-like OWL2 persistence framework based on OWL integrity constraints.
PsPM
PsPM is a powerful tool for psychophysiological modelling. It includes linear convolution models and non-linear models for SCR, and allows for modelling of other signals, too. A flexible import interface and many utilities make this software a standalone tool. IMPORTANT: As of 04.11.2019, the...