Filewatcher File Search File Search
Catalog
Content Search
» » » » »

fact++

description logic reasoner for the semantic web

Variants:
FaCT++ is a DL reasoner. It supports OWL DL as well as the forthcoming standard OWL 1.1. FaCT++ is implemented in C++ and uses optimised tableaux algorithms. The tool is probably best known for its compatibility with the tool Protege that helps to formally represent semantics.
Homepage:
Package version:1.5.3~dfsg-1
Architecture:sparc
Distribution:Debian
Filename:fact++_1.5.3~dfsg-1_sparc.deb

/usr/share/doc/fact++/README.gz

This is a README file for the FaCT++ v1.1.6 reasoner distribution.

This file contains following information

1. Introduction
2. Contents of distribution
3. Installation
4. Usage
5. Known problems
6. Contact information

1. Introduction
---------------

FaCT++ is re-implementation of the well-known FaCT Description Logic (DL) 
Reasoner. This reasoner currently supports the SROIQ(D) description Log
more»

/usr/share/doc/fact++/changelog.Debian.gz

fact++ (1.5.3~dfsg-1) unstable; urgency=low

  * Initial packaging release.
    Closes: bug#431175.

 -- Jonas Smedegaard <dr@jones.dk>  Wed, 27 Jun 2012 20:25:49 +0200

/usr/share/doc/fact++/copyright

Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: FaCT++
Upstream-Contact: Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
Source: http://code.google.com/p/pinot-search/
 Repackaged, excluding source-less and possibly non-DFSG binary code
Files-Excluded:
 src/FaCT++.OWLAPI/lib/owlapi-src.jar
 src/FaCT++.OWLAPI/lib/owlapi-bin.jar
 src/FaCT++.OWLAPIv3/lib/owlapi-src.jar

more»

Browse inside fact++_1.5.3~dfsg-1_sparc.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download fact++_1.5.3~dfsg-1_sparc.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com