乔斯琳·法杜尔;沃尔克·哈尔斯列夫 描述逻辑的代数表推理\（\mathcal｛SHOQ｝\）。 （英语） Zbl 1214.68381号 J.应用。日志。 第8期，第4期，334-355页（2010年）. 摘要：基于web本体语言（OWL）的语义web应用程序通常需要在类描述中使用数字来表示属性甚至类的基数限制。其中一些基数是明确指定的，但相当多的基数是隐含的，需要通过推理过程发现。由于OWL的描述逻辑（DL）基础，这些推理服务是由DL推理机提供的，这些推理机使用的推理程序在算术上不了解，并用“不知道”的非确定性代替算术推理，以涵盖所有可能的情况。在许多情况下，缺乏关于算术问题的信息会大大降低DL推理机的性能，特别是当本体依赖于使用名词（（mathcal O））和限定基数限制（（mathcal Q））时。在本文中，我们为DL（mathcal{SHOQ}）提出了一种新的代数表推理过程，它结合了表过程和代数方法，即线性整数规划，以确保在算术上更好地理解推理过程\（mathcal{SHOQ}）用传递角色、角色层次结构、限定基数限制和名词扩展了标准DL（mathcal{ALC}）（相当于多模态逻辑（K_m）），并形成了web本体语言OWL 2的一个表达子集。虽然所提出的代数表（与标准表类似）在最坏的情况下仍然是双指数的，但由于其算术成分，它以非常明智的方式处理基数，并且可以被视为解决基数限制的明智推理程序的新基础。 引用于2文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 关键词：描述逻辑;画面推理;代数推理 PDF格式BibTeX公司 XML格式引用 \textit{J.Faddoul}和\textit{V.Haarslev}，J.Appl。日志。8，第4号，334--355（2010；Zbl 1214.68381） 全文： 内政部 参考文献： [1] C.Areces，C.Lutz，《具体领域和名词统一》，载于：C.Arecies，P.Blackburn，M.Marx，U.Sattler（编辑），《混合逻辑第四次研讨会论文集》（HyLo'02），2002年，第145-149页。；C.Areces，C.Lutz，《具体领域和名词统一》，载于：C.Arecies，P.Blackburn，M.Marx，U.Sattler（编辑），《混合逻辑第四次研讨会论文集》（HyLo'02），2002年，第145-149页。 [2] 巴德，F。；Buchheit，M。；Hollunder，B.，概念的基数限制，人工智能，88195-213（1996）·Zbl 0907.68181号 [3] 巴德，F。；Calvanee，D。；McGuinness，D。；Nardi，D。；Patel-Schneider，P.，《描述逻辑手册》（2007），剑桥大学出版社·Zbl 1132.68055号 [4] Borgida，A。；Patel-Schneider，P.F.，《经典描述逻辑中包含的语义和完整算法》，《人工智能研究杂志》，1277-308（1994）·Zbl 0900.68397号 [5] T.Braüner，《混合逻辑》（斯坦福哲学百科全书）（2006）（见http://plato.stanford.edu/entries/logic-hybrid/).; T.Braüner，《混合逻辑》（斯坦福哲学百科全书）（2006）（见http://plato.stanford.edu/entries/logic-hybrid/). [6] 丁彦，基于表的逆向角色和数量限制描述逻辑推理，博士论文，加拿大蒙特利尔康考迪亚大学，2008。；丁彦，基于表的逆向角色和数字限制描述逻辑推理，加拿大蒙特利尔康考迪亚大学博士论文，2008。 [7] 多尼尼，F.M。；马萨奇，F.，《人工智能的EXP时间表》，12487-138（2000）·Zbl 0952.68136号 [8] J.Faddoul，V.Haarslev，优化代数表推理（mathcal{SHOQ}）：第一个实验结果，见：Proc。2010年5月4日至7日，加拿大滑铁卢，2010年描述逻辑国际研讨会。；J.Faddoul，V.Haarslev，优化代数表推理（mathcal{SHOQ}）：第一个实验结果，见：Proc。2010年5月4日至7日，加拿大滑铁卢，2010年描述逻辑国际研讨会·Zbl 1214.68381号 [9] J.Faddoul，N.Farsinia，V.Haarslev，R.Möller，《（mathcal{ALCQ}）的混合表算法》，摘自：Proc。2008年描述逻辑国际研讨会，另见：第18届欧洲人工智能会议（ECAI 2008），2008年，第725-726页。；J.Faddoul，N.Farsinia，V.Haarslev，R.Möller，《（mathcal{ALCQ}）的混合表算法》，摘自：Proc。2008年描述逻辑国际研讨会，也在：第18届欧洲人工智能会议（ECAI 2008），2008年，第725-726页。 [10] J.Faddoul，V.Haarslev，R.Möller，《带名词和限定数限制的描述逻辑的混合推理》，技术报告，汉堡理工大学软件系统研究所，2008年，http://www.sts.tu-harburg.de/tech-reports/papers.html。; J.Faddoul，V.Haarslev，R.Möller，《带名词和限定数限制的描述逻辑的混合推理》，技术报告，汉堡理工大学软件系统研究所，2008年，http://www.sts.tu-harburg.de/tech-reports/papers.html。 [11] J.Faddoul，V.Haarslev，R.Möller，代数表算法（mathcal{ALCOQ}），摘自：2009年描述逻辑国际研讨会论文集（DL-2009），英国牛津，2009年7月27-30日。；J.Faddoul，V.Haarslev，R.Möller，代数表算法（mathcal{ALCOQ}），收录于：2009年描述逻辑国际研讨会论文集（DL-2009），英国牛津，2009年7月27-30日·兹伯利1214.68381 [12] Farsiniamarj，N。；Haarslev，V.，《带限定数限制的实用推理：描述逻辑的混合Abox演算》（SHQ），AI Communications，23，2-3，205-240（2010），（自动推理实用方面专刊）·Zbl 1205.68404号 [13] V.Haarslev，R.Möller，用限定数限制优化描述逻辑中的推理，载于：描述逻辑，2001年，第142-151页。；V.Haarslev，R.Möller，《用限定数限制优化描述逻辑中的推理》，载于《描述逻辑》，2001年，第142-151页。 [14] V.Haarslev，M.Timmann，R.Möller，《结合表和代数方法进行带限定数限制的推理》，载于：《描述逻辑》，2001年，第152-161页。；V.Haarslev，M.Timmann，R.Möller，《结合表格和代数方法进行合格数限制推理》，载于《描述逻辑》，2001年，第152-161页。 [15] 哈斯塔德，J。；Lagarias，J。；Helfrich，B。；Schnorr，C.P.，用于发现实数之间整数关系的多项式时间算法，（《计算科学》讲义，第210卷（1986年），施普林格：施普林格-柏林/海德堡），105-118·Zbl 0606.68033号 [16] B.Hollander，F.Baader，《概念语言中的限定数字限制》，摘自：Proc。第二届知识表示与推理原则国际会议，KR-91，波士顿（美国），1991年，第335-346页。；B.Hollander，F.Baader，《概念语言中的限定数字限制》，摘自：Proc。第二届知识表示与推理原则国际会议，KR-91，波士顿（美国），1991年，第335-346页·Zbl 0765.68190号 [17] I.Horrocks，U.Sattler，《描述逻辑中的本体论推理》，摘自：Proc。第17届国际人工智能联合会议（IJCAI 2001），2001年，第199-204页。；I.Horrocks，U.Sattler，在\（\mathcal｛SHOQ｝（\ operatorname｛D｝）\）描述逻辑中的本体推理，在：Proc。第17届国际人工智能联合会议（IJCAI 2001），2001年，第199-204页。 [18] I.Horrocks，U.Sattler，《（mathcal{SHOIQ}）的表格决策程序》，摘自：Proc。第19届国际人工智能联合会议（IJCAI 2005），2005年，第448-453页。；I.Horrocks，U.Sattler，《（mathcal{SHOIQ}）的表格决策程序》，摘自：Proc。第19届国际人工智能联合会议（IJCAI 2005），2005年，第448-453页·Zbl 1132.68734号 [19] 霍洛克斯，I。；美国萨特勒，《（SHOIQ）的表格决策程序》，J.Automat。原因。，249-276 (2007) ·Zbl 1132.68734号 [20] 哈萨克夫，Y。；Motik，B.，一种基于分辨率的决策程序，适用于\（SHOIQ\），J.Automat。原因。，40, 89-116 (2008) ·Zbl 1137.68056号 [21] B.Motik，I.Horrocks，《描述逻辑推理中的个体重用》，载于：IJCAR，2008年，第242-258页。；B.Motik，I.Horrocks，《描述逻辑推理中的个体重用》，载于：IJCAR，2008年，第242-258页·Zbl 1165.68505号 [22] 莫蒂克，B。；采煤机，R。；Horrocks，I.，使用hypertableaux的描述逻辑中的优化推理，（CADE-21。CADE-21，《人工智能课堂讲稿》，第4603卷（2007年），第67-83页·Zbl 1213.68593号 [23] 莫蒂克，B。；Patel-Schneider，P.F。；Grau，B.Cuenca，OWL公司2网络本体语言：Direct semantics，2009年，最新版本，网址： [24] H.J.Ohlbach，J.Koehler，《通过原子分解推理集》，技术报告TR-96-031，国际计算机科学研究所（ICSI），加州伯克利，美国，1996年，41页。；H.J.Ohlbach，J.Koehler，《通过原子分解推理集》，技术报告TR-96-031，国际计算机科学研究所（ICSI），加州伯克利，美国，1996年，41页。 [25] Ohlbach，H.J。；Koehler，J.，模态逻辑、描述逻辑和算术推理，人工智能，109，1-31（1999）·Zbl 0916.68148号 [26] B.Parsia，B.Cuenca Grau，E.Sirin，《从葡萄酒到水：优化名词的描述逻辑推理》，in：Proc。第十届知识表示与推理原则国际会议（KR），2006年，第90-99页。；B.Parsia，B.Cuenca Grau，E.Sirin，《从葡萄酒到水：优化名词的描述逻辑推理》，in：Proc。第十届知识表示与推理原则国际会议（KR），2006年，第90-99页。 [27] Schaerf，A.，《概念语言中的个体推理》，《数据知识》。工程，13，141-176（1994） [28] Tobies，S.，《表达描述逻辑中具有基数限制和名词的推理复杂性》，《人工智能研究杂志》，12，199-217（2000）·Zbl 0941.03029号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。