INCATools / INCATools/kgcl

Map to COnto-diff change language

Open
#79 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
23
Forks
5
PR merge metrics
No merged PRs in 30d

Description

https://www.sciencedirect.com/science/article/pii/S1532046412000627#b0160

https://github.com/dbs-leipzig/conto_diff/

The formal spec in the paper is very clear. There also seems to be a KGCL-CNL type language underpinning it, running the tool gives operations such as

`move X_1 is_a X_2 X_3`

Contributor guide

Open the contributing guide

Research direction

Read the linked paper and the dbs-leipzig/conto_diff repository first, then inspect how KGCL represents operations such as `move X_1 is_a X_2 X_3`. Done means documenting or implementing a clear mapping between the formal change specification and the KGCL change language, with any affected repository entry points identified.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
tooling
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
28/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.