A clone of the Java based FaCT++ OWL DL reasoner that enables developers to infer logical consequences for a set of alleged axioms. #OWL DL reasoner #DL reasoner #Description Logic reasoner #Reasoner #DL #OWL
JFact is a Java port of the FaCT++ OWL DL reasoner. JFact's design matches FaCT++ design very closely, except for the low level details where Java offers different ways of doing things.
If you are knowledgeable of FaCT++ internals you'll find that many of the JFact classes and methods look familiar.
However, JFact does not include some parts of FaCT++: the DIG interface and the command line support are absent.
Also, JFact is a cross-platform utility capable of running on any operating system that comes with Java support (e.g. Mac OS X, Windows, Linux).
System requirements
JFact 4.0.0
add to watchlist add to download basket send us an update REPORT- runs on:
- Mac OS X (-)
- file size:
- 826 KB
- filename:
- jfact-4.0.0.jar
- main category:
- Developer Tools
- developer:
- visit homepage
Windows Sandbox Launcher
Set up the Windows Sandbox parameters to your specific requirements, with this dedicated launcher that features advanced parametrization
4k Video Downloader
Export your favorite YouTube videos and playlists with this intuitive, lightweight program, built to facilitate downloading clips from the popular website
Microsoft Teams
Effortlessly chat, collaborate on projects, and transfer files within a business-like environment by employing this Microsoft-vetted application
IrfanView
With support for a long list of plugins, this minimalistic utility helps you view images, as well as edit and convert them using a built-in batch mode
calibre
Effortlessly keep your e-book library thoroughly organized with the help of the numerous features offered by this efficient and capable manager
ShareX
Capture your screen, create GIFs, and record videos through this versatile solution that includes various other amenities: an OCR scanner, image uploader, URL shortener, and much more
Zoom Client
The official desktop client for Zoom, the popular video conferencing and collaboration tool used by millions of people worldwide
Context Menu Manager
Customize Windows’ original right-click context menu using this free, portable and open-source utility meant to enhance your workflow
7-Zip
An intuitive application with a very good compression ratio that can help you not only create and extract archives, but also test them for errors
Bitdefender Antivirus Free
Feather-light and free antivirus solution from renowned developer that keeps the PC protected at all times from malware without requiring user configuration
% discount
Context Menu Manager
- Context Menu Manager
- 7-Zip
- Bitdefender Antivirus Free
- Windows Sandbox Launcher
- 4k Video Downloader
- Microsoft Teams
- IrfanView
- calibre
- ShareX
- Zoom Client
essentials
User Comments
This enables Disqus, Inc. to process some of your data. Disqus privacy policy