Re: on behalf of sandro

From: Richard Fikes (fikes@ksl.stanford.edu)
Date: 10/24/01

Next message: Deborah McGuinness: "Re: on behalf of sandro"
Previous message: Pat Hayes: "Re: what should the result of query be (and look like)"
In reply to: Joseph Coffman: "on behalf of sandro"
Next in thread: Deborah McGuinness: "Re: on behalf of sandro"
Reply: Deborah McGuinness: "Re: on behalf of sandro"
Reply: Ian Horrocks: "Re: on behalf of sandro"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

>The knowledge base contains the statements: "Pat's car is blue, and
>there is something colored red."  Somewhat more formally:
>
>   RDF(PatsCar, color, blue).
>   exists x (RDF(x, color, red)).

Sorry to be dense, but how does one state "there is something colored
red" in DAML+OIL?

Richard

Next message: Deborah McGuinness: "Re: on behalf of sandro"
Previous message: Pat Hayes: "Re: what should the result of query be (and look like)"
In reply to: Joseph Coffman: "on behalf of sandro"
Next in thread: Deborah McGuinness: "Re: on behalf of sandro"
Reply: Deborah McGuinness: "Re: on behalf of sandro"
Reply: Ian Horrocks: "Re: on behalf of sandro"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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