Engine menu - OWL and Rules

[FabienGandon]

Hello,

Using the toy datasets humans_data.ttl and human_schema.ttl I have a strange behaviour when I add the following definition to the schema:

:hasSibling a owl:ObjectProperty ;
    rdfs:label "has for sibling"@en, "a pour frère ou sœur"@fr ;
    rdfs:comment "a relative that shares at least one parent with the subject."@en,
                 "relation avec quelqu'un ayant les mêmes parents."@fr ;
    rdfs:domain :Animal ;
    rdfs:range  :Animal ;
	owl:propertyChainAxiom ( :hasParent :hasChild ) .

If I select OWL RL and OWL RL extended and run the rules I see the new hasSibling links and if I reload and run the rules again I don't have them anymore.

[ocorby]

Hello, There is aka bug in the gui checkbox, you need to unselect and then select again OWL RL Extended (in the version from github) We will clean that. Olivier

De: "Fabien Gandon" @.> À: "Wimmics" @.> Cc: "Subscribed" @.***> Envoyé: Lundi 17 Octobre 2022 16:35:01 Objet: [Wimmics/corese] Engine menu - OWL and Rules (Issue #110)

Hello,

Using the toy datasets humans_data.ttl and human_schema.ttl I have a strange behaviour when I add the following definition to the schema: :hasSibling a owl:ObjectProperty ;

rdfs:label "has for ***@***.***, "a pour frère ou ***@***.*** ;

rdfs:comment "a relative that shares at least one parent with the ***@***.***,

             "relation avec quelqu'un ayant les mêmes ***@***.*** ;

rdfs:domain :Animal ;

rdfs:range  :Animal ;

owl:propertyChainAxiom ( :hasParent :hasChild ) .

If I select OWL RL and OWL RL extended and run the rules I see the new hasSibling links and if I reload and run the rules again I don't have them anymore.

— Reply to this email directly, [ https://github.com/Wimmics/corese/issues/110 | view it on GitHub ] , or [ https://github.com/notifications/unsubscribe-auth/ABKXNJCZSE4NQWW5UKDCMKLWDVPZLANCNFSM6AAAAAARHEMUQU | unsubscribe ] . You are receiving this because you are subscribed to this thread. Message ID: @.***>

[FabienGandon]

If fact the behaviour is more complex:

• I (re)load the data and the schema : no inferences even if OWL RL was selected before (re)loading)
• I unselect-reselect OWL RL I get some inferences (eg I get the ancestors but not the siblings)
• I unselect-reselect OWL RL a second time I get more inferences (eg I get the siblings)

[remiceres]

Hello Fabien,

We think we have corrected this bug with @ocorby . There were 2 problems:

• Display problem: The status of the checkboxes was inconsistent because it was not updated during the reload.
• Rule engine problem : The rule engine was implementing optimizations that were incompatible with the owl:propertyChainAxiom rule.

Corese-GUI fix: http://files.inria.fr/corese/distrib/beta/corese-gui-fix-110.jar

I am waiting for confirmation that everything is working on your side before closing this issue.

[FabienGandon]

I ran the test and it works for me. I will have to check the rest of the lab session. Thanks