×
安德烈亚斯·埃克;拉斐尔·佩尼亚洛萨;安妮·亚斯敏（Anni-Yasmin Turhan）

基于相似性的轻松实例查询。 （英语） Zbl 1386.68165号

J.应用。日志。 13，第4号，第1部分，480-508（2015）.
概要：在描述逻辑（DL）知识库（KB）中，信息通常由清晰的概念捕获。对于许多实际应用程序来说，通过清晰的概念查询知识库过于严格；用户可能愿意在查询中损失一些精度，以换取更多的答案选择。相似性度量可以提供一种可控的方法，在用户特定的限制内逐步放松查询概念。本文使用通过概念相似性度量（CSM）放松的概念形式化了DL知识库的实例查询应答任务。我们研究了DL（mathcal{EL}）中用于此任务的计算算法，它们的复杂性以及所使用的CSM关于是否使用可展开或通用TBox的属性。对于一般TBox的情况，我们定义了一个CSM家族，在评估概念的相似性时，将完整的TBox信息考虑在内。

引用于3文件

MSC公司：

68立方英尺 知识表示
第68页第27页 人工智能中的逻辑
68层37 人工智能背景下的不确定性推理

关键词：

描述逻辑;实例查询;概念相似性度量

软件：

ELK公司;赛车手;赛车手
PDF格式BibTeX公司 XML格式引用
\textit{A.Ecke}等人，J.Appl。日志。13，第4号，第1部分，480-508（2015年；Zbl 1386.68165）
全文： 内政部

参考文献：

