[發明專利]描述邏輯與可廢止邏輯整合的不一致本體非單調推理方法

無效

• 申請號: 201110227566.4
• 申請日: 2011-08-01
• 公開（公告）號: CN102411730A
• 公開（公告）日: 2012-04-11
• 發明（設計）人: 彭志平
• 申請（專利權）人: 彭志平
• 主分類號: G06N5/04
• 分類號: G06N5/04
• 代理公司: 暫無信息
• 代理人: 暫無信息

技術領域：計算機應用技術。

背景技術：語義Web的目標是擴展現有Web的標準和技術，使得Web的信息具有語義，以便機器能對這種信息進行理解和推理。由于本體是語義Web表達語義和實現邏輯推理、自動處理的關鍵，因而本體在語義Web中處于核心地位。目前，人們普遍認為描述邏輯可以為語義Web的本體提供必要的邏輯基礎。但是，在語義Web環境下，由于本體通常是獨立開發的，再加上可能存在本體合并、本體缺省繼承和本體進化等諸多原因，本體往往是不一致的(矛盾的)。盡管描述邏輯具有較強的表達能力和有效的推理機制，但本質上描述邏輯是基于一階邏輯，這就決定了它不具有非單調推理能力，因而不適合推理不一致的知識。當本體不一致時，現有的描述邏輯推理機(如Racer^[1]、Pellet^[2])雖能檢測到其中邏輯的不一致性，但是只能顯示不一致和錯誤的信息，并停止進一步的推理。

在國外，Pothipruk^[3]、Sergio等人^[4]、Antoniou等人^[5]以及Wang等人^[6]也都試圖整合描述邏輯和可廢止邏輯，來解決不一致本體的推理問題，但都有局限性。Pothipruk所提方法無法處理和算子。Sergio等人所提方法既弱化了一致本體的推理結論的語義強度，又不能處理左側含有或算子的概念包含公理。雖然Antoniou等人所提方法能將所有RDFS本體轉換為規則，但只能對部分的本體進行轉換，這大大限制了其應用范圍。Wang等人所提方法在推理時可實現描述邏輯和可廢止邏輯的交替、互動推理，但當本體不一致時，描述邏輯本身不能進行任何操作，從而無法向可廢止理論反饋期待的信息。文獻[7]所提方法的思想與Wang等人相似，也存在同樣的不足。

在國內，丁松等人^[8]提出了一種基于回答集程序的非一致本體推理方式。該方法與本發明有根本性區別，其思想是將本體翻譯為一類邏輯程序，從而把本體推理問題規約為回答集程序求解問題，但該方法對大規模的非一致本體的推理及其內在性質都有待進一步驗證。目前，國內還鮮有與本發明相似的研究報道。

[1]V.Haarslev，R.Racer?System?Description[C]//Proc.of?IJCAR’01.LNCS?2083，Berlin，Herdelberg：Springer-Verlag，2001：701-706

[2]Sirin?E，Parsia?B，Grau?B?C，et?al.Pellet：A?Practical?OWL-DL?Reasoner[J].Journal?of?Web?Semantics，2007，5(2)：51-53.

[3]Pakompong?Pothipruk.Query?Answering?for?Multiple?Complex?Resources：Description?Logic?in?the?Semantic?Web?Context.PhD?Thesis，University?of?Queensland，2007

[4]Sergio?Alejandro?Gomez，Carlos?Ivan?Chesnevar，Guillermo?Ricardo?Simari.Inconsistent?Ontology?Handling?by?Translating?Description?Logics?into?Defeasible?Logic?Programming[J].Intelligent?Artificial，2007，11(35)：11-22

[5]Antoniou?G，Bikakis?A.DR-Prolog：A?System?for?Defeasible?Reasoning?with?Rules?and?Ontologies?on?the?Semantic?Web[J].IEEE?Trans.on?Knowl.Data?Eng.，2007，19(2)：233-245

[6]K.Wang，D.Billington，J.Blee，G.Antoniou.Combining?Description?Logic?and?Defeasible?Logic?for?the?Semantic?Web[C]//Proc.of?RuleML’04.Berlin，Herdelberg：Springer-Verlag，LNCS?3323，2004：170-181