Re: another question about inference

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.
>
>
>
>
>
>
>
>