完成了tableau，不过感觉还有一些没写清楚以及由错误的地方。下一步是研究扩展，及owl与dl的对应关系。