早期知識表示簡介：
知識是智能的基礎(chǔ)，提供推理能力由桌。
相對正確性为黎、不確定性胡陪、可表示性、可利用性碍舍。
常識性知識柠座、領(lǐng)域性知識；
事實性知識片橡、過程性知識妈经、控制知識；
確定性知識捧书、不確定性知識吹泡。
早期知識表示方法：
1、First-Order Logic
Horn邏輯：
原子：has_child(Helen,Jack)
Rules:has_child(X,Y):-has_son(X,Y)
Tbox：內(nèi)涵知識经瓷、Abox：斷言
2爆哑、Production Rule:
IF...THEN...
CF為知識的強(qiáng)度
3、Framework:
<框架名>
槽名：側(cè)面名? 值1舆吮，值2揭朝，...，值p1
........................
約束：約束條件1
? ? ? ? ? ? ?.........
?? ?? ? ? 約束條件n
4色冀、Semantic Network:
節(jié)點-弧-節(jié)點
用謂詞邏輯表示
基于語義網(wǎng)Semantic Web得知識表示框架：
W3C推薦的語義網(wǎng)標(biāo)準(zhǔn)棧：
表示-查詢-推理-置信
最主要的方面A web of link data：SPARQL潭袱、RDF
use RDF as data format
use URLs as names for things
use HTTP URLs so that people can look up those names
RDF：資源描述框架
Resource：頁面、圖片锋恬、視頻等任何具有URL標(biāo)識符
Description：屬性屯换、特征和資源之間的關(guān)系
Framework：模型、語言和這些描述的語法
在RDF中知識總是以三元組triple形式出現(xiàn)
(subject与学、predicate彤悔、object)
RDF本身也是一個圖模型(vertex，edge索守，vertex)
in RDF resources and properties are identified by URLs
通過namespace減少前綴冗余進(jìn)行URLs的縮寫
in RDF values of properties can also be literals i.e. strings of characters：(CCF ADL,theme,"KG")晕窑，此時"KG"稱之為字面值literal，其他為resource
in RDF literals values of properties can also be typed with XML datatypes
字符串+類型約束
在CCF ADL上演講了三小時：
ex:ccf_adl——ex-schema:nbHours——"3"^^xsd:interger
RDF空白節(jié)點blank nodes：
匿名的資源蕾盯，作為鏈接某一個非匿名的資源的橋梁
A是某一次知識圖譜講座的講者：
ex:A——ex-schema:speaker——_:x——ex-schema:theme——ex:KG
二跳幕屹，可以表示更復(fù)雜的多元關(guān)系
RDF是數(shù)據(jù)模型，不是序列化格式级遭。
可以用XML、Turtle渺尘、N-Triples等方式表示挫鸽。
開放世界假設(shè)：沒有定義的內(nèi)容只代表不知道，而不是不存在鸥跟。
分布式定義的知識可以自動合并丢郊。
帶標(biāo)注的RDF(變種)annotated RDF：
(s,p,o):標(biāo)志
(特朗普盔沫，就職，總統(tǒng))：2017年1月
RDFS(schema)：
在RDF的基礎(chǔ)上提供了一個術(shù)語枫匾、概念等的定義方式架诞，以及哪些屬性可以應(yīng)用到哪些對象上。
規(guī)范了概念層schema的內(nèi)容干茉。
為RDF定義了如下詞匯：
class,subclassof,type,property,subpropertyof,domain,range
OWL和OWL2
Web Ontology Language
三個子語言：lite/DL/Full
exp是命名空間http://www.example.org的別稱谴忧。
等價性聲明：
exp:運動員 owl:equivalentCalss exp:體育選手
傳遞關(guān)系：
exp:ancestor rdf:type owl:TransitiveProperty
互反關(guān)系：
exp:ancestor? owl:inverseOf exp:descendant
函數(shù)性屬性(唯一性)：
exp:hasMother rdf:type owl:FunctionalProperty
OWL2：OWL的新版本
SPARQL：
RDF的查詢語言：基于RDF數(shù)據(jù)模型。
PREFIX:? ? #聲明
FROM? ? #dataset(graph)
SELECT
WHERE{ ...... }
ORDER BY
RDF中的資源以角虫？或者$表示變量
查詢所有選秀CS328的學(xué)生：
PREFIX exp:http://www.example.org/
SELECT ?student
WHERE{
? ? ?student exp:studies exp:CS328.
}
查詢所有的收購關(guān)系：
SELECT ?P ?X
WHERE{
? ? ?P finance:control ?c.
? ? ?c finance:acquire ?X.
}
ontology可以填充知識與查詢之間的語義間隙沾谓。
把member和relative的語義間隙給填充了。
SELECT * WHERE{
? ? ?x member ?y.
? ? ?z founder ?y.
? ? ?z relative ?x.
}
寫成規(guī)則的形式：
hold_share(X,Y):-control(X,Y)
conn_trans(Y,Z):-hold_share(X,Y),hold_share(X,Z)
JSON-LD:
JavaScript Object Notation for Linked Data
基于JSON表示和傳輸互聯(lián)數(shù)據(jù)Linked Data的方法戳鹅。
JSON-LD通過引入規(guī)范的術(shù)語表示均驶，使得數(shù)據(jù)交換和機(jī)器理解成為基礎(chǔ)
JSON中的：
{
? ? "name":"tai_park"
}
變成JSON-LD中的：
{
? ? "http://schema.org/name":"tai_park"
}
圍繞某類知識提供共享的術(shù)語。
RDFa:
網(wǎng)頁標(biāo)記語言枫虏，擴(kuò)展了XHTML的幾個屬性妇穴。
Wikinomics
HTML5 Microdata：
Andy
RDF+SPARQL 對比 ER+SQL：
RDF：關(guān)系顯示定義(語義存在于數(shù)據(jù)中)——數(shù)據(jù)變更較為方便(圖增加邊更為方便)
ER：關(guān)系隱式聲明(語義存在于人腦中)
ER+SQL：Dumb Data->Smart Application Code
RDF+SPARQL：Smart Data->Uniform Inference Engine
典型知識庫項目的知識表示：
DBpedia：
dbo：有約束的定義
dbr：資源
dbp：沒有約束而僅有數(shù)據(jù)層的定義
TAGO2：
上層->維基百科內(nèi)容->lable用以實體消歧
Freebase：
data/schema/Queries
復(fù)合值類型CVT：處理多元關(guān)系。一個CVT就是一個有唯一MID的Object隶债，也可以有多個Types伟骨。
Wikidata：
有頂層的對象：Entity
時空約束：qualifiers/reference
NELL：
文本抽取并用圖整合
基于Protege本體工具的知識建模實踐：
模式層/實例層
