How to Install and Uninstall fact++ Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 17,2024

1. Install "fact++" package

Here is a brief guide to show you how to install fact++ on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                fact++
            
                    
    
    Copied

2. Uninstall "fact++" package

Please follow the instructions below to uninstall fact++ on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                fact++
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the fact++ package on Ubuntu 21.10 (Impish Indri)

Package: fact++
Architecture: amd64
Version: 1.6.5~dfsg-3
Priority: optional
Section: universe/x11
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Jonas Smedegaard
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1210
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2)
Filename: pool/universe/f/fact++/fact++_1.6.5~dfsg-3_amd64.deb
Size: 341732
MD5sum: 0af553d00dcf7957f6eeac52db4a7e64
SHA1: d9051bd2bec929bca78403a79a9efea18b805d11
SHA256: 8b79610996d17b99737cad079ecd08a2fae1f591ddc507fe1b179d293b1985b2
SHA512: 7f146f3cff5a4f7daec486faa9b1510bbcb4771095d2a61643f13b8eb11ea6d0830d6543de5a023ebc7348d89ead79e021ff2a9ade73c434e5178816b510f7f1
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