Description Logics Knowledge Base

• From: Chuming Chen <chumingchen@gmail.com>
• Date: Fri, 22 Jun 2007 11:31:00 -0400
• To: semantic-web@w3.org
• Message-ID: <467BEB34.9070201@gmail.com>

Dear List,

I understand the traditional Description Logics Knowledge Base consists 
of a TBox </wiki/TBox> (terminological box) and an ABox </wiki/ABox> 
(assertional box). With the development of SHOIQ and SROIQ, the role or 
property is standing out and we now have a RBox. Some papers I am 
reading only consider TBox and RBox as the DL knowledge base and exclude 
ABox. Can anybody shed some light on this? Would it be better if we call 
DL knowledge base the triple of TBox, RBox and ABox?

Thanks,

Chuming

Received on Friday, 22 June 2007 18:04:42 UTC