×
格利姆，伯尔特；伊恩·霍洛克斯；鲍里斯·莫提克；乔戈斯·斯托洛斯；王哲

HermiT：OWL 2推理机。 （英语） Zbl 1314.68280号

J.汽车。推理 53，第3期，245-269（2014）.
小结：本系统描述文件介绍了OWL 2推理机HermiT。推理器完全符合万维网联盟（W3C）标准化的OWL 2直接语义。HermiT基于超表演算，它支持广泛的标准和新颖优化，可以提高现实世界本体论的推理性能。除了包含检查的标准OWL 2推理任务外，HermiT还支持一些专门的推理服务，例如类和属性分类，以及OWL 2中标准以外的一系列功能，例如DL-safe规则、SPARQL查询和描述图。我们讨论了系统的体系结构，并概述了用于支持上述推理任务的技术。我们进一步将HermiT中的推理性能与FaCT++和Pellet-另外两种流行且广泛使用的OWL2推理器的推理性能进行了比较。

引用于16文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）
68T27型 人工智能中的逻辑
68立方英尺 知识表示

关键词：

本体；OWL公司；类别分类；财产分类；优化

软件：

旋转（swrl）；KL-ONE公司；HermiT公司；ELK公司；WSReasoner公司；故障电流互感器++；SPARQL公司；弹丸
PDF格式BibTeX公司 XML格式引用
\textit{B.Glimm}等人，J.Autom。推理53，No.3，245--269（2014；Zbl 1314.68280）
全文： 内政部 链接

参考文献：

[1] Armas Romero，A.，Cuenca Grau，B.，Horrocks，I.：更多：OWL推理机的模块化组合，用于本体分类。In：程序。第11届国际语义网络会议（ISWC 2012），《计算机科学讲义》，第7649卷，第1-16页。施普林格（2012）
[2] Baader，F.、Calvanese，D.、McGuinness，D.L.、Nardi，D.、Patel Schneider，P.F.（编辑）：《描述逻辑手册》，第2版。剑桥大学出版社（2007）·Zbl 1132.68055号
[3] Baader，F.，Sattler，U.：描述逻辑的表格算法概述。逻辑研究。69, 5-40 (2001) ·Zbl 0991.03012号 ·doi:10.1023/A：1013882326814
[4] Cuenca Grau，B.，Horrocks，I.，Motik，B.，Parsia，B.，Patel-Schneider，P.F.，Sattler，U.:OWL 2：OWL的下一步。J.Web Semant公司。6(4), 309-322 (2008) ·doi:10.1016/j.websem.2008.05.001
[5] Cuenca Grau，B.，Motik，B.，Stoilos，G.，Horrocks，I.：计算超越horn本体的数据日志重写。收录：Rossi，F.（编辑）Proc。第23届国际人工智能联合会议（IJCAI 2013），第832-838页。中国北京（2013）
[6] Gardiner，T.，Horrocks，I.，Tsarkov，D.：描述逻辑推理机的自动基准测试。In：程序。2006年描述逻辑国际研讨会（DL 2006），CEUR研讨会论文集，第189卷（2006）·Zbl 1192.68664号
[7] 格利姆，B。；霍洛克斯，I。；莫蒂克，B。；Giesl，J.（编辑）；Hähnle，R.（编辑），通过核心块优化描述逻辑推理。，457-471（2010），爱丁堡·Zbl 1291.68344号
[8] Glimm，B.，Horrocks，I.，Motik，B.，Shearer，R.，Stoilos，G.：本体分类的新方法。J.Web Semant公司。14, 84-101 (2012) ·doi:10.1016/j.websem.2011.12.007
[9] Glimm，B.，Krötzsch，M.：子图匹配之外的SPARQL。In：程序。第九届国际语义网络会议（ISWC 2010），《计算机科学讲义》，第6414卷，第241-256页。施普林格（2010）
[10] Glimm，B.，Ogbuji，C.：SPARQL 1.1遏制机制。W3C建议（2013）。可在http://www.w3.org/TR/sparql11-entailment网站/
[11] Harris，S.，Seaborne，A.：SPARQL 1.1查询语言。W3C推荐标准（2013）。可在http://www.w3.org/TR/sparql11-query网站/
[12] Hitzler，P.，Krötzsch，M.，Rudolph，S.：语义网络技术的基础。查普曼和霍尔/CRC（2009）·Zbl 1132.68742号
[13] Horridge，M.，Bechhofer，S.：OWL API：一种用于OWL本体的java API。塞芒。Web J.2（1），11-21（2011）
[14] Horrocks，I.，Patel-Schneider，P.F.：减少OWL蕴涵到描述逻辑可满足性。J.Web Semant公司。1（4），345-357（2004）·doi:10.1016/j.websem.2004.06.003
[15] Horrocks，I.、Patel-Schneider，P.F.、Boley，H.、Tabet，S.、Grosof，B.、Dean，M.：SWRL：一种结合了OWL和RuleML的语义web规则语言。W3C成员提交（2004）。可在http://www.w3.org/提交/SWRL/
[16] Horrocks，I.，Sattler，U.：决定𝓢ℋ𝓘𝓠 具有复杂的角色包含公理。Artif公司。智力。160(1-2), 79-104 (2004) ·Zbl 1086.68129号 ·doi:10.1016/j.artint.2004.06.002
[17] Horrocks，I.，Sattler，U.：关于𝓢ℋ𝓞𝓘𝓠. J.汽车。原因。39(3), 249-276 (2007) ·Zbl 1132.68734号 ·doi:10.1007/s10817-007-9079-9
[18] Hudek，A.K.，Weddell，G.E.：描述逻辑基于表的推理中的二进制吸收。收录：Parsia，B.，Sattler，U.，Toman，D.（编辑）Proc。2006年描述逻辑国际研讨会（DL 2006），CEUR研讨会论文集，第189卷。英国温德米尔（2006）·Zbl 1086.68129号
[19] Hustadt，U.，Motik，B.，Sattler，U.：非常有表现力的描述逻辑中推理的数据复杂性。收录人：Kaelbling，L.P.，Saffiotti，A.（编辑）Proc。第19届国际人工智能联合会议（IJCAI 2005），第466-471页。摩根·考夫曼出版社，英国爱丁堡（2005）·Zbl 1277.68257号
[20] Kazakov，Y.，Krötzsch，M.，Simaník，F.：不可思议的ELK：从多项式过程到使用EL本体进行有效推理。J.汽车。原因。1-61 (2013) ·Zbl 1331.68216号
[21] Kollia，I.，Glim，B.：在OWL本体论上优化SPARQL查询应答。《人工智能研究杂志》48，253-303（2013）·Zbl 1277.68257号
[22] Krötzsch，M.，Simaník，F.，Horrocks，I.：《描述逻辑入门》。计算研究数据库（CoRR）abs/1201.4089（2012）·Zbl 1358.68276号
[23] 库茨，O.，霍洛克斯，I.，萨特勒，U.：更令人无法抗拒的𝓢𝓡𝓞𝓘𝓠. 收录人：Doherty，P.，Mylopoulos，J.，Welty，C.A.（编辑）Proc。第十届知识表示与推理原则国际会议（KR 2006），第68-78页。英国湖区AAAI出版社（2006）·Zbl 1291.68344号
[24] Motik，B.，Cuenca Grau，B.，Horrocks，I.，Sattler，U.：使用描述逻辑、描述图和规则表示本体。Artif公司。智力。J.173（14），1275-1309（2009）·Zbl 1180.68262号 ·doi:10.1016/j.artint.2009.06.003
[25] Motik，B.，Horrocks，I.：描述逻辑推理中的个体重用。In：岩石。国际自动推理联合会议（IJCAR 2008），《计算机科学讲义》，第5195卷，第242-258页。施普林格（2008）·Zbl 1165.68505号
[26] Motik，B.，Horrocks，I.：OWL数据类型：设计和实现。In：程序。第七届国际语义网络会议（ISWC 2008），《计算机科学讲义》，第5318卷，第307-322页。施普林格（2008）·Zbl 0991.03012号
[27] Motik，B.，Patel-Schneider，P.F.，Cuenca Grau，B.：OWL 2 Web本体语言直接语义，第二版。W3C建议（2012）。可在http://www.w3.org/TR/owl2-direct-semantics网站/
[28] Motik，B.，Patel-Schneider，P.F.，Parsia，B.（编辑）：OWL2网络本体语言结构规范和功能风格语法，第二版。W3C建议（2012）。可在http://www.w3.org/TR/owl2-语法/ ·Zbl 1180.68262号
[29] Motik，B.，Sattler，U.，Studer，R.：使用规则查询OWL-DL。J.Web Semant公司。3(1), 41-60 (2005) ·doi:10.1016/j.websem.2005.05.001
[30] Motik，B.，Shearer，R.，Horrocks，I.：描述逻辑的Hypertableau推理。J.阿蒂夫。智力。第36、165-228号决议（2009年）·Zbl 1192.68664号
[31] Nonnengart，A.，Weidenbach，C.：计算小句范式。摘自：Robinson，J.A.、Voronkov，A.（编辑）《自动推理手册》，第1卷，第6章，第335-367页。爱思唯尔和麻省理工学院出版社（2001）·兹伯利0992.03018
[32] Plaisted，D.A.，Greenbaum，S.：结构保护从句形式翻译。J.塞姆。计算。2（3），293-304（1986）·Zbl 0636.68119号 ·doi:10.1016/S0747-7171（86）80028-1
[33] Prud’hommeaux，E.，Seaborne，A.：RDF的SPARQL查询语言。W3C推荐标准（2008）。可在http://www.w3.org/TR/rdf-sparql-query/
[34] Rector，A.、Gangemi，A.，Galeazi，E.、Glowinski，A.J.、Mori，A.R.：解剖的GALEN CORE模型模式：走向可重用的独立于应用程序的医学概念模型。In：程序。第12届欧洲医学信息学联合会国际大会（MIE 1994），第229-233页（1994）
[35] Simaník，F.，Kazakov，Y.，Horrocks，I.：超越角本体论的基于结果的推理。收录：T.Walsh（编辑）Proc。第22届国际人工智能联合会议（IJCAI 2011），第1093-1098页。西班牙巴塞罗那（2011）
[36] Sirin，E.，Parsia，B.，Cuenca Grau，B.，Kalyanpur，A.，Katz，Y.：Pellet：一个实用的OWL-DL推理器。J.Web Semant公司。5(2), 51-53 (2007) ·doi:10.1016/j.websem.2007.03.004
[37] Song，W.，Spencer，B.，Du，W.：WSReasoner：使用弱化和强化方法进行ALCHOI本体分类的原型混合推理机。摘自：Horrocks，I.，Yatskevich，M.，Jiménez-Ruiz，E.（编辑）Proc。第一届OWL推理评估国际研讨会（ORE 2012），《CEUR研讨会论文集》，第858卷。英国曼彻斯特（2012）
[38] Tsarkov，D.，Horrocks，I.：具有范围和域约束的高效推理。摘自：Haarslev，V.，Möller，R.（编辑）Proc。2004年描述逻辑国际研讨会（DL 2004），CEUR研讨会论文集，第104卷（2004）
[39] Tsarkov，D.，Horrocks，I.：FaCT++描述逻辑推理器：系统描述。摘自：《第六届国际自动推理联合会议论文集》（IJCAR 2006），《人工智能讲义》，第4130卷，第292-297页。施普林格（2006）
[40] Tsarkov，D.，Horrocks，I.，Patel-Schneider，P.F.：优化表达描述逻辑的术语推理。J.汽车。原因。39(3), 277-316 (2007) ·兹比尔1132.68742 ·doi:10.1007/s10817-007-9077-y
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。