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

Re: another question about inference

From: Alex Shkotin <alex.shkotin@gmail.com>
Date: Mon, 7 Mar 2011 20:45:20 +0300
Message-ID: <AANLkTi=r4BoKar4eF0UWv0ZaYZud2HShQViw9G9rTskL@mail.gmail.com>
To: yrodriguezma@uci.cu
Cc: public-owl-dev@w3.org
Hi Yoandy,

I do not think we have special kind of logic in SW,
so if we define predicate
P1(x) = round_shape(x) and not circle(x)
why do you think that
for_any x P1(x) implies ellipse(x)
?

there is a good book: http://www.sfu.ca/philosophy/swartz/definitions.htm
and "Logic. Wilfrid Hodges" is good too.

Alex

2011/3/7 Yoandy Rodriguez <yrodriguezma@uci.cu>

> 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:45:54 GMT

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