Reasoning in OWL

[Daniela Ritter]

Hello everybody,

I have not so much experience with Protégé and OWL.
I have a problem with reasoning (I use the pellet reasoner).

To describe my problem I use an example:
I have the classes person and family. One person belongs to one family
and one family could have several persons. We have the family A and the
familiy B. Joey belongs to familiy A, John belongs to familiy B. Joey is
friendly with John.
With reasoning I want to get the relation, that familiy A is friendly
with family B. How I have to build the ontology, that pellet find this
relation?

Kind regards,
Daniela

PS: I hope my English is understandable.
_______________________________________________
protege-owl mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

[Thomas Russ]

On Oct 29, 2009, at 4:59 AM, Daniela Ritter wrote:

> Hello everybody,
>
> I have not so much experience with Protégé and OWL.
> I have a problem with reasoning (I use the pellet reasoner).
>
> To describe my problem I use an example:
> I have the classes person and family. One person belongs to one  
> family and one family could have several persons. We have the family  
> A and the familiy B. Joey belongs to familiy A, John belongs to  
> familiy B. Joey is friendly with John.
> With reasoning I want to get the relation, that familiy A is  
> friendly with family B. How I have to build the ontology, that  
> pellet find this relation?

I'm pretty sure you will have to use SWRL or some other similar  
technology to get this inference.


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

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03