Re: Expression Question about DL

Thanks a lot, Mr. Walker.

I’ve seen that Internet Business Logic can solve my question.

Could you tell me where I can find some literature about IBL?

 

But I still wonder how this problem can be tackled in Description Logic.

Do you have any suggestion? 

Or anybody familiar with Description Logic can give me some advices?

 

                                                                                                  Cai shubin

 

 

  _____  

发件人: semantic-web-request@w3.org [mailto:semantic-web-request@w3.org] 代表 Adrian Walker
发送时间: 2005年10月17日 0:18
收件人: cai
抄送: semantic-web@w3c.org
主题: re: Expression Question about DL

 

Hi Cai --

Thanks for your note, below.

If I understand correctly, you want to be able to find just the people who made presentations of papers based on ppts, where the person is the author of both the paper and ppt.

Here's how to do this in Internet Business Logic.

  some-person is the author of some-paper
  that-person wrote some-slides about that-paper
  that-person made a conference presentation based on those-slides
  ----------------------------------------------------------------------------------------------------------------------------------------------------------
  that-person who is the author of that-paper made a conference presentation based on those-slides that he wrote

You can view, run and change this example (and get explanations of the results) by pointing a browser to reengineeringllc.com and selecting PaperPresentedByItsAuthor .

How does that look to you?

                                -- Adrian



INTERNET BUSINESS LOGIC (R)
Online at www <http://www.reengineeringllc.com/> .reengineeringllc.com <http://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 05:56 PM 10/16/2005 +0800, you wrote:




Thank you very much Mr. Walker.

 

I¡¯ve visited the page

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

But I didn¡¯t think my question is answered.

The agent was designed carefully to avoid such expression in my question.

 

My question can be shown as a graph below:

image00125.jpg

Paper is written by an author.

Presentation is made by an author.

Paper is presented at a Presentation.

Here is a cycle!

 

I want to restrict that the paper which is presented at a presentation,  
which is presented by an author, which is exactly this paper¡¯s author.

In other word, Let set S1, S2, R1 is a relation of (S1,S2), R2 is a relation of (S2,S3),

and R3 is of (S1,S3), if s1,s2,s3 belong to S1, S2 S3 respectively, 

and R1(s1,s2), R2(s2,s3),R3(s1,s3¡¯), then I want to restrict s3=s3¡¯.

The question here is that not the whole combination result R1¡ðR2=R3,

but the individual combination should be equal.

 

Does such expression is permitted in DL?

 

 

Appreciates any comment! 

                                                               Cai shubin

 

  _____  

·¢¼þÈË: Adrian Walker [mailto:adrianw@snet.net] 
·¢ËÍʱ¼ä: 2005Äê10ÔÂ16ÈÕ 3:05
ÊÕ¼þÈË: cai
³­ËÍ: semantic-web@w3c.org
Ö÷Ìâ: Re: Expression Question about DL

 

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 <http://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:

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