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

symmetric property and reflexive property #70

Open
croussey opened this issue Nov 12, 2020 · 11 comments
Open

symmetric property and reflexive property #70

croussey opened this issue Nov 12, 2020 · 11 comments

Comments

@croussey
Copy link

I am developping a rdf dataset using skos vocabulary. I use lots of mapping relation skos:exactMatch and skos:closeMatch and other skos:broadMatch, skos:broader and so on...
I try to infer some of the link between individuals. for example when A skos:broader B I used SWRL tab to infer that B skos:narrower A. It works well.
I specify in SWRL tab that I want to use only the prop_inv2 an,d prop_inv1 rules in table 5.

when I parameterize tab5 with prp_trp and I specify that A skos:exactMatch B and B skos:exactMatch A, SWRL Tab inferred that A skos:exactMatch A. Unfortunattely skos:exactMatch is not a reflexive property.
Another issue is when I parameterize tab5 with prp_symp and I specify that A skos:closeMatch B, closeMatch is a symetric property then SWRL Tab does not infer that B skos:closeMatch A.
@martinjoconnor
Copy link
Member

I am not fully following the above example.

Can you enclose a simple ontology illustrating the problem.

@croussey
Copy link
Author

baggiolini_grapevine_secondaryStage_N skos:exactMatch baggiolini_grapevine_secondaryStage_N
el_grapevine_secondaryStage_35 skos:exactMatch el_grapevine_secondaryStage_35
bbch_grapevine_secondaryStage_BBCH95 skos:exactMatch bbch_grapevine_secondaryStage_BBCH95
bbch_grapevine_secondaryStage_BBCH99 skos:exactMatch bbch_grapevine_secondaryStage_BBCH99
bbch_grapevine_secondaryStage_BBCH91 skos:exactMatch bbch_grapevine_secondaryStage_BBCH91
bbch_grapevine_secondaryStage_BBCH14 skos:exactMatch bbch_grapevine_secondaryStage_BBCH14
bbch_grapevine_secondaryStage_BBCH69 skos:exactMatch bbch_grapevine_secondaryStage_BBCH69
bbch_grapevine_secondaryStage_BBCH65 skos:exactMatch bbch_grapevine_secondaryStage_BBCH65
ifv_grapevine_secondaryStage_13 skos:exactMatch ifv_grapevine_secondaryStage_13
el_grapevine_secondaryStage_27 skos:exactMatch el_grapevine_secondaryStage_27
bbch_grapevine_secondaryStage_BBCH61 skos:exactMatch bbch_grapevine_secondaryStage_BBCH61
el_grapevine_secondaryStage_23 skos:exactMatch el_grapevine_secondaryStage_23
ifv_grapevine_secondaryStage_75 skos:exactMatch ifv_grapevine_secondaryStage_75
ifv_grapevine_secondaryStage_79 skos:exactMatch ifv_grapevine_secondaryStage_79
bbch_grapevine_secondaryStage_BBCH03 skos:exactMatch bbch_grapevine_secondaryStage_BBCH03
baggiolini_grapevine_secondaryStage_B skos:exactMatch baggiolini_grapevine_secondaryStage_B
ifv_grapevine_secondaryStage_71 skos:exactMatch ifv_grapevine_secondaryStage_71
ifv_grapevine_secondaryStage_01 skos:exactMatch ifv_grapevine_secondaryStage_01
ifv_grapevine_secondaryStage_53 skos:exactMatch ifv_grapevine_secondaryStage_53
baggiolini_grapevine_secondaryStage_I skos:exactMatch baggiolini_grapevine_secondaryStage_I
el_grapevine_secondaryStage_15 skos:exactMatch el_grapevine_secondaryStage_15
baggiolini_grapevine_secondaryStage_M skos:exactMatch baggiolini_grapevine_secondaryStage_M
bbch_grapevine_secondaryStage_BBCH77 skos:exactMatch bbch_grapevine_secondaryStage_BBCH77
ifv_grapevine_secondaryStage_57 skos:exactMatch ifv_grapevine_secondaryStage_57
bbch_grapevine_secondaryStage_BBCH73 skos:exactMatch bbch_grapevine_secondaryStage_BBCH73
el_grapevine_secondaryStage_38 skos:exactMatch el_grapevine_secondaryStage_38
el_grapevine_secondaryStage_03 skos:exactMatch el_grapevine_secondaryStage_03
ifv_grapevine_secondaryStage_05 skos:exactMatch ifv_grapevine_secondaryStage_05
ifv_grapevine_secondaryStage_09 skos:exactMatch ifv_grapevine_secondaryStage_09
bbch_grapevine_secondaryStage_BBCH13 skos:exactMatch bbch_grapevine_secondaryStage_BBCH13
ifv_grapevine_secondaryStage_99 skos:exactMatch ifv_grapevine_secondaryStage_99
ifv_grapevine_secondaryStage_61 skos:exactMatch ifv_grapevine_secondaryStage_61
bbch_grapevine_secondaryStage_BBCH81 skos:exactMatch bbch_grapevine_secondaryStage_BBCH81
ifv_grapevine_secondaryStage_65 skos:exactMatch ifv_grapevine_secondaryStage_65
ifv_grapevine_secondaryStage_95 skos:exactMatch ifv_grapevine_secondaryStage_95
ifv_grapevine_secondaryStage_69 skos:exactMatch ifv_grapevine_secondaryStage_69
ifv_grapevine_secondaryStage_91 skos:exactMatch ifv_grapevine_secondaryStage_91
bbch_grapevine_secondaryStage_BBCH89 skos:exactMatch bbch_grapevine_secondaryStage_BBCH89
bbch_grapevine_secondaryStage_BBCH85 skos:exactMatch bbch_grapevine_secondaryStage_BBCH85
bbch_grapevine_secondaryStage_BBCH55 skos:exactMatch bbch_grapevine_secondaryStage_BBCH55
el_grapevine_secondaryStage_19 skos:exactMatch el_grapevine_secondaryStage_19
el_grapevine_secondaryStage_41 skos:exactMatch el_grapevine_secondaryStage_41
baggiolini_grapevine_secondaryStage_H skos:exactMatch baggiolini_grapevine_secondaryStage_H
bbch_grapevine_secondaryStage_BBCH09 skos:exactMatch bbch_grapevine_secondaryStage_BBCH09
baggiolini_grapevine_secondaryStage_D skos:exactMatch baggiolini_grapevine_secondaryStage_D
bbch_grapevine_secondaryStage_BBCH05 skos:exactMatch bbch_grapevine_secondaryStage_BBCH05
ifv_grapevine_secondaryStage_00 skos:exactMatch ifv_grapevine_secondaryStage_00
el_grapevine_secondaryStage_33 skos:exactMatch el_grapevine_secondaryStage_33
baggiolini_grapevine_secondaryStage_L skos:exactMatch baggiolini_grapevine_secondaryStage_L
baggiolini_grapevine_secondaryStage_P skos:exactMatch baggiolini_grapevine_secondaryStage_P
ifv_grapevine_secondaryStage_81 skos:exactMatch ifv_grapevine_secondaryStage_81
ifv_grapevine_secondaryStage_85 skos:exactMatch ifv_grapevine_secondaryStage_85
el_grapevine_secondaryStage_02 skos:exactMatch el_grapevine_secondaryStage_02
bbch_grapevine_secondaryStage_BBCH97 skos:exactMatch bbch_grapevine_secondaryStage_BBCH97
ifv_grapevine_secondaryStage_89 skos:exactMatch ifv_grapevine_secondaryStage_89
bbch_grapevine_secondaryStage_BBCH93 skos:exactMatch bbch_grapevine_secondaryStage_BBCH93
el_grapevine_secondaryStage_07 skos:exactMatch el_grapevine_secondaryStage_07
el_grapevine_secondaryStage_25 skos:exactMatch el_grapevine_secondaryStage_25
ifv_grapevine_secondaryStage_11 skos:exactMatch ifv_grapevine_secondaryStage_11
ifv_grapevine_secondaryStage_77 skos:exactMatch ifv_grapevine_secondaryStage_77
bbch_grapevine_secondaryStage_BBCH01 skos:exactMatch bbch_grapevine_secondaryStage_BBCH01
ifv_grapevine_secondaryStage_73 skos:exactMatch ifv_grapevine_secondaryStage_73
baggiolini_grapevine_secondaryStage_G skos:exactMatch baggiolini_grapevine_secondaryStage_G
bbch_grapevine_secondaryStage_BBCH71 skos:exactMatch bbch_grapevine_secondaryStage_BBCH71
ifv_grapevine_secondaryStage_03 skos:exactMatch ifv_grapevine_secondaryStage_03
el_grapevine_secondaryStage_17 skos:exactMatch el_grapevine_secondaryStage_17
ifv_grapevine_secondaryStage_55 skos:exactMatch ifv_grapevine_secondaryStage_55
bbch_grapevine_secondaryStage_BBCH79 skos:exactMatch bbch_grapevine_secondaryStage_BBCH79
baggiolini_grapevine_secondaryStage_K skos:exactMatch baggiolini_grapevine_secondaryStage_K
bbch_grapevine_secondaryStage_BBCH75 skos:exactMatch bbch_grapevine_secondaryStage_BBCH75
baggiolini_grapevine_secondaryStage_O skos:exactMatch baggiolini_grapevine_secondaryStage_O
el_grapevine_secondaryStage_29 skos:exactMatch el_grapevine_secondaryStage_29
ifv_grapevine_secondaryStage_07 skos:exactMatch ifv_grapevine_secondaryStage_07
el_grapevine_secondaryStage_05 skos:exactMatch el_grapevine_secondaryStage_05
el_grapevine_secondaryStage_01 skos:exactMatch el_grapevine_secondaryStage_01
bbch_grapevine_secondaryStage_BBCH11 skos:exactMatch bbch_grapevine_secondaryStage_BBCH11
ifv_grapevine_secondaryStage_97 skos:exactMatch ifv_grapevine_secondaryStage_97
bbch_grapevine_secondaryStage_BBCH68 skos:exactMatch bbch_grapevine_secondaryStage_BBCH68
ifv_grapevine_secondaryStage_93 skos:exactMatch ifv_grapevine_secondaryStage_93
ifv_grapevine_secondaryStage_14 skos:exactMatch ifv_grapevine_secondaryStage_14
el_grapevine_secondaryStage_43 skos:exactMatch el_grapevine_secondaryStage_43
el_grapevine_secondaryStage_47 skos:exactMatch el_grapevine_secondaryStage_47
bbch_grapevine_secondaryStage_BBCH00 skos:exactMatch bbch_grapevine_secondaryStage_BBCH00
bbch_grapevine_secondaryStage_BBCH57 skos:exactMatch bbch_grapevine_secondaryStage_BBCH57
bbch_grapevine_secondaryStage_BBCH53 skos:exactMatch bbch_grapevine_secondaryStage_BBCH53

@croussey
Copy link
Author

I give you an example of SWRL output. as you may notice the exactMatch link is between the same individual. unfortinatelly exactMatch is not reflexive property.
You could find example in the gitlab repository
https://gitlab.irstea.fr/copain/phenologicalstages/-/tree/master

@croussey
Copy link
Author

I made a mistake it comes from the fact that skos:exactMatch is a transitive property. the output come is the result of the PRP_TRP property. but exactMatch is not reflexive so I do not expect such output.

@martinjoconnor
Copy link
Member

martinjoconnor commented Nov 17, 2020 •
edited
Loading

Sorry - I'm not really following the above.

Can you create a simple ontology with a minimal number of OWL entities that illustrates the problem. (You can add a .txt extension or the like to the uploaded OWL since GitHub does not support the .owl extension.)

And then specify what missing inference you are expecting.

@croussey
Copy link
Author

I generate a ttl file with 3 concepts A, B and C. if you run the swrl appy with only PRP_TRP. SWRL Tab will produce
B skos:exactMatch B
C skos:exactMatch C
A skos:exactMatch A

@Prefix : http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84# .
@Prefix owl: http://www.w3.org/2002/07/owl# .
@Prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# .
@Prefix xml: http://www.w3.org/XML/1998/namespace .
@Prefix xsd: http://www.w3.org/2001/XMLSchema# .
@Prefix rdfs: http://www.w3.org/2000/01/rdf-schema# .
@base http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84 .

http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84 rdf:type owl:Ontology ;
owl:imports http://www.w3.org/2004/02/skos/core .

#################################################################

Individuals

#################################################################

http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/A

http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/A rdf:type owl:NamedIndividual ,
http://www.w3.org/2004/02/skos/core#Concept ;
http://www.w3.org/2004/02/skos/core#exactMatch http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/B ,
http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/C .

http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/B

http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/B rdf:type owl:NamedIndividual ,
http://www.w3.org/2004/02/skos/core#Concept ;
http://www.w3.org/2004/02/skos/core#exactMatch http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/A ,
http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/C .

http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/C

http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/C rdf:type owl:NamedIndividual ,
http://www.w3.org/2004/02/skos/core#Concept ;
http://www.w3.org/2004/02/skos/core#exactMatch http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/A ,
http://www.semanticweb.org/catherineroussey/ontologies/2020/10/untitled-ontology-84/B .

@croussey
Copy link
Author

my problem was I do not want that such inferences were produced
B skos:exactMatch B
C skos:exactMatch C
A skos:exactMatch A
because skos:exactMatch is not a reflexive property

@martinjoconnor
Copy link
Member

According to the SKOS specification, "None of the SKOS mapping properties are reflexive, neither are they irreflexive".

So the above entailments are correct. See 10.6.4 in https://www.w3.org/TR/skos-reference/#semantic-relations.

@martinjoconnor
Copy link
Member

That said, I am not sure why the reasoner is producing these assertions since OWL 2 RL does not support reflexive object property axioms. I will take a look over the next few days.

@martinjoconnor
Copy link
Member

I have generated a new 2.0.9 release of the SWRLAPI and the SWRLTab Plugin. (You can download the plugin in Protege via File->Check for plugins...)

The OWL 2 RL rule enable/disable functionality should now work. However, these selections are not persisted to the ontology - they are only reflected in the current session.

Please let me know if this works for you.

@croussey
Copy link
Author

I have installed the latest version of protégé and 5.5.0 and the tab swrl.
The problem still persist
the rule prp_trp still produce the output A skos:exactMatch A.
as you mentioned it previously the point is that exactMatch is not defined as reflexive and neither as irreflexive
Maybe I do not know how to import in protege your new version of swrl tab or maybe I am wrong the output is correct. I do not know what to think about this output

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@martinjoconnor @croussey