How to Install and Uninstall konclude Package on Kali Linux

Last updated: December 24,2024

1. Install "konclude" package

This tutorial shows how to install konclude on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                konclude
            
                    
    
    Copied

2. Uninstall "konclude" package

Please follow the instructions below to uninstall konclude on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                konclude
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the konclude package on Kali Linux

Package: konclude
Version: 0.7.0+1138+git20220514~dfsg-1
Installed-Size: 23442
Maintainer: Jonas Smedegaard
Architecture: amd64
Depends: default-dbus-session-bus | dbus-session-bus, libc6 (>= 2.34), libgcc-s1 (>= 3.0), 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.15), librasqal3 (>= 0.9.31), librdf0 (>= 1.0.17), libstdc++6 (>= 5.2)
Size: 3458440
SHA256: 0203b3e024d9840848d282baaa379b168bae0d5782ffc3e3e89f55dbb928990d
SHA1: f06a024766aeba9d8787cc61b1dea4408abe8fff
MD5sum: 2d336ca5a39ea80356a12340e1ab98c9
Description: 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:
Homepage: http://www.konclude.com/
Tag: uitoolkit::qt
Section: science
Priority: optional
Filename: pool/main/k/konclude/konclude_0.7.0+1138+git20220514~dfsg-1_amd64.deb