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

Last updated: November 23,2024

1. Install "konclude" package

Please follow the guidance below to install konclude on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                konclude
            
                    
    
    Copied

2. Uninstall "konclude" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                konclude
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: konclude
Architecture: amd64
Version: 0.7.0+1138~dfsg-1
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Jonas Smedegaard
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 20891
Depends: default-dbus-session-bus | dbus-session-bus | dbus-x11, libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libjemalloc2 (>= 5.0.0), libqt5concurrent5 (>= 5.6.0~rc), libqt5core5a (>= 5.15.1), libqt5network5 (>= 5.0.2), libqt5xml5 (>= 5.1.0), libraptor2-0 (>= 2.0.14), librasqal3 (>= 0.9.31), librdf0 (>= 1.0.17), libstdc++6 (>= 5.2)
Filename: pool/universe/k/konclude/konclude_0.7.0+1138~dfsg-1_amd64.deb
Size: 3212882
MD5sum: e9b44613d078dfe1b9d38547db144e98
SHA1: b582818bf2259fc49f27219eb4772700f03ce536
SHA256: 93c010b2d6bc0a0d21ad97e1b73ebb6d214225342da9942228711e3d33319d7e
SHA512: 30ebdfd9c2b3f1feac9772822fc729c66d10c934107a79b57b422ec3f8d7fa0eca6f811f36ab77f2fcca1b05f62745b92e46fd29df2282387b1cecc45e772251
Homepage: http://www.konclude.com/
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: be956a63cc81d3b287d3fb94fd010637