[1] Baader，F.，《具有存在限制和术语循环的描述逻辑中最不常见的子消费者和最具体的概念》，（Gottlob，G.；Walsh，T.，《第18届国际人工智能联合会议议事录》，第18届国际人工智能联合会议事录，IJCAI-03（2003），Morgan Kaufmann），325-330
[2] Baader，F.，《描述逻辑》（Proceedings of Reasoning Web:Semantic Technologies for Information Systems），（推理网络程序：信息系统语义技术，LNCS，vol.5689（2009）），1-39·Zbl 1254.68245号
[3] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.，《描述逻辑手册：理论、实现和应用》（2003），剑桥大学出版社）·Zbl 1058.68107号
[4] 巴德，F。；Brandt，S。；Lutz，C.，《推开（EL）包络线》，（第19届国际人工智能联合会议议事录，第19届人工智能联合会议事录，IJCAI-05（2005），Morgan-Kaufmann出版社：英国爱丁堡Morgan-Kufmann出版商）
[5] Banach，S.，《综合抽象与应用辅助方程》，Fundam。数学。，3, 1, 133-181 (1922)
[6] Borgida，A。；沃尔什，T。；Hirsh，H.，《面向测量描述逻辑中的相似性》，（2005年描述逻辑研讨会论文集。2005年描述逻辑学研讨会论文集，DL 2005。程序。2005年描述逻辑研讨会。程序。2005年描述逻辑研讨会，DL 2005，CEUR研讨会论文集，第147卷（2005））
[7] 博格沃德，S。；Peñaloza，R.，《模糊描述逻辑的不确定性》，（Brewka，G.；Eiter，T.；McIlraith，S.A.，《第十二届国际知识表示与推理原理大会议事录》，KR-12（2012），AAAI出版社，232-242
[8] 博格沃德，S。；Distel，F。；Peñaloza，R.，我的模糊描述逻辑有多模糊？，（Gramlich，B.；Miller，D.；Sattler，U.，第六届国际自动推理联合会议的议事程序。第六届自动推理联合会的议事程序，IJCAR-12。程序。第六届国际自动推理联合会议。程序。第六届国际自动推理联合会议，IJCAR-12，LNAI，第7364卷（2012），Springer-Verlag），82-96·Zbl 1358.68274号
[9] 塞拉米，M。；美国斯特拉契亚，《关于Lukasiewicz t-范数下模糊描述逻辑的（不）可判定性》，《信息科学》。，227, 1-21 (2013) ·Zbl 1293.68255号
[10] 联合会，T.G.O.，《基因本体论：生物学统一的工具》，《自然遗传学》。，25, 25-29 (2000)
[11] 达阿马托，C。；Fanizzi，N。；Esposito，F.，表达描述逻辑的语义相似性度量，（Convegno Italiano di Logica Computazionale会议记录。Convegno Italiano di Logica Computazionale会议记录，CILC05（2005））
[12] 达阿马托，C。；斯塔布，S。；Fanizzi，N.，《关于描述逻辑本体论对概念相似性的影响》，（Gangemi，A.；Euzenat，J.，《知识工程学报：实践与模式》，第16届国际会议。《知识工程学报：实践与模式》，第16届国际会议。《知识工程期刊：实践与模型》，第十六届国际会议，EKAW 2008，LNCS，第5268卷（2008），Springer），48-63
[13] Ecke，A.，\（EL^｛++｝\）中基于相似性的松弛实例查询，（Lukasiewicz，T.；Peñaloza，R。；Turhan，A.-Y.，《关于偏好、不确定性和模糊性推理的逻辑第一次研讨会论文集》。《关于偏好、不确定性和模糊性推理的逻辑第一次研讨会论文集》，CEUR-WS，第1205卷（2014年），CEUR），101-113
[14] 埃克，A。；佩尼亚洛萨，R。；Turhan，A.-Y.，《面向通过相似性度量放松的概念的实例查询应答》，（Godo，L.；Prade，H.；Qi，G.，《人工智能加权逻辑研讨会》，（与IJCAI'13联合），中国北京（2013）
[15] 埃克，A。；佩尼亚洛萨，R。；Turhan，A.-Y.，《描述逻辑中计算角色深度有界泛化（ELOR）》，（Timm，I.J.；Thimm，M.，《第36届德国人工智能会议论文集》，第36届德语人工智能会议文献集，KI 2013。第36届德国人工智能会议记录。第36届德国人工智能会议记录，KI 2013，LNCS，第8077卷（2013），施普林格：施普林格-科布伦茨，德国），49-60，扩展版：
[16] 埃克，A。；佩尼亚洛萨，R。；Turhan，A.-Y.，《通过概念相似性放松实例查询的回答》，（《第十四届知识表示和推理原则国际会议论文集》，KR’14（2014），AAAI出版社：维也纳AAAI出版公司，奥地利）
[17] 尤泽纳特，J。；Valtchev，P.，OWL-lite中基于相似性的本体对齐，（第16届欧洲人工智能会议论文集。第16届欧盟人工智能会议文献集，ECAI-04（2004），IOS出版社），333-337
[18] 哈尔斯列夫，V。；希德，K。；Möller，R。；Wessel，M.，RacerPro知识表示和推理系统，J.Web Semant。，3, 3, 267-277 (2012)
[19] 哈萨克夫，Y。；Krötzsch，M。；Simaník，F.，《ELK推理机：架构和评估》，（OWL推理机评估研讨会论文集。OWL理性机评估研讨会文献集，ORE’12。OWL推理评估研讨会会议记录。OWL Reasoner评估研讨会论文集，ORE’12，《CEUR研讨会论文集》，第858卷（2012年），CEUR-WS.org
[20] 莱曼，K。；Turhan，A.-Y.，《基于语义的ELH概念相似性度量框架》，（del Cerro，L.F.；Herzig，A.；Mengin，J.，《第13届欧洲A.I.逻辑大会论文集》，《第十三届欧洲A.L.逻辑大会文献集》，JELIA 2012。程序。A.I.Proc.第13届欧洲逻辑大会。第13届A.I.欧洲逻辑大会，JELIA 2012，LNAI（2012），Springer），307-319·Zbl 1361.68237号
[21] Lord，P.W。；史蒂文斯，R.D。；Brass，A。；Goble，C.A.，《跨基因本体研究语义相似性度量：序列和注释之间的关系》，生物信息学，19，10，1275-1283（2003）
[22] 卢茨，C。；Wolter，F.，《确定描述逻辑中的不可分割性和保守扩展》，J.Symb。计算。，45, 2, 194-228 (2010) ·Zbl 1187.68572号
[23] 卢茨，C。；Wolter，F。；Zakharyaschev，M.，《关于概念和相似性的推理》，（2003年描述逻辑国际研讨会论文集，2003年描述逻辑学国际研讨会论文集中，DL2003（2003），CEUR-WS）·Zbl 1274.68411号
[24] 门德斯，J。；埃克，A。；Turhan，A.-Y.，《为（EL）族实现基于完成的推理》，（Rosati，R.；Rudolph，S.；Zakharyaschev，M.，《第24届描述逻辑国际研讨会论文集》，DL 2011。第24届描述逻辑国际研讨会论文集。《第24届描述逻辑国际研讨会论文集》，DL 2011，CEUR研讨会论文集，第745卷（2011）），CEUR-WS.org
[25] 莫提克，B。；采煤机，R。；Horrocks，I.，描述逻辑的Hypertableau推理，J.Artif。智力。第36165-228号决议（2009年）·Zbl 1192.68664号
[26] 莫蒂克，B。；格劳（Grau，B.C.）。；霍洛克斯，I。；吴，Z。；Fokoue，A。；Lutz，C.，OWL 2网络本体语言概要，W3C建议书（2009年10月27日）
[27] 潘，J.Z。；Stamou，G.B。；Stoilos，G。；泰勒，S。；Thomas，E.，《模糊本体论上的可伸缩查询服务》，（第17届万维网国际会议论文集，第17届全球互联网国际会议论文集中，WWW’08（2008），ACM），575-584
[28] 佩尼亚洛萨，R。；Turhan，A.-Y.，《（EL）中计算泛化推理的实用方法》，（Grobelnik，M.；Simperl，E.，《第八届欧洲语义网络会议论文集》，第八届欧盟语义网络会议，ESWC’11。第八届欧洲语义网络会议论文集。第八届欧洲语义网络会议论文集，ESWC'11，LNCS（2011），Springer）
[29] 佩尼亚洛萨，R。；托斯特，V。；Turhan，A.-Y.，粗略的连接查询应答（EL（2014）），LTCS-Report 14-04，德国德累斯顿理工大学理论计算机科学研究所自动化理论主席
[32] Straccia，U.，《面向描述逻辑中的top-k查询应答：dl-lite案例》，（第十届欧洲A.I.逻辑大会议事录，第十届欧盟A.I.逻辑学大会议事录），JELIA 2006。程序。第十届欧洲A.I.Proc.逻辑大会。第十届欧洲A.I.逻辑大会，JELIA 2006，LNCS，第4160卷（2006），Springer），439-451·Zbl 1152.68618号
[33] 斯特拉契亚，U.，《回答模糊数据表中的模糊查询》，（第11届国际知识系统信息处理和不确定性管理大会议事录，第11届信息处理和知识系统不确定性管理国际会议议事录，IPMU-06（2006）），2238-2245
[34] Suntisrivaraporn，B.，描述逻辑（EL）与可展开术语的相似性度量，（第五届智能网络与协作系统国际会议，第五届国际智能网络与协同系统会议，INCoS（2013）），408-413
[35] 扎里，B。；Turhan，A.-Y.，《最具体的概括w.r.t.General（EL）-TBoxes》，（Rossi，F.，《第23届国际人工智能联合会议论文集》，第23届人工智能国际联合会议论文，IJCAI’13（2013））
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。