Skip to content

[WIP] Fix incorrect SPARQL translation for OWLDataSomeValuesFrom#213

Closed
Demirrr with Copilot wants to merge 1 commit into
developfrom
copilot/fix-sparql-translation-issue
Closed

[WIP] Fix incorrect SPARQL translation for OWLDataSomeValuesFrom#213
Demirrr with Copilot wants to merge 1 commit into
developfrom
copilot/fix-sparql-translation-issue

Conversation

Copilot AI commented May 19, 2026

Copy link
Copy Markdown
Contributor

Thanks for asking me to work on this. I will get started on it and keep this PR's description up to date as I form a plan and make progress.


This section details on the original issue you should resolve

<issue_title>Incorrect SPARQL translation for OWLDataSomeValuesFrom with rdfs:Literal</issue_title>
<issue_description>When converting the following OWL class expression:

((CONTEXT_POSITION_MARKER ⊓ ∃mouse_lymph.Literal) ⊓ ¬∃salmonella.Literal)

the converter produces incorrect SPARQL:

?pos a <http://owlapy.internal/CONTEXT_POSITION_MARKER> . ?pos <http://dl-learner.org/carcinogenesis#mouse_lymph> ?s_1 . ?pos ?s_2 ?s_3 . FILTER NOT EXISTS { ?pos <http://dl-learner.org/carcinogenesis#salmonella> ?s_4 . }

which is clearly wrong, to recreate the pronblem please use this test case:

main.py</issue_description>

Comments on the Issue (you are @copilot in this section)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Incorrect SPARQL translation for OWLDataSomeValuesFrom with rdfs:Literal

2 participants