W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2011

Re: another question about inference

From: Uli Sattler <sattler@cs.man.ac.uk>
Date: Mon, 7 Mar 2011 17:47:07 +0000
Cc: public-owl-dev@w3.org
Message-Id: <1154FFC6-127F-49FC-9C97-6C1C8665C1C8@cs.man.ac.uk>
To: yrodriguezma@uci.cu
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 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:58 GMT