How to Install and Uninstall eye Package on Kali Linux

Last updated: May 18,2024

1. Install "eye" package

Learn how to install eye on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                eye
            
                    
    
    Copied

2. Uninstall "eye" package

Here is a brief guide to show you how to uninstall eye on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                eye
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the eye package on Kali Linux

Package: eye
Version: 22.1201.1601~ds-1
Installed-Size: 58668
Maintainer: Jonas Smedegaard
Architecture: all
Depends: swi-prolog-nox, swi-prolog-abi-2-68-a4633a75-9fa44fc5
Recommends: ca-certificates, curl
Size: 3125292
SHA256: 62d2f45d680552554e884bf7569736d64974f058063d336c295f32437de3dfb5
SHA1: 6ecabd4b7acbd38012bd434243482d06f9107a74
MD5sum: 99d2715d795a9901411a191d3a771286
Description: semantic web reasoning engine
Euler Yet another proof Engine (EYE) is a reasoning engine
supporting the Semantic Web layers.
It performs semibackward chaining and it supports Euler paths.
Via N3 it is interoperable with Cwm.
.
Semibackward chaining
is backward chaining for rules using <= in N3
and forward chaining for rules using => in N3.
This can be seen in EYE Reasoning.
.
Euler paths are roughly "don't step in your own steps"
which is inspired by what Leonhard Euler discovered in 1736
for the Königsberg Bridge Problem.
EYE sees the rule P => C as P & NOT(C) => C.
.
Notation3 (N3) is a shorthand non-XML serialization
of Resource Description Framework (RDF) models,
designed with human-readability in mind:
N3 is much more compact and readable than XML RDF notation.
.
Resource Description Framework (RDF) is a standard model
for data interchange on the Web.
Description-md5:
Homepage: https://josd.github.io/eye/
Section: science
Priority: optional
Filename: pool/main/e/eye/eye_22.1201.1601~ds-1_all.deb