zoukankan      html  css  js  c++  java
  • OWL的基本元素

    http://hi.baidu.com/wuxicn/item/4501ca31fde41b20b2c0c598

    2. OWL的基本元素:类(Class)、个体(Individual) 和 属性(Property)

    2.1 类(Class)
        类(Class):一群东西我们可以叫做一个类。其实OWL里的类的概念基本上和OO语言里的类的概念一样。在OWL中规定,任何东西都是类owl:Thing的一个成员(实例)。因此,任何用户定义的类都是owl:Thing类的子类。
        OWL中子类(Subclass)的概念也和OO语言里子类概念一样,也就是所有子类的实例都是父类的实例。例如,我们可以定义一个类:中国,定义类吉林省中国的子类,这样如果一个实例是吉林省的实例,那它肯定是中国的实例。
        在OWL的本体映射中,提供了类的相等关系equivalentClass)。两个类是相等的,就是说一个类是另一个类的换一种说法。例如:类:中国制造 和 类:出自中国的东西,如果定义了相等关系,就是说一个实例是“中国制造”的,那它就是“出自中国的东西”,只要说明它是一个的实例,则它同时具有两个的属性。

    2.2 
    个体(Individual)
        个体:OWL里的任何东西都是个体。个体是用来描述类的成员的概念,一个个体就是类中的一个成员。
        这里要注意区分一下个体与类的实例。其实这两个概念几乎一样,唯一的区别是:我们说实例的时候都是说:某个类的实例,所以一般的,讲实例时就带有它的类,一个实例对应一个类;而说个体时,不带有类,例如我们可以说:个体a是类C和类D的实例。
        由上面我们可以得出一个新的结论:一个个体可以同时是多个不相关的类的实例。例如,ThinkPad笔记本是类:笔记本电脑 的实例,也是类:中国制造 的实例。

        说到这,还有一对容易混淆的概念:子类(Subclass)和 实例(Instance)。区分的关键是要牢记一点,类是一堆东西的总称,实例是这堆东西中的一个。

    2.3 属性(Property)
        RDF/OWL里都是用二元关系来描述东西的,比如描述:比尔盖茨是一个人,在RDF/OWL里就是这样描述的:比尔盖茨 ——是——> 人。其中,比尔盖茨 和 人 之间的那个关系“——是——>”就是RDF/OWL里的属性。
        属性:就是一个二元关系。OWL里包括两种属性:
        1. 类型属性(datatype properties):描述类与其实例之间关系的属性。
        2. 对象属性(object properties):描述两个不同类的实例之间关系的属性。

        既然属性是上面例子里那样的一个二元关系,那么属性就必须有且只有两个端点,起点和终点都应该是两个个体(实例)。我们用原集(domain)来描述起点的实例的类,用象集(range)来描述终点的实例的类。这是属性中一个比较重要的概念。
        例如,有这样一条OWL语句:比尔盖茨 is-father-of "Jennifer Gates" ,并且我们的本体中定义得有:属性:is-father-of 的domain是类:男人。这样,就算我们没有明显的说“比尔盖茨”是男的,但是通过上面这个属性定义,OWL的推理机就能知道 比尔盖茨 是 男人 的实例。

        属性也类似类那样,有子属性(Subproperty)的概念。例如,类: 有一个属性是:有说明书,说明书可能包括酒的颜色、酒精含量、生产日期等, 还有一个属性是:有颜色标签,这样,其实颜色标签就是一种简单的说明书——只是里面只说明了酒的颜色,所以,有颜色标签 这个属性就是 有说明书 属性的子属性。

  • 相关阅读:
    BZOJ 3924: [Zjoi2015]幻想乡战略游戏
    codevs 4244 平衡树练习
    BZOJ 2002: [Hnoi2010]Bounce 弹飞绵羊
    BZOJ 2038: [2009国家集训队]小Z的袜子
    luogu P3709 大爷的字符串题
    BZOJ 2120: 数颜色
    luogu P2056 采花
    luogu P2709 小B的询问
    BZOJ 1878: [SDOI2009]HH的项链
    Codeforces 221d D. Little Elephant and Array
  • 原文地址:https://www.cnblogs.com/bluemaplestudio/p/3207814.html
Copyright © 2011-2022 走看看