我只有 OWL 本体TBOX（没有实例），我需要使用代数正式表达它来定义一些结构。我已经找过了，我找到了一些表示
(C, P, A) the reference is http://www.dblab.ece.ntua.gr/pubs/uploads/TR-2007-20.pdf
其中C是类集，P是属性集，A是公理集。A 用于表示包含、限制等... C 包括在数据属性定义中使用的原始类型
(C, P, Sub, Func) the reference is http://dl.acm.org/citation.cfm?id=1871946
其中 C 是类集，P 是属性集，Sub 是包含关系，Func 将每个类与其适用的属性相关联
实际上，我不确定什么是正确的表示。如果有的话，你能给我一些参考吗？