W3C home > Mailing lists > Public > semantic-web@w3.org > July 2007

Can we say the DL knowledge base is only composed of axioms?

From: Leon Essence <leon.essence@gmail.com>
Date: Sat, 7 Jul 2007 20:55:09 +0800
Message-ID: <6869a86b0707070555q159f434ag318e38277c27bf1a@mail.gmail.com>
To: semantic-web@w3.org
Hi, dear colleagues,

Recently I read some papers of Description Logic, I am confused by something

As we know, a DL knowledge base consists of concepts, roles, individual,
constructs, TBox and ABox,
The TBox contains axioms that make statements about how concepts and roles
related to each other,
the ABox contian statements that asserts properties of individuals by
relating concepts and roles to them,

Is the statement in ABox a kind of axiom?
What's the definition of axiom?
Can we say the DL knowledge base is only composed of axioms?

can someone help me figure it out,
Thank you very much!


-- 
Best Regards!

Jun Fang
Received on Saturday, 7 July 2007 12:55:20 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:22:49 GMT