- From: Leon Essence <leon.essence@gmail.com>
- Date: Sat, 7 Jul 2007 20:55:09 +0800
- To: semantic-web@w3.org
Received on Saturday, 7 July 2007 12:55:20 UTC
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 UTC