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, [ #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