yh1997/demo_gemo repository overview

⁠Demo of 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 a set of 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/demo_gemo:0.1

⁠Step 2

Run docker imagine by the command line:

docker run -it yh1997/demo_gemo:0.1 /bin/bash

⁠Step 3

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

cd GeMo

One can compute the general module for a given ontology and signature with the following command:

python main.py test.owl sig_test

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