×
安娜斯塔西娅·安娜斯塔西;格里戈里斯·安东尼奥;卡洛斯·维加斯·达马西奥;帕丘拉基斯，约阿尼斯

模块化ERDF本体的框架。 （英语） Zbl 1271.68217号

安。数学。Artif公司。智力。 67，第3-4号，189-249（2013）.
总结：如果没有任何形式的模块化、封装和访问控制，语义网的成功是不可能的。在早期的文章中，我们用弱否定和强否定以及推导规则扩展了RDF图。定义了扩展RDF框架（ERDF）的ERDF稳定模型语义，扩展了RDF（S）语义。在本文中，我们提出了一个模块化ERDF本体的框架，称为模块化ERDF框架，该框架支持在一组ERDF实体上进行协作推理，同时还提供了对隐藏知识的支持。特别地，定义了模块ERDF本体的模块ERDF-稳定模型语义，扩展了ERDF稳定模型语义。我们提出的框架支持局部语义和不同观点、局部封闭世界和开放世界假设以及范围否定即失败。提供了几个复杂度结果。

引用于3文件

MSC公司：

第68页第27页 人工智能中的逻辑
68立方英尺 知识表示

关键词：

模块化ERDF本体;局部语义;局部封闭世界和开放世界假设;范围否定即失败

软件：

斯莫德尔斯;MWeb公司;XSB公司;打开规则基准;N3逻辑;SPARQL公司;三倍的
PDF格式BibTeX公司 XML格式引用
\textit｛A.Analyti｝等人，Ann.Math。Artif公司。智力。67，编号3--4，189-249（2013；Zbl 1271.68217）
全文： 内政部

参考文献：

[1] Alves，M.，Damásio，C.V.，Nejdl，W.，Olmedilla，D.：基于规则的政策系统的分布式列表算法。摘自：第七届IEEE分布式系统和网络政策国际研讨会（POLICY-2006），第123-132页（2006）·Zbl 1183.68595号
[2] Analyti，A.，Antoniou，G.，Damásio，C.V.：模块化web规则库及其语义的原则框架。摘自：第十一届知识表示与推理国际会议（KR-2008），第390-400页（2008）·Zbl 1351.68272号
[3] Analyti，A.，Antoniou，G.，Damasio，C.V.：模块化ERDF本体的形式理论。收录于：第三届国际会议网络推理和规则系统（RR 2009），第212-226页（2009）·Zbl 1271.68217号
[4] Analyti，A.，Antoniou，G.，Damasio，C.V.:MWeb:模块化web规则库及其语义的原则框架。ACM事务处理。计算。日志。（ACM TOCL）12（2），1-46（2011）·Zbl 1351.68272号 ·doi:10.1145/1877714.1877723
[5] Analyti，A.，Antoniou，G.，Damásio，C.V.，Wagner，G.：扩展RDF作为规则标记语言的语义基础。J.阿蒂夫。智力。研究（JAIR）32，37-94（2008）·Zbl 1182.68157号
[6] Analyti，A.，Antoniou，G.，Damásio，C.V.，Wagner，G.：关于扩展RDF的可计算性和复杂性问题。摘自：第十届环太平洋国际人工智能会议（PRICAI-2008），第5-16页（2008）·Zbl 1183.68595号
[7] Aranda，C.B.、Arenas，M.、Corcho，Ö：SPARQL1.1联邦扩展的语义和优化。摘自：第八届扩展语义网络会议（ESWC-2011），第二部分，第1-15页（2011）
[8] Baader，F.、Calvanee，D.、McGuinness，D.L.、Nardi，D.、Patel-Schneider，P.F.（编辑）：描述逻辑手册：理论、实现和应用。剑桥大学出版社（2003）·Zbl 1058.68107号
[9] Bao，J.，Caragea，D.，Honavar，V.：关于模块本体中链接和导入的语义。摘自：第五届国际语义网络会议（ISWC'06），第72-86页（2006）
[10] Bao，J.、Voutsadakis，G.、Slutzki，G.和Honavar，V.：基于包的描述逻辑。收录于：《模块化本体论：知识模块化的概念、理论和技术》，第349-371页（2009年）·Zbl 1237.68202号
[11] Berners-Lee，T.、Connolly，D.、Kagal，L.、Scharf，Y.、Hendler，J.：N3Logic：万维网的逻辑框架。逻辑程序设计理论与实践（TPLP）8（3），249-269（2008）·Zbl 1139.68010号
[12] Boley，H.，Kifer，M.：《逻辑方言的RIF框架》，第二版。W3C建议2013年2月5日。最新版本可在http://www.w3.org/TR/rif-fld/ ·Zbl 1139.68010号
[13] Bonatti，P.A.，Coi，J.L.D.，Olmedilla，D.，Sauro，L.：基于规则的政策表述和推理。收录于：《网络语义技术》，《REWERSE Perspective 2009》，第201-232页（2009）
[14] Bonatti，P.A.，Coi，J.L.D.，Olmedilla，D.，Sauro，L.：基于规则的信任谈判系统。IEEE传输。知识。数据工程22（11），1507-1520（2010）·doi:10.1109/TKDE.2010.83
[15] Borgida，A.，Serafini，L.：分布式描述逻辑：同化来自对等源的信息。数据语义学杂志。1, 153-184 (2003) ·Zbl 1274.68454号
[16] Brewka，G.，Eiter，T.：异质非单调多上下文系统的平衡。摘自：第22届AAAI人工智能会议（AAAI-2007），第385-390页（2007）
[17] Brewka，G.，Eiter，T.，Fink，M.：非单调多上下文系统：集成异构知识源的灵活方法。摘自：《逻辑编程、知识表示和非单调推理》，第233-258页（2011年）·Zbl 1326.68273号
[18] Carroll，J.J.、Bizer，C.、Hayes，P.J.、Stickler，P.：命名图。《网络期刊》第3期（4），247-267（2005）·doi:10.1016/j.websem.2005.09.001
[19] Coi，J.L.D.，Olmedilla，D.：信任管理、安全和隐私政策语言综述。摘自：国际安全与密码会议（SECRYPT-2008），第483-490页（2008）
[20] Damasio，C.V.，Analyti，A.，Antoniou，G.：简单模块扩展RDF的嵌入。在：第四届国际会议网络推理与规则系统（RR 2010），（短文，2010）·兹伯利1347.68316
[21] Damasio，C.V.，Analyti，A.，Antoniou，G.：实现简单的模块化ERDF本体。In:第19届欧洲人工智能会议（ECAI-2010），（短文，2010）·Zbl 1271.68217号
[22] Damásio，C.V.，Analyti，A.，Antoniou，G.：规则交换格式中的模块化。摘自：第五届基于规则的推理、编程和应用国际研讨会（RULEML-2011），第313-328页（2011）
[23] de Bruijn，J.，Welty，C.：RIF RDF和OWL兼容性。W3C建议2013年2月5日。最新版本可在http://www.w3.org/TR/rif-rdf-owl/
[24] Eiter，T.、Ianni，G.、Lukasiewicz，T.，Schindlauer，R.、Tompits，H.：将答案集编程与语义网的描述逻辑相结合。Artif公司。智力。172(12-13), 1495-1539 (2008) ·Zbl 1183.68595号 ·doi:10.1016/j.artint.2008.04.002
[25] Ensan，F.：通过接口的概念将本体模块化。摘自：第16届知识工程国际会议：实践与模式（EKAW-2008），第74-82页（2008）
[26] Faber，W.，Pfeifer，G.，Leone，N.：答案集编程中递归聚合的语义和复杂性。Artif公司。智力。175(1), 278-298 (2011) ·Zbl 1216.68263号 ·doi:10.1016/j.artint.2010.04.002
[27] Gavriloaie，R.，Nejdl，W.，Olmedilla，D.，Seamons，K.E.，Winslett，M.：无需注册：如何使用声明性策略和协商访问语义web上的敏感资源。摘自：第一届欧洲语义网络研讨会（ESWS 2004），第342-356页（2004）
[28] Gelder，A.V.，Ross，K.A.，Schlipf，J.S.：通用逻辑程序的良好语义。《美国医学会杂志》38（3），620-650（1991）·兹比尔0799.68045
[29] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。收录于：Kowalski，R.，Bowen，K.A.（编辑）第五届逻辑编程国际会议，第1070-1080页。麻省理工学院出版社（1988）
[30] Gelfond，M.，Lifschitz，V.：经典否定逻辑程序。摘自：第七届逻辑程序设计国际会议，第579-597页（1990年）
[31] Ghidini，C.，Serafini，L.：调和异质本体中的概念和关系。摘自：第三届欧洲语义网络会议（ESWC 2006），第50-64页（2006）·Zbl 1139.68010号
[32] Ghidini，C.，Serafini，L.：异构本体的映射属性。摘自：第13届国际人工智能会议：方法、系统和应用（AIMSA 2008），第181-193页（2008）·Zbl 1169.68622号
[33] Ghidini，C.，Serafini，L.，Tessaris，S.：关于从不同本体论关联异质元素。In:2007描述逻辑国际研讨会（DL2007）（2007）
[34] Ghidini，C.，Serafini，L.，Tessaris，S.：推理与表达本体映射的复杂性。摘自：第五届信息系统形式本体国际会议（FOIS-2008），第151-163页（2008）·Zbl 1171.68748号
[35] Golbreich，C.，Wallace，E.K.：OWL 2网络本体语言新特性和基本原理，第2版。W3C建议2012年12月11日。最新版本可在http://www.w3.org/TR/oll2-new-features网站/
[36] Grau，B.C.，Kutz，O.：重新审视模块本体论语言。In:IJCAI-2007语义网协作知识获取研讨会（SWeCKa'07）（2007）
[37] Grau，B.C.，Parsia，B.，Sirin，E.：在语义网络上使用多个本体。摘自：第三届国际语义网络会议（ISWC-2004），第620-634页（2004）·Zbl 0885.68054号
[38] Grau，B.C.，Parsia，B.，Sirin，E.：使用ε连接进行本体集成。《模块本体论：知识模块化的概念、理论和技术》，第293-320页。施普林格（2009）·Zbl 1242.68311号
[39] Grosof，B.N.，Horrocks，I.，Volz，R.，Decker，S.：描述逻辑程序：将逻辑程序与描述逻辑相结合。收录于：第十二届国际万维网会议（WWW2003），第48-57页（2003）·Zbl 1192.68129号
[40] Harris，S.，Seaborne，A.：SPARQL 1.1查询语言。W3C工作草案2012年7月24日，网址：http://www.w3.org/TR/2012/WD-sparql11-query-20120724/
[41] Hayes，P.：RDF语义学。W3C建议书，2004年2月10日。可在http://www.w3.org/TR/2004/REC-rdf-mt-20040210/
[42] Herre，H.，Jaspars，J.，Wagner，G.：作为基于知识推理基础的两种否定的部分逻辑。In:Gabbay，D.M.，Wansing，H.（编辑）什么是否定？Kluwer学术出版社（1999）·Zbl 0982.03016号
[43] Hitzler，P.、Krotzsch，M.、Parsia，B.、Patel-Schneider，P.F.、Rudolph，S.:OWL 2网络本体语言初级读本，第二版。W3C建议2012年12月11日。最新版本可在http://www.w3.org/TR/owl2-primer网站/
[44] Janhunen，T.、Oikarinen，E.、Tompits，H.、Woltran，S.：析取稳定模型的模块化方面。J.阿蒂夫。智力。研究（JAIR）35，813-857（2009）·Zbl 1192.68129号
[45] Kifer，M.：FLORA-2中的非单调推理。摘自：第八届逻辑程序设计和非单调推理国际会议（LPNMR-2005），第1-12页（2005）·Zbl 1152.68640号
[46] Kifer，M.，Boley，H.：RIF概述，第二版。W3C工作组注释2013年2月5日。最新版本可在http://www.w3.org/TR/rif-overview/
[47] Kifer，M.，Lausen，G.，Wu，J.：面向对象和基于框架的语言的逻辑基础。J.ACM 42（4），741-843（1995）·兹伯利0885.68054 ·doi:10.145/210332.210335
[48] Klyne，G.，Carroll，J.J.：资源描述框架（RDF）：概念和抽象语法。W3C建议书，2004年2月10日。可在http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/
[49] Kutz，O.，Lutz，C.，Wolter，F.，Zakharyaschev，M.：抽象描述系统的E-connections。Artif公司。智力。156(1), 1-73 (2004) ·Zbl 1085.68162号 ·doi:10.1016/j.artint.2004.02.002
[50] Li，N.，Mitchell，J.：RT：基于角色的信任管理框架。摘自：DARPA信息生存能力会议和展览会（DISCEX III）（2003）
[51] Li，N.，Mitchell，J.C.：具有约束的DATALOG：信任管理语言的基础。摘自：第五届声明性语言实践方面国际研讨会（PADL-2003），第58-73页（2003）·Zbl 1026.68793号
[52] Liang，S.、Fodor，P.、Wan，H.、Kifer，M.：OpenRuleBench：规则引擎性能分析。摘自：第18届万维网国际会议（WWW-2009），第601-610页（2009）
[53] Lloyd，J.W.，Topor，R.W.：让序言更有表现力。J.日志。程序。1(3), 225-240 (1984) ·Zbl 0584.68022号 ·doi:10.1016/0743-1066（84）90011-6
[54] Niemelä，I.，Simons，P.：Smodels——正常LP的稳定模型和良好语义的实现。参见：第四届逻辑程序设计和非单调推理国际会议（LPNMR’97），第421-430页（1997）。可在http://www.tcs.hut.fi/Software/smodels/ ·Zbl 1274.68454号
[55] Oikarinen，E.，Janhunen，T.：为smodels程序实现稳定模型语义的组合。逻辑程序设计理论与实践（TPLP）8（5-6），717-761（2008）·Zbl 1156.68012号 ·文件编号：10.1017/S147106840800358X
[56] Papadimitriou，C.M.：计算复杂性。Addison-Wesley（1994）·兹比尔083368049
[57] Pérez，J.、Arenas，M.、Gutierrez，C.：SPARQL的语义和复杂性。ACM事务处理。数据库系统。34(3), 16:1-16:45 (2009) ·数字对象标识代码：10.1145/1567274.1567278
[58] Polleres，A.：从SPARQL到规则（再到规则）。摘自：第16届万维网国际会议（WWW-2007），第787-796页。ACM（2007）
[59] Polleres，A.，Feier，C.，Harth，A.：上下文范围否定的规则。摘自：第三届欧洲语义网络会议（ESWC-2006），第332-347页（2006）
[60] Prudhommeaux，E.，Build-Aranda，C.：SPARQL 1.1联邦查询。W3C工作草案2011年11月17日，网址：http://www.w3.org/TR/2011/WD-sparql11-federated-query-20111117/
[61] Sagonas，K.F.，Swift，T.，Warren，D.S.：XSB作为一个高效的演绎数据库引擎。在：Snodgrass，R.T.，Winslett，M.（编辑）1994年ACM SIGMOD国际数据管理会议记录，第442-453页。ACM出版社（1994）。可在http://xsb.sourceforge.net/
[62] Schaffert，S.、Bry，F.、Besnard，P.、Decker，H.、Decker，S.，Enguix，C.F.、Herzig，A.：语义网的超协调推理。摘自：语义网络不确定性推理研讨会，与ISWC-2005合办，第104-105页（2005）
[63] Schenk，S.、Staab，S.：网络图：一种用于web上SPARQL规则、SPARQL-视图和RDF数据集成的声明性机制。摘自：第17届万维网国际会议（WWW-2008），第585-594页（2008）
[64] Serafini，L.，Borgida，A.，Tamilin，A.：分布式和模块化本体推理的方面。摘自：第19届国际人工智能联合会议（IJCAI-2005），第570-575页（2005）
[65] Sintek，M.，Decker，S.：TRIPLE——语义网的查询、推理和转换语言。摘自：第一届国际语义网络会议（ISWC-2002），第364-378页。Springer-Verlag（2002）·Zbl 1048.68910号
[66] Stefan Decker，W.N.，Sintek，M.：TRIPLE的模型理论语义。技术报告（2002年）·Zbl 1048.68910号
[67] Stockmeyer，L.J.，Meyer，A.R.：需要指数时间的单词问题：初步报告。摘自：第五届ACM计算机理论年会（STOC'73），第1-9页（1973）·兹比尔0359.68050
[68] ter-Horst，H.J.：RDF模式包含的完整性、可判定性和复杂性，以及涉及OWL词汇表的语义扩展。《网络语义学杂志》3（2-3），79-115（2005）·doi:10.1016/j.websem.2005.06.001
[69] W3C OWL工作组：OWL 2 Web本体语言文档概述，第2版。W3C建议2012年12月11日。最新版本可在http://www.w3.org/TR/owl2-overview网站/
[70] Yang，G.，Kifer，M.，Zhao，C.：Flora-2：语义网的基于规则的知识表示和推理基础设施。In:第二届大型信息系统本体、数据库和语义应用国际会议（ODBASE’03），第671-688页（2003）
[71] Zimmermann，A.：集成分布式描述逻辑。In:2007描述逻辑国际研讨会（DL-2007）（2007）·Zbl 1085.68162号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。