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

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

筛选
英文 中文
An Ontology-Based Reasoning Approach for Electric Power Utilities 一种基于本体的电力系统推理方法
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_8
M. Gaha, Arnaud Zinflou, C. Langheit, Alexandre Bouffard, Mathieu Viau, Luc Vouligny
{"title":"An Ontology-Based Reasoning Approach for Electric Power Utilities","authors":"M. Gaha, Arnaud Zinflou, C. Langheit, Alexandre Bouffard, Mathieu Viau, Luc Vouligny","doi":"10.1007/978-3-642-39666-3_8","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_8","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"1 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":"129804194","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}
引用次数: 10
Kiabora: An Analyzer of Existential Rule Bases Kiabora:存在规则基础的分析器
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_22
M. Leclère, M. Mugnier, Swan Rocher
{"title":"Kiabora: An Analyzer of Existential Rule Bases","authors":"M. Leclère, M. Mugnier, Swan Rocher","doi":"10.1007/978-3-642-39666-3_22","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_22","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"32 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":"123805955","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}
引用次数: 10
Computing Incoherence Explanations for Learned Ontologies 学习本体的计算不相干解释
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_7
Daniel Fleischhacker, Christian Meilicke, Johanna Völker, Mathias Niepert
{"title":"Computing Incoherence Explanations for Learned Ontologies","authors":"Daniel Fleischhacker, Christian Meilicke, Johanna Völker, Mathias Niepert","doi":"10.1007/978-3-642-39666-3_7","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_7","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"93 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":"128582755","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}
引用次数: 10
Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal 由于本体变化而导致的规则不一致的检测:让我们变得正式
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_15
B. B. Silva, A. Chniti
{"title":"Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal","authors":"B. B. Silva, A. Chniti","doi":"10.1007/978-3-642-39666-3_15","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_15","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"22 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":"116125849","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}
引用次数: 0
Parameter Learning for Probabilistic Ontologies 概率本体的参数学习
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_26
Fabrizio Riguzzi, Elena Bellodi, E. Lamma, Riccardo Zese
{"title":"Parameter Learning for Probabilistic Ontologies","authors":"Fabrizio Riguzzi, Elena Bellodi, E. Lamma, Riccardo Zese","doi":"10.1007/978-3-642-39666-3_26","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_26","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"90 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":"126252980","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}
引用次数: 16
HornDL: An Expressive Horn Description Logic with PTime Data Complexity 具有PTime数据复杂度的表达性角描述逻辑
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_25
Linh Anh Nguyen, Thi-Bich-Loc Nguyen, A. Szałas
{"title":"HornDL: An Expressive Horn Description Logic with PTime Data Complexity","authors":"Linh Anh Nguyen, Thi-Bich-Loc Nguyen, A. Szałas","doi":"10.1007/978-3-642-39666-3_25","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_25","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"27 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":"132611592","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}
引用次数: 10
From OWL to DL - Lite through Efficient Ontology Approximation 从OWL到DL - Lite的高效本体逼近
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_20
Marco Console, Valerio Santarelli, Domenico Fabio Savo
{"title":"From OWL to DL - Lite through Efficient Ontology Approximation","authors":"Marco Console, Valerio Santarelli, Domenico Fabio Savo","doi":"10.1007/978-3-642-39666-3_20","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_20","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"354 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":"132450183","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
Reasoning About Pattern-Based XML Queries 基于模式的XML查询的推理
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_2
Amélie Gheerbrant, L. Libkin, C. Sirangelo
{"title":"Reasoning About Pattern-Based XML Queries","authors":"Amélie Gheerbrant, L. Libkin, C. Sirangelo","doi":"10.1007/978-3-642-39666-3_2","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_2","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"46 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":"129916991","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}
引用次数: 118
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas 一种基于名义模式扩展的描述逻辑的高效推理算法
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_6
David Carral, Cong Wang, P. Hitzler
{"title":"Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas","authors":"David Carral, Cong Wang, P. Hitzler","doi":"10.1007/978-3-642-39666-3_6","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_6","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"69 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":"125122477","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}
引用次数: 12
Inconsistency Management for Description Logic Programs and Beyond 描述逻辑程序及以后的不一致管理
International Conference on Web Reasoning and Rule Systems Pub Date : 2013-07-27 DOI: 10.1007/978-3-642-39666-3_1
Thomas Eiter, Michael Fink, D. Stepanova
{"title":"Inconsistency Management for Description Logic Programs and Beyond","authors":"Thomas Eiter, Michael Fink, D. Stepanova","doi":"10.1007/978-3-642-39666-3_1","DOIUrl":"https://doi.org/10.1007/978-3-642-39666-3_1","url":null,"abstract":"","PeriodicalId":191008,"journal":{"name":"International Conference on Web Reasoning and Rule Systems","volume":"19 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":"127806939","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学术官方微信