How to use 1 Object Property based on other ObjectProperty's assertion then make reasoning on individual in OWL

Asked Jun 12 '18 at 09:36

Active Jun 12 '18 at 15:52

Viewed 56 times

Classes

Member
Guest

Object properties

hasReferral (step 1)
hasVote (step 2)
hasApprove (step 3)

Individuals

A is a Member
B is a Member
C is a Guest



A hasReferral C
B hasVote C
so infer A hasApprove C

If B hasVote C Then A hasReferral C, So A hasApprove C

How to do this with OWL ?

I've tried

hasReferral
domain: Member
range: hasVote min 1 Guest

But it doesn't work.

When i apply Member as a domain to hasVote, it turns red :

I want to negative A hasReferral C when Member has not hasVote for C.

Is this possible ?

edited Jun 12 '18 at 15:52

asked Jun 12 '18 at 09:36

crapthings

Let's start with the following: Why do you think that `hasReferral domain: Member`and `hasReferral range: hasVote min 1 Guest` imply `A hasApprove C` ? – UninformedUser Jun 12 '18 at 10:02
Next, you said *"when i apply Member as a domain to hasVote, it turns red"* - this indicates that the property is unsatisfiable, which means that you omitted some information here like e.g. the disjointness between some classes... – UninformedUser Jun 12 '18 at 10:06
okay so the range doesn't work like that right? – crapthings Jun 12 '18 at 11:51
can i use OWL make such inference ? – crapthings Jun 12 '18 at 11:52
It's important that you understand what domain and range of a property mean. Do you do this? – UninformedUser Jun 12 '18 at 11:57
And as I said in your last question, SWRL is the most straightforward way. – UninformedUser Jun 12 '18 at 11:58
haha i have to read book again. domain and range can input expression on protege, what do they do exactly ? – crapthings Jun 12 '18 at 12:02
https://stackoverflow.com/questions/44397250/how-do-owl-and-rdfs-property-domain-range-work – crapthings Jun 12 '18 at 12:16

0 Answers0