Two region opposite with equivalent extremities

[gsanou]

Hello, i'm facing to an issues, because i got inconsystency in the standard way so i need your help to get an answer : how to instantiate two regions on opposite strand with two equivalent extremities on the same reference (related to Region hasKey)

Bests
Gaoussou

[JervenBolleman]

Can you give us some example data?

[gsanou]

@JervenBolleman Thank you, for your answer, i'll upoad an example of file with the problem
IMGT-ONTOLOGY-Inconsistent.txt
When I try to reason on the ontologies i got inconsistence probably due to the fact that my sequence have two opposite brand (reverse and forward).
Bests

[JervenBolleman]

Using ROBOT I don't get a report of an inconsistency. (once fixing imports and dangling references). Can you show more details from the reasoner output and a more minimal example please.

[gsanou]

<rdf:Description rdf:about="http://www.imgt.org/imgt-ontology#IMGT000007_1..-3476_1">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual"/>
<rdf:type rdf:resource="http://biohackathon.org/resource/faldo#ReverseStrandPosition"/>
<faldo:reference rdf:resource="http://www.imgt.org/imgt-ontology#IMGT000007"/>
<faldo:position rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">1</faldo:position>
</rdf:Description>

<rdf:Description rdf:about="http://www.imgt.org/imgt-ontology#IMGT000007_1..-3476_3476">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual"/>
<rdf:type rdf:resource="http://biohackathon.org/resource/faldo#ReverseStrandPosition"/>
<faldo:reference rdf:resource="http://www.imgt.org/imgt-ontology#IMGT000007"/>
<faldo:position rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3476</faldo:position>
</rdf:Description>

<rdf:Description rdf:about="http://www.imgt.org/imgt-ontology#IMGT000007_1..81163_1">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual"/>
<rdf:type rdf:resource="http://biohackathon.org/resource/faldo#ForwardStrandPosition"/>
<faldo:reference rdf:resource="http://www.imgt.org/imgt-ontology#IMGT000007"/>
<faldo:position rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">1</faldo:position>
</rdf:Description>

<rdf:Description rdf:about="http://www.imgt.org/imgt-ontology#IMGT000007_1..81163_81163">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual"/>
<rdf:type rdf:resource="http://biohackathon.org/resource/faldo#ForwardStrandPosition"/>
<faldo:reference rdf:resource="http://www.imgt.org/imgt-ontology#IMGT000007"/>
<faldo:position rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">81163</faldo:position>
</rdf:Description>

Here is an example in my data, i use Hermit and Pellet in Protege to reason
Best

[JervenBolleman]

Hi, I still can't reproduce it. Can you give me a complete minimal file plus the pellet command line to get the invalid output?

[gsanou]

Ok, you can use this file below, i don't use pellet in comand line, i use it direct in Protege.
IMGT-ONTOLOGY-Inconsistent.txt