How to Install and Uninstall fact++ Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 19,2024

1. Install "fact++" package

Learn how to install fact++ on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                fact++
            
                    
    
    Copied

2. Uninstall "fact++" package

Please follow the step by step instructions below to uninstall fact++ on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                fact++
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the fact++ package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: fact++
Priority: optional
Section: universe/x11
Installed-Size: 1633
Maintainer: Ubuntu Developers
Original-Maintainer: Jonas Smedegaard
Architecture: amd64
Version: 1.6.3~dfsg-1
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6), dbus-x11
Filename: pool/universe/f/fact++/fact++_1.6.3~dfsg-1_amd64.deb
Size: 532382
MD5sum: 614ae35ccfc50e9ed7f80c17f2e192a0
SHA1: c2c5cf85b1199c900dc52c350124077e6a21187a
SHA256: 92d1d5027acf6334894dc26bd954e179ec8690d8edc1dd4e8cb96dfc7bef743f
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: f74e35e72184387f5cdfd015a0e0d681
Homepage: http://owl.man.ac.uk/factplusplus/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu