×
伯纳多·昆卡·格劳;伊恩·霍洛克斯;叶夫根尼·哈萨克夫;乌尔里克·萨特勒

从本体中提取模块：一种基于逻辑的方法。 （英语） Zbl 1242.68310号

Stuckenschmidt，Heiner（编辑）等人，《模块本体论》。知识模块化的概念、理论和技术。柏林：施普林格出版社（ISBN 978-3-642-01906-7/pbk）。计算机科学课堂讲稿5445159-186（2009）。
摘要：从本体中提取有意义片段的能力对于本体重用至关重要。我们提出了一个模块的定义，以确保完全捕获给定术语集的含义，即包括与这些术语含义相关的所有公理。我们表明，即使对于OWL DL，确定本体的子集是否是给定词汇表的模块的问题也是无法确定的。鉴于这些负面结果，我们提出了本体片段成为模块的充分条件。我们提出了一种基于这些条件的模块计算算法，并在一组大小和复杂度不同的真实世界本体上给出了实验结果。
关于整个系列，请参见[Zbl 1163.68005号].

引用于4文件

MSC公司：

68立方英尺 知识表示
68T27型 人工智能中的逻辑

软件：

促进;故障电流互感器++
PDF格式BibTeX公司 XML格式引用
\textit{B.Cuenca Grau}等人，Lect。注释计算。科学。5445159--186（2009年；Zbl 1242.68310）
全文： 内政部

参考文献：

[1] Baader，F.，Brandt，S.，Lutz，C.：推动（mathcal{EL}）信封。In：程序。IJCAI 2005，第364–370页（2005）
[2] Baader，F.、Calvanee，D.、McGuinness，D.L.、Nardi，D.、Patel-Schneider，P.F.（编辑）：《描述逻辑手册：理论、实现和应用》。剑桥大学出版社，剑桥（2003）·Zbl 1058.68107号
[3] Börger，E.，Grädel，E.，Gurevich，Y.：经典决策问题。在：数学逻辑的观点。施普林格，海德堡（1997）；第二次印刷（Universitext）2001·Zbl 0865.03004号
[4] Cuenca Grau，B.，Horrocks，I.，Kazakov，Y.，Sattler，U.：本体模块化的逻辑框架。In：程序。IJCAI 2007，第298-304页（2007年）
[5] Cuenca Grau，B.，Horrocks，I.，Kutz，O.，Sattler，U.：我的本体论会契合吗？In：程序。DL 2006（2006）
[6] Cuenca Grau，B.，Parsia，B.，Sirin，E.，Kalyanpur，A.：模块化和网络本体。In：程序。KR 2006，第198-209页（2006）
[7] Ghilardi，S.，Lutz，C.，Wolter，F.：我有没有破坏我的本体论？描述逻辑中保守扩展的一个例子。In：程序。KR 2006，第187-197页（2006年）
[8] Cuenca Grau，B.，Halaschek-Wiener，C.，Kazakov，Y.：历史问题：使用模块的增量本体推理。收件人：Aberer，K.，Choi，K.-S.，Noy，N.，Allemang，D.，Lee，K.-I.，Nixon，L.，Golbeck，J.，Mika，P.，Maynard，D.，Mizoguchi，R.，Schreiber，G.，Cudré-Mauroux，P.（编辑）ASWC 2007和ISWC 2007。LNCS，第4825卷，第183-196页。施普林格，海德堡（2007）·数字对象标识代码：10.1007/978-3-540-76298-0_14
[9] Horrocks，I.，Patel-Schneider，P.F.，van Harmelen，F.：从（mathcal{SHIQ}）和RDF到OWL：网络本体语言的构建。《网络语义学杂志》1（1），7–26（2003）·doi:10.1016/j.websem.2003.07.001
[10] Horrocks，I.，Sattler，U.：SHOIQ的表格决策程序。In：程序。IJCAI的。Morgan Kaufman，旧金山（2005）·Zbl 1132.68734号
[11] Kalyanpur，A.，Parsia，B.，Sirin，E.，Cuenca Grau，B.，Hendler，J.：SWOOP：网络编辑浏览器。Elsevier的《网络语义杂志》4（2），144-153（2006）·doi:10.1016/j.websem.2005.10.001
[12] Lutz，C.，Walter，D.，Wolter，F.：表达描述逻辑中的保守扩展。In：程序。IJCAI 2007，第453–459页（2007）
[13] Möller，R.，Haarslev，V.：描述逻辑系统。参见：《描述逻辑手册》，第8章，第282-305页。剑桥大学出版社，剑桥（2003）
[14] Motik，B.：使用解析和演绎数据库进行描述逻辑推理。德国卡尔斯鲁厄大学（TH）博士论文（2006年）
[15] Noy，N.F.，Musen，M.A.：PROMPT套件：用于本体映射和合并的交互式工具。《国际人类计算机研究杂志》6（59）（2003）·doi:10.1016/j.ijhcs.2003.08.002
[16] Patel-Schneider，P.F.，Hayes，P.，Horrocks，I.：网络本体语言OWL抽象语法和语义。W3C推荐标准（2004）
[17] Schmidt-Schauß，M.，Smolka，G.：带补语的定语概念描述。Artif公司。智力。 48(1), 1–26 (1991) ·Zbl 0712.68095号 ·doi:10.1016/0004-3702（91）90078-X
[18] Sirin，E.，Parsia，B.：颗粒系统描述。In：程序。DL 2004（2004）
[19] Tsarkov，D.，Horrocks，I.：FaCT++描述逻辑推理器：系统描述。收录：Furbach，U.，Shankar，N.（编辑）IJCAR 2006。LNCS，第4130卷，第292-297页。斯普林格，海德堡（2006）·doi:10.1007/11814771_26
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。