国内的表示我觉得不太好。我的论文中一般采用这样的形式化表示，是一篇新加坡南洋理工的Myo-Myo Naing等的文章中所用的。
他们的具体定义见下图：

此主题相关图片如下：

一个具体的例子见下面：

此主题相关图片如下：

其它的我不在一一列举，大家讨论讨论，这可能对大家的论文都很有关系。

有些同学在找Myo-Myo Naing等的文章，我已经上传，如下：

同spark的看法：六元组的公理其实很适合用owl rule来表示，这也是owl rule很重要的原因，因为一般的本体都有公理这部分。

参考：owl guide:

A property is a binary relation. Two types of properties are distinguished:
datatype properties, relations between instances of classes and RDF literals and XML Schema datatypes
object properties, relations between instances of two classes. Note that the name object property is not intended to reflect a connection with the RDF term rdf:object ([RDF], 5.3.4).

owl reference:

In OWL Full all data values are considered also to be part of the individual domain. In fact, in OWL Full the universe of individuals consists of all resources (owl:Thing is equivalent to rdfs:Resource). This means that object properties and datatype properties are not disjoint. In OWL Full owl:ObjectProperty is equivalent to rdf:Property. The consequence is that datatype properties are effectively a subclass of object properties. (Note: the fact that owl:ObjectProperty and owl:DatatypeProperty are both subclasses of rdf:Property is not inconsistent with this).

Ontology到XML的映射就是用DTD或者SCHEMA来表示ONTOLOGY......

***************************************************************
Ontology 到XML的映射? 什么意思？ 这本书刚google不到，有电子版吗？谢谢！

在OWL里面，本体的词汇集：

Definition: An OWL vocabulary V consists of a set of literals VL and seven sets of URI references, VC, VD, VI, VDP, VIP, VAP, and VO. In any vocabulary VC and VD are disjoint and VDP, VIP, VAP, and VOP are pairwise disjoint. VC, the class names of a vocabulary, contains owl:Thing and owl:Nothing. VD, the datatype names of a vocabulary, contains the URI references for the built-in OWL datatypes and rdfs:Literal. VAP, the annotation property names of a vocabulary, contains owl:versionInfo, rdfs:label, rdfs:comment, rdfs:seeAlso, and rdfs:isDefinedBy. VIP, the individual-valued property names of a vocabulary, VDP, the data-valued property names of a vocabulary, and VI, the individual names of a vocabulary, VO, the ontology names of a vocabulary, do not have any required members.

Definition: As in RDF, a datatype d is characterized by a lexical space, L(d), which is a set of Unicode strings; a value space, V(d); and a total mapping L2V(d) from the lexical space to the value space.

Ontology-based Web Annotation Framework for Hyperlink Structures
有需要的话，给我E_mail

国防科学技术大学 ，李勇的硕士论文，用四元组表示(Meta_info,DomCons,DomRelS,Rules)

我这里是caj格式的，无法上载
要的话给我发邮件或者去期刊网上下载吧

我觉得他们偏重于理论描述一些
不过应该建了一些领域本体

诚如很多同学指出，我们也感觉这样的6元组不太合适。
后来我们的文献一致采用7元组来表示。出于一些原因，我这里不给这个表示和它的描述。
但是，相似的7元组表示在M. Ehrig的文献中有。请查看这篇文献：

[Ehrig2004d] M. Ehrig, and Y. Sure. Ontology Mapping - An Integrated Approach . Technical Report, Institute AIFB, University of Karlsruhe, 2004.

这是QOM的技术报告，比较全，如果搜索，还能找到内容相近的他的其它几篇文献。

诚如很多同学指出，我们也感觉这样的6元组不太合适。
后来我们的文献一致采用7元组来表示。出于一些原因，我这里不给这个表示和它的描述。
但是，相似的7元组表示在M. Ehrig的文献中有。请查看这篇文献：

[Ehrig2004d] M. Ehrig, and Y. Sure. Ontology Mapping - An Integrated Approach . Technical Report, Institute AIFB, University of Karlsruhe, 2004.

这是QOM的技术报告，比较全，如果搜索，还能找到内容相近的他的其它几篇文献。

      我个人认为最关键问题是由于服务定义和服务之间的关系的没有统一，导致了不能用本体对服务进行统一的形式化描述。请大家来讨论！