Re: Clarification

From: Mike Dean (mdean@bbn.com)
Date: 10/18/00


I'm sorry for the delay in responding.

> Who is the correct person to ask questions on DAML? Which individual? group?

We've just setup daml-help@daml.org for asking questions
without broadcasting to a large group.

General public discussion is taking place on the
www-rdf-logic@w3.org email list.  The archives are available
at http://lists.w3.org/Archives/Public/www-rdf-logic/.

> Real Question is:
> 
>   I created a genetic anthology for Siamese cats.  So a logical query
> (inference) would be:
> "Give me all male/female pairs, that when breed, produce a blue point
> kitten."
>
> Genetically, I know that if the mother and father are blue points, then the
> kitten can be a blue or lilac point.
>
> Not sure how to express the above rule in DAML.  Can you recommend some
> documentation and/or example of expressing inference rules, like the one
> above?  Is it a matter of expression everything as unions and intersection
> of set?

One of our planned next steps is to develop a DAML-Rule
extension of DAML-ONT that will allow such statements (I
think).

This is probably a good question for www-rdf-logic, which I
think will benefit from some concrete examples.

BTW, we use the term ontology rather than anthology.

Thanks!

	Mike


This archive was generated by hypermail 2.1.4 : 04/03/02 EST