Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Aggiungere puntamento a violazioni di OWL 2 DL #101

Open
valeriosantarelli opened this issue May 8, 2020 · 3 comments
Open

Aggiungere puntamento a violazioni di OWL 2 DL #101

valeriosantarelli opened this issue May 8, 2020 · 3 comments
Assignees
@NonnonePalmiro
Labels
enhancement New feature or request

Comments

@valeriosantarelli
Copy link
Contributor

A valle del check semantico sull'aderenza alla OWL 2 DL dell'ontologia, permettere di mostrare sul diagramma la violazione (con un meccanismo simile a quella che li fa vedere dopo il check sintattico sui vari profili, quindi un pulsante "Show").
@valeriosantarelli valeriosantarelli added the enhancement New feature or request label May 8, 2020
@valeriosantarelli valeriosantarelli added this to the Eddy v2.2 milestone May 8, 2020
@NonnonePalmiro
Copy link
Contributor

Qui ho evitato di aggiungere spiegazioni delle violazioni perchè ancora non ho agganciato tutti i controlli che bisogna effettuare (https://www.w3.org/TR/owl2-syntax/#Global_Restrictions_on_Axioms_in_OWL_2_DL) alle owl api. Quando aggancio tutto vedo che si può fare

@valeriosantarelli
Copy link
Contributor Author

Qui ho evitato di aggiungere spiegazioni delle violazioni perchè ancora non ho agganciato tutti i controlli che bisogna effettuare (https://www.w3.org/TR/owl2-syntax/#Global_Restrictions_on_Axioms_in_OWL_2_DL) alle owl api. Quando aggancio tutto vedo che si può fare

Si si, benissimo. Lasciamo la issue per tenerne traccia, e quando possibile la sistemiamo.

@NonnonePalmiro NonnonePalmiro modified the milestones: Eddy v2.2, Eddy v1.3 May 8, 2020
@NonnonePalmiro
Copy link
Contributor

Agganciare il controllo ad opportuni metodi delle OLW API

@valeriosantarelli valeriosantarelli modified the milestones: Eddy v3.1, Eddy 3.2 Jun 15, 2020
@mnamici mnamici modified the milestones: Eddy 3.2, Eddy 3.3 Jan 12, 2022
@valeriosantarelli valeriosantarelli removed this from the Eddy 3.3 milestone Jan 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@NonnonePalmiro NonnonePalmiro

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@valeriosantarelli @mnamici @NonnonePalmiro