构成
类(Class)
集合(sets)、概念、对象类型或者说事物的种类。
关系(Relations)
类与个体之间的彼此关联所可能具有的方式,即用于描述类(概念)之间的关系,<br>如part-of、kind-of等。
函数(Function)
在声明语句当中,可用来代替具体术语的特定关系所构成的复杂结构。
公理(Axioms)
公理代表本体内存在的事实,可以对本体内类或者关系进行约束,(如概念甲属于概念乙的范围。)
实例(Individuals)
基础的或者说是底层的对象。
功能
获取、描述和表示相关领域的知识。
提供对该领域知识的共同理解,确定领域内共同认可的词汇。
从不同层次的形式化模式上给出了这些词汇(术语)和词汇间相互关系的明确定义。
描述语言(W3C推荐)
RDF(资源描述框架 Resource Description Framework)
RDFS(RDF词汇描述语言RDF Schem)
OWL(Web本体语言Web Ontology Language)