I have learned till now that, by definition, a Tbox is called unfoldable if the left hand side of the axioms (defined concepts) are atomic, and if the right hand side (the definitions) contain no direct or indirect reference to the defined concept.
But, I don't think I understand this completely. I would appreciate it if anyone can explain this to me, an example would be great too. Thanks.
asked 12 Nov '12, 20:30
To give credit where credit is due, know that I simply googled for "Unfoldable TBox" to find an example on the Web. I found a slide set by Boontawee Suntisrivaraporn, entitled "Introduction to the Semantic Web - Description Logics" where you find on slides 15 and 16 the following definition and examples (I improve the examples a bit):
This is an example of an unfoldable TBox:
Remark that there are things on the left hand side that appear on the right hand side. If a concept appears on the right hand side and is also defined on the left hand side, it can be replaced by its definition, e.g.:
and it can be done recursively, which is what is called "unfolding". However, the following is not unfoldable:
because from the fourth axiom defining