描述逻辑中的tbox和abox分别是什么意思?

https://www.zhihu.com/question/41022412/answer/262446241

Semantic Relationships used in Controlled Vocabularies

https://marciazeng.slis.kent.edu/Z3919/43hierarchy.htm

Simple part-whole relations in OWL Ontologies

https://www.w3.org/2001/sw/BestPractices/OEP/SimplePartWhole/

Simplified Approach for Representing Part-Whole Relations in OWL-DL Ontologies

http://webpage.pace.edu/aa10212w/pub/simple-partwhole/slides.pdf