How to Install and Uninstall eye Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: May 17,2024

1. Install "eye" package

Please follow the guidance below to install eye on Ubuntu 21.04 (Hirsute Hippo)


    
        
            $
        

        
            
                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 Ubuntu 21.04 (Hirsute Hippo):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                eye
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the eye package on Ubuntu 21.04 (Hirsute Hippo)

Package: eye
Architecture: all
Version: 20.1027.2307~ds-1build1
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Jonas Smedegaard
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 14105
Depends: swi-prolog-nox, swi-prolog-abi-2-67-2d311769-de23899e
Recommends: ca-certificates, curl
Filename: pool/universe/e/eye/eye_20.1027.2307~ds-1build1_all.deb
Size: 1428028
MD5sum: b904ff7df6ece383692378202170a203
SHA1: d475517895af2eca844cb8d37ef245871038b095
SHA256: 01ad5d5154f8c0ee17570832d295ba6d1e8b115e3ea5be919e4c61745571c65f
SHA512: 152df3c1b3c7b2e3cb1c9784d294a0ff4e782b0b0588b8dd8655ecf745371d609777049423672f46b4058c06e64a5ad83b4c61db88d25b5b7f71f0968dac89af
Homepage: https://github.com/josd/eye
Description-en: 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: b509d100ee53ef205b9512e00c645e20