Hi  Cai --

What you would like to do, (described in your note below), would be a straightforward extension of

   http://www.reengineeringllc.com/demo_agents/RDFQueryLangComparison1.agent

which is also about papers an their authors.

If you'd like to try this route, please let me know if there are questions.

                                -- Adrian


INTERNET BUSINESS LOGIC (R)
Online at www.reengineeringllc.com
Shared, community use is FREE.

Adrian Walker
Reengineering
PO Box 1412
Bristol
CT 06011-1412 USA

Phone: USA 860 583 9677
Cell:    USA  860 830 2085
Fax:    USA  860 314 1029



At 11:47 AM 10/15/2005 +0800, you wrote:

Dear Sir or Madam:

     I have difficulty in writing such assertions in Description Logic.

At first, I have three assertions,

1: Every Presentation is made by a Person. 

2: Every Paper is introduced at a Presentation.

3: Every Paper is (mainly) written by a Person.

I can write them in DL as below:

image00123.jpg

But I can not write an assertion to state that

4: Every Paper is introduced at a Presentation by the paper's writer,

 

     Sincerely appreciate any suggestion!

                                

                                                        Cai Shubin