How to Install and Uninstall fact++ Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 19,2024

1. Install "fact++" package

Learn how to install fact++ on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                fact++
            
                    
    
    Copied

2. Uninstall "fact++" package

In this section, we are going to explain the necessary steps to uninstall fact++ on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                fact++
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the fact++ package on Ubuntu 20.10 (Groovy Gorilla)

Package: fact++
Architecture: amd64
Version: 1.6.5~dfsg-2build1
Priority: optional
Section: universe/x11
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Jonas Smedegaard
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1408
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2)
Filename: pool/universe/f/fact++/fact++_1.6.5~dfsg-2build1_amd64.deb
Size: 363792
MD5sum: ab28502727c183065410ed377b498ead
SHA1: 76c55dbc968eb26861637d977c2fc641bdff12a2
SHA256: ebd01d8786583bc0c6c80bc0fb5841247150b779f61cdae33965b5e3d3c04a5d
SHA512: fd27834aa97db437ad91248c7001362ad35f7542f4337667b0168136df89e0a51f0c97ac8a23bfbc96bbba4aa1ce57ab2c2aa2acd035e320b9eabf5d88669c6f
Homepage: http://owl.man.ac.uk/factplusplus/
Description-en: 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: 88cb5425bc675c40172d29e65d93fe2e