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

Last updated: May 18,2024

1. Install "eye" package

Please follow the instructions below to install eye on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                eye
            
                    
    
    Copied

2. Uninstall "eye" package

Learn how to uninstall eye on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                eye
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: eye
Architecture: all
Version: 20.0703.0848~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: 14021
Depends: swi-prolog-nox, swi-prolog-abi-2-67-a420f9da-de23899e
Recommends: ca-certificates, curl
Filename: pool/universe/e/eye/eye_20.0703.0848~ds-1build1_all.deb
Size: 1423012
MD5sum: 1b82e5a3c6424ba1e4cb6aaece43f64e
SHA1: 9802264ecc50328f96d8a45f0834ee0072b45669
SHA256: 89dced79704bf928500932412215b81a43e75b682a261030e2be04c30ed7462b
SHA512: 98406f57433feb87b39d3bb817d36abf42810aa3281de10bcd4d10a6af2dfe2ab8eb0e2d1da6a15c86b155b587b91ba43c0c43084ea2c69fb2b4a34c84f33b86
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