<知识库的构建> 1–3 知识的表达 Knowledge Representation
引自Fabian Suchanek的讲义。
总结：这一章节主要讲述我们该如何表示世界上的知识，以及我们怎么从这么多文件中找到它们。重点是要记住定义。
一些定义：
实体 Entity：世界上任意的特殊的个体
类 Class：一系列相似的个体形成类
实例 Instance：类中的一个entity，若此entity是类中的一个element
子类Subclass与分类Taxonomy：
- 子类：若A类的所有实例也都是B类的实例，那么A即为B的子类
- 分类：类的结构 hierachy of classes
小练习1
a X, every X : X是一个class
Xs : X是一个class
This is X : 这是个instance
X is a Y : X是Y的instance
Every X is a Y : X是Y的子类
小练习2
使用subclass和instance表示动物之间的关系：
动物 ßlabel-- 男动物 ß subclassof-- cat
ßlabel-- 女动物 ßsubclassof--
猫是雄性动物和雌性动物子类，雄性动物和雌性动物是动物的一类
关系 Relation：class的cartesian成绩的子集，class叫做域，class的个数叫arity
例如：3 arity，ABC, 即表示3个class之间的关系，即 R A * B * C
语义 semantics或denotation：symbol例如entity，tuples的含义
二元关系和事实/三元组
二元关系Binary Relation：arity=2的关系，例如R A * B，第一个Class叫做定义域domain，第二个class叫做值域range
事实Fact/三元组：二元关系中的一个element，例如love(X,Y)，A love B就是此二元关系的一个element，参见A love B，可以知道有三个部分，所以也叫triple，每个二元关系有两个个参数，第一个代表主语subject，第二个代表宾语object。
二元反向关系inverse binary relation：r’(y,x) 就是r(x,y) 的二元反向关系
函数Function：表示二元关系，一个subject最多有一个object和它对应，即一对一或多对一
反向函数 Inverse Function：一个relation的反向还是函数，即还是一对一或者多对一
小练习：要能找到谁满足函数的定义，即满足一对一或多对一
相等 Equality：若对于同一个反向函数inverse function，两个实体entities共享同一个object，两个实体即相等
名字Name：也叫label，与entity关联attach可被人读的string
标签Label：二元关系在实体与其名字之间的关系即为label，label表示的是某实体的名字
近义词synonymy：同一个entity有不同的标签
二义性ambiguity：同一个标签对应不同的实体
小练习：举例出某些实体，他们的名字，关于它们的二义性词及二义性词的名字
first name，name，given name
事实商店Triple Store：一个表格，包含一个二元关系的知识库，表格有三列：subject，relation，object
事实表示 Fact Representation：可以用关系Relation，图像Graph，表格Table和事实商店Triple store来表示
类Class与关系Relation
一个fact可以被建模成一个类或者一个关系
(建模成类) 类型Type; 子类Subclass：二元关系来表示class，例如：MR Beans –typeà Actor，Comedian—subclassofà Actor
示意图Schema：由分类Taxonomy和关系定义Relation definition构成
- Taxonomy：带有subclass的link的classes的集合
- Relation definition：带有定义域和值域的relations
小练习1：知道如何根据一个context画出schema，一定要有subclass，domain和range这三个关系
小练习2：知道如何画出带有domain和range的知识图，domain和range可以出现在图的节点上么？
答案：可以，例如RDF
类实体Class entity：一个entity可以代表一个class，这个entity就是一个类
例如Marianne可以代表法国人
类类 Class Class：一个装有所有类实体class entity的类
例如：Class = { Marianne, …}
类类的type entity * Class
例如：class = {<François, Marianne>,…… }
事件实体Event Entity：可以表示n arity的关系
例如：马克龙婚礼 –husband à Macaron
–wife à Brigitte
–date à 10/10/2011
小练习：根据一段文字画出事件实体Event Entity
二元关系Binary Relation和多元关系N arity Relation的比较
二元关系：更灵活，更短，但关系量更多
多元关系：每个关系都可以表示好多个元，因此关系的个数少，但不够灵活
