How to Install and Uninstall fact++ Package on Kali Linux

Last updated: November 07,2024

1. Install "fact++" package

Please follow the guidance below to install fact++ on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                fact++
            
                    
    
    Copied

2. Uninstall "fact++" package

Please follow the instructions below to uninstall fact++ on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                fact++
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the fact++ package on Kali Linux

Package: fact++
Version: 1.6.5~dfsg-3
Installed-Size: 1194
Maintainer: Jonas Smedegaard
Architecture: amd64
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2)
Size: 340436
SHA256: 6abaced8491853b5581431dc6d30d8df9e3625afac1cbdad9ae11efe10b8b022
SHA1: 9c91f2f640a25d390c6e68575874efcad2e77804
MD5sum: 6be78bec292f12f1c832ccc278d79c74
Description: description logic reasoner for the semantic web
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.
Description-md5:
Homepage: http://owl.man.ac.uk/factplusplus/
Section: x11
Priority: optional
Filename: pool/main/f/fact++/fact++_1.6.5~dfsg-3_amd64.deb