发布求助
文献互助 智能选刊 最新文献

International Conference on Web Reasoning and Rule Systems最新文献

筛选
英文 中文
Answer Set Programming: Language, Applications and Development Tools 编程:语言、应用和开发工具
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_3
G. Grasso, N. Leone, F. Ricca
{"title":"Answer Set Programming: Language, Applications and Development Tools","authors":"G. Grasso, N. Leone, F. Ricca","doi":"10.1007/978-3-642-39666-3_3","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_3","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128814401","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
An Integrated Environment for Reasoning over Ontologies via Logic Programming 基于逻辑编程的本体推理集成环境
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_24
Barbara Nardi, Kristian Reale, F. Ricca, G. Terracina
{"title":"An Integrated Environment for Reasoning over Ontologies via Logic Programming","authors":"Barbara Nardi, Kristian Reale, F. Ricca, G. Terracina","doi":"10.1007/978-3-642-39666-3_24","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_24","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126818124","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Rule Revision in Normal DL Logic Programs 普通DL逻辑程序中的规则修正
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_16
Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang
{"title":"Rule Revision in Normal DL Logic Programs","authors":"Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang","doi":"10.1007/978-3-642-39666-3_16","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_16","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"139 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121328405","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs 消除描述逻辑程序中的非单调dl原子
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_13
Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
{"title":"Eliminating Nonmonotonic DL-Atoms in Description Logic Programs","authors":"Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen","doi":"10.1007/978-3-642-39666-3_13","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_13","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115306502","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Conjunctive Queries with Negation over DL-Lite: A Closer Look DL-Lite上带否定的连接查询
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_9
Víctor Gutiérrez-Basulto, Y. Ibáñez-García, R. Kontchakov, Egor V. Kostylev
{"title":"Conjunctive Queries with Negation over DL-Lite: A Closer Look","authors":"Víctor Gutiérrez-Basulto, Y. Ibáñez-García, R. Kontchakov, Egor V. Kostylev","doi":"10.1007/978-3-642-39666-3_9","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_9","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114522234","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
On the Exploration of the Query Rewriting Space with Existential Rules 基于存在规则的查询重写空间探索
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_10
M. König, M. Leclère, M. Mugnier, M. Thomazo
{"title":"On the Exploration of the Query Rewriting Space with Existential Rules","authors":"M. König, M. Leclère, M. Mugnier, M. Thomazo","doi":"10.1007/978-3-642-39666-3_10","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_10","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"108 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132722993","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Semantic Pervasive Advertising 语义普及广告
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_18
L. Carrara, G. Orsi, L. Tanca
{"title":"Semantic Pervasive Advertising","authors":"L. Carrara, G. Orsi, L. Tanca","doi":"10.1007/978-3-642-39666-3_18","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_18","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134284410","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Semantics for Mapping Relations in SKOS SKOS中映射关系的语义
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_19
Mika Cohen
{"title":"Semantics for Mapping Relations in SKOS","authors":"Mika Cohen","doi":"10.1007/978-3-642-39666-3_19","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_19","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121828193","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web 流规则:语义网的非单调流推理系统
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_23
A. Mileo, Ahmed Abdelrahman, Sean Policarpio, M. Hauswirth
{"title":"StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web","authors":"A. Mileo, Ahmed Abdelrahman, Sean Policarpio, M. Hauswirth","doi":"10.1007/978-3-642-39666-3_23","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_23","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126349269","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 52
PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile Search PQMPMS:一种支持偏好的个性化移动搜索查询机制
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_21
Beibei Hu, Yves Vanrompay, Marie-Aude Aufaure
{"title":"PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile Search","authors":"Beibei Hu, Yves Vanrompay, Marie-Aude Aufaure","doi":"10.1007/978-3-642-39666-3_21","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_21","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126217584","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信