yh1997/gemo repository overview

⁠Docker-GeMo

⁠Introduction

This is a docker image of the algorithm GeMo. It computes a general module for a given ontology and signature. Here, a general module is a concise view of the given ontology wrt a given signature, which is specific elements that users are interested in.

For example, consider the following toy ontology consists of three axioms:

Assume that the users are interested in the signature consisting of the following three elements:

Then, the general module is a new ontology consisting of a single axiom:

⁠Implementation

Now, we show how to execute our algorithm.

⁠Step 1

Download the docker imagine:

docker pull yh1997/gemo:1.0

⁠Step 2

Run docker imagine by the command line:

docker run -it yh1997/gemo:1.0 /bin/bash

⁠Step 3

Go to the folder ``GeMo" by the command line:

cd GeMo

One can obtain the clauses set for each signature by running the following command:

python main.py test.owl sig_test

The result general module is saved in "./GeMo/gmStar.owl".