Re: another question about inference

Hi, did you look at the OWL 2 Primer? There is an example of a  
childless person (as a person who is not a parent), and of classes man  
and woman (as disjoint subclasses of person) -- that should help.  
Cheers, Uli

On 7 Mar 2011, at 17:16, Yoandy Rodriguez wrote:

> Hi everybody,
>
> I've continued reading my first book about the semantic web along with
> some papers and w3c recommendations so now in any time I hope to be
> answering other beginners questions and stop asking mine. Meanwhile,  
> I'm
> stuck trying to make a model that allows the reasoner to infer
> "if something is of a round shape and is not a circle then is an
> ellipse"
> Again this is a very dumb example but the main point I think is how to
> handle negative assertions (I'm not sure if that is the proper way to
> call them).
> Is there a way to do this?
> Also I would like to know which books should I be reading (I'm  
> finishing
> "Semantic Web for the Working Ontologist").
>
> Thanks in advance.
>
>
>
>
>
>
>

Received on Monday, 7 March 2011 17:47:28 UTC