1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
[EYE](https://josd.github.io/images/eye.png)
# Running EYE using Docker
EYE can be run using a Docker installation.
Pull the latest version of eye:
```
docker pull eyereasoner/eye
```
## Linux/OSX
Run the EYE reasoner:
```
docker run --net=host --rm -v $HOME:$HOME -w $(pwd) -ti eyereasoner/eye --help
```
Use the EYE reasoner with a local Notation3 file as input:
```
docker run --net=host --rm -v $HOME:$HOME -w $(pwd) -ti eyereasoner/eye --nope --quiet --pass myfile.n3
```
## Windows
Run the EYE reasoner:
```
docker run --net=host --rm -v %HOMEPATH%:%HOMEPATH% -w %cd% -ti eyereasoner/eye --help
```
Use the EYE reasoner with a local Notation3 file as input:
```
docker run --net=host --rm -v %HOMEPATH%:%HOMEPATH% -w %cd% -ti eyereasoner/eye --nope --quiet --pass myfile.n3
```
|
