DL Query relying on general class axioms and sub-property relations in P4

classic Classic list List threaded Threaded
4 messages Options
Reply | Threaded
Open this post in threaded view
|

DL Query relying on general class axioms and sub-property relations in P4

Christian Bölling
Suppose an ontology with the following axioms:

A and ( not (clearly_related_to some B)) SubClassOf (loosely_related_to some B)
clearly_related_to SubPropertyOf loosely_related_to

On the basis of these axioms one should be able to legitimately infer

A SubClassOf (loosely_related_to some B)

However, a corresponding DL-Query (executed with HermiT 1.3.6 in P4 b284) does not return the corresponding subclass. Why?
(Perhaps this is a question for a more reasoner or OWL-centric list - grateful for any advice where else to ask this)

- Christian

_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: DL Query relying on general class axioms and sub-property relations in P4

Lorenz Buehmann
How do you come to this assumption?
For the axiom A and ( not (clearly_related_to some B)) SubClassOf (loosely_related_to some B) all individuals which belong to A AND do not have any relation via clearly_related_to B are a subclass of (loosely_related_to some B). Why do you think it would be enough to be in class A to become also member of class (loosely_related_to some B)?

Lorenz
On 03/06/2013 03:53 PM, Christian Bölling wrote:
Suppose an ontology with the following axioms:

A and ( not (clearly_related_to some B)) SubClassOf (loosely_related_to some B)
clearly_related_to SubPropertyOf loosely_related_to

On the basis of these axioms one should be able to legitimately infer

A SubClassOf (loosely_related_to some B)

However, a corresponding DL-Query (executed with HermiT 1.3.6 in P4 b284) does not return the corresponding subclass. Why?
(Perhaps this is a question for a more reasoner or OWL-centric list - grateful for any advice where else to ask this)

- Christian


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: DL Query relying on general class axioms and sub-property relations in P4

Christian Bölling
Lorenz Bühmann wrote
How do you come to this assumption?
Here's my argument:

Any individual IND of type A is either related via 'clearly_related_to' to some B or it is not.

In the former case IND *is* related via 'clearly_related_to' to some B and therefore of the type 'clearly_related_to some B'. Because 'clearly_related_to' is a subproperty of 'loosely_related_to' such an individual is also of type 'loosely_related_to some B'.

In the latter case IND is of the type specified in the class expression in the first axiom and therefore also of type 'loosely_related_to some B'.

Thus, in each case IND is of type 'loosely_related_to some B'. The two cases encompass all individuals in A, therefore A is a subclass of 'loosely_related_to some B'.

- Christian


Reply | Threaded
Open this post in threaded view
|

Re: DL Query relying on general class axioms and sub-property relations in P4

Igor Toujilov-2
In reply to this post by Christian Bölling
The expected inference is actually performed by HermiT 1.3.6 in Protege 4 build 284 on my machine.

Christian, perhaps you have not checked the corresponding boxes in Preferences -> Reasoner.

 

Cheers,

Igor

 

----- Original Message -----

From: Christian Bölling

Sent: 03/07/13 10:28 AM

To: [hidden email]

Subject: Re: [p4-feedback] DL Query relying on general class axioms and sub-property relations in P4

 
Lorenz Bühmann wrote 
> How do you come to this assumption? 

Here's my argument: 

Any individual IND of type A is either related via 'clearly_related_to' to 
some B or it is not. 

In the former case IND *is* related via 'clearly_related_to' to some B and 
therefore of the type 'clearly_related_to some B'. Because 
'clearly_related_to' is a subproperty of 'loosely_related_to' such an 
individual is also of type 'loosely_related_to some B'. 

In the latter case IND is of the type specified in the class expression in 
the first axiom and therefore also of type 'loosely_related_to some B'. 

Thus, in each case IND is of type 'loosely_related_to some B'. The two cases 
encompass all individuals in A, therefore A is a subclass of 
'loosely_related_to some B'. 

- Christian 






-- 
View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/DL-Query-relying-on-general-class-axioms-and-sub-property-relations-in-P4-tp4657387p4657404.html 
Sent from the Protege-OWL 4.x Support mailing list archive at Nabble.com. 
_______________________________________________ 
p4-feedback mailing list 
[hidden email] 
https://mailman.stanford.edu/mailman/listinfo/p4-feedback

 


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback