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

Last updated: December 27,2024

1. Install "konclude" package

This is a short guide on how to install konclude on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                konclude
            
                    
    
    Copied

2. Uninstall "konclude" package

Please follow the steps below to uninstall konclude on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                konclude
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: konclude
Architecture: amd64
Version: 0.6.2+966~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: 22357
Depends: default-dbus-session-bus | dbus-session-bus | dbus-x11, libc6 (>= 2.29), libgcc-s1 (>= 3.0), libqt5concurrent5 (>= 5.6.0~rc), libqt5core5a (>= 5.12.2), 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.6.2+966~dfsg-1_amd64.deb
Size: 3139208
MD5sum: caed275b87ab50e4ebced1e92d9927c6
SHA1: 0b5e8d10f3e4f7e825efdf3e279d48c173a0d8ea
SHA256: d1e667eac250fceca8151d3adb1cffa3b19faff19930b7c8990c96fb130e5fbb
SHA512: a25eb84e054418497d0215f00b46489a15e1c4c7df566df69af81e27db8eb3c99ea2df883533bac45f55498a49cc130cf525f2e0b1b53405d09ba336ec0515db
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