規則交換格式



規則交換格式(RIF短)是語義Web的背景下W3C建議。規則用於在語義Web正式知識。為了使計劃來對付他們,規則必須在一個明確的規則描述語言來描述。從本描述中,有幾種語言,並且RIF提供這些語言中的其他規則來翻譯。密切關聯RIF的標準是OWL和RDF。本標準工作委員會成立於2005年11月7日[1]和2010年6月22日通過的標準格式。[2]

規則[編輯]
電腦只能按照一定的準則邏輯的結論拖累。規則是有結構的結構“IF ... THEN ...”,它表達的結論。邏輯的,允許一個計算機的規則,現在以關閉通過在第二部分中的規則的第一部分。規則的一個例子是“如果B A和A的弟弟是一個女人,那麼A是B的妹妹”。在這種狀況的正式語言是由謂詞表示“如果兄弟(B,A)和女性(A)THEN姐姐(A,B)。”有了這個表達式我們已經承諾致力於語言。 RIF現在將被用於這個表達式轉換成另一種語言。

RIF方言[編輯]
與自然語言,有方言,即使在形式語言。

基本邏輯方言(RIF-BLD)使用喇叭公式。[3]產生式規則方言(RIF-PRD)正式生產規則。[4]核心方言(RIF核心)是RIF-BLD和RIF共同的子集-PLD。[5]

外部鏈接[編輯]
跳高↑W3C:萬維網聯盟啟動規則交換格式工作組,2005年11月7日
跳高↑規則交換格式(RIF)現在是一個W3C推薦標準2010年6月22日。
跳高↑RIF基本邏輯方言,W3C推薦標準2010年6月22日
跳高↑RIF產生式規則方言,W3C推薦標準2010年6月22日
跳高↑RIF核心方言,W3C推薦標準2010年6月22日