DAML的结构
DAML采用类和属性来描述域的结构，采用公理集来声明这些类和属性的特征。
(1)DAML的类(Class)。DAML允许将类表示为一个单独类、组成类的一系列实例、属性限制或类表示的布尔组合，用daml：intersectionOf、daml：unionOf和daml：complementOf等属性提供类表示的和取、析取和否定。DAML的另一个重要特点是subClassOf和SameClassAs公理能够用于任意的类表述，增强了表达能力，而且，DAML允许声明属性的属性。
(2)DAML的属性(Property)。DAML的属性是一种二元关系，它包含着两个项。DAML的属性有两种：一种用于描述对象与对象之间的关系，称为daml：0bjectProperty；另一种用于描述对象与数据类型值之间的关系，称为daml：DatatypeProperty。DAML还包含对XML Schema数据类型的支持，所有的数据类型被看做是特殊的类，每一数据类型都有唯一的由其资源文档的URL和名字构成的唯一标识。这有利于将对象实例(用本体语言定义)和数据类型实例(用XMLSchema类型系统定义)清楚地区分开来。DAML用daml：UniqueProperty和daml：unambiguousProperty分别说明属性每个实例只有一个值和一个值只属于一个实例，用daml：equivalentTo说明两个资源相同，从而提供了重命名功能及说明两个实例相同的能力。
(3)DAML的属性约束(Property Restriction)。DAML属性约束由daml：Restriction类指示，该类的属性daml：onProperty说明被限定的槽和有关限定的信息，daml：toClass表明槽的所有值必须是特定类表示的成员，daml：hasClass表明槽的至少一个值必须是特定类成员，daml：hasValue属性说明槽的一个值必须是特定值。和OIL一样，DAML也包括势限定daml：minCardinality和daml：maxCardinality。此外，DAML还提供了定义属性的原语，除了RDF本身所有的原语外，DAML还增加了daml：inverseOf属性和daml：TransitiveProperty类。
另外，DAML还允许本体重用，用daml：imports类将另一个本体定义引入到当前本体中。
免责声明：本内容来源于第三方作者授权、网友推荐或互联网整理，旨在为广大用户提供学习与参考之用。所有文本和图片版权归原创网站或作者本人所有，其观点并不代表本站立场。如有任何版权侵犯或转载不当之情况，请您通过400-62-96871或关注我们的公众号与我们取得联系，我们将尽快进行相关处理与修改。感谢您的理解与支持！
请先 登录后发表评论 ~