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

Last updated: November 26,2024

1. Install "konclude" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                konclude
            
                    
    
    Copied

2. Uninstall "konclude" package

Please follow the guidance below to uninstall konclude on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                konclude
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: konclude
Priority: optional
Section: universe/science
Installed-Size: 6909
Maintainer: Ubuntu Developers
Original-Maintainer: Jonas Smedegaard
Architecture: amd64
Version: 0.6.2~dfsg-1
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libqt4-network (>= 4:4.6.1), libqt4-xml (>= 4:4.5.3), libqtcore4 (>= 4:4.8.0), libstdc++6 (>= 5.2), dbus-x11
Filename: pool/universe/k/konclude/konclude_0.6.2~dfsg-1_amd64.deb
Size: 1814032
MD5sum: 344522473bb3648bdcf4adfa98e69d9b
SHA1: 187b0020729849c827e120342ec1e3791209ead9
SHA256: 754fdb81d8d2400c5a2af4ee0a05dc0ed9aad38976c5f4aa8f721b349454f4c9
Description-en: tableau-based description logic reasoner for the semantic web
Konclude is a high-performance reasoner for large and expressive
ontologies. The supported ontology language is formally characterised
by the Description Logic (DL) SROIQV(D). In other words, Konclude can
handle all of the Web Ontology Language (OWL 2) with almost all
datatypes. In addition, Konclude supports nominal schemas which allow
for expressing arbitrary DL-safe rules simply by using given ontology
syntax extended with variables.
.
Konclude can be used via OWLlink as an OWLlink server as well as via
command line. For applications that use the OWL API, the OWLlink OWL
API Adapter can be used to link with a Konclude server.
Description-md5: f37f10d798d4beb08adeb381d93571c5
Homepage: http://www.konclude.com/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu