solidity 发表于 2025-3-21 17:53:53
书目名称Web Reasoning and Rule Systems影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK1021589<br><br> <br><br>书目名称Web Reasoning and Rule Systems影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK1021589<br><br> <br><br>书目名称Web Reasoning and Rule Systems网络公开度<br> http://impactfactor.cn/at/?ISSN=BK1021589<br><br> <br><br>书目名称Web Reasoning and Rule Systems网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK1021589<br><br> <br><br>书目名称Web Reasoning and Rule Systems被引频次<br> http://impactfactor.cn/tc/?ISSN=BK1021589<br><br> <br><br>书目名称Web Reasoning and Rule Systems被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK1021589<br><br> <br><br>书目名称Web Reasoning and Rule Systems年度引用<br> http://impactfactor.cn/ii/?ISSN=BK1021589<br><br> <br><br>书目名称Web Reasoning and Rule Systems年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK1021589<br><br> <br><br>书目名称Web Reasoning and Rule Systems读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK1021589<br><br> <br><br>书目名称Web Reasoning and Rule Systems读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK1021589<br><br> <br><br>prostatitis 发表于 2025-3-21 21:44:36
Distributed Ontology Based Data Access via Logic Programmingprise – have started to build ontological reasoning modules on top of their existing software. Ontological reasoning is also the goal of several research-based systems, such as Quest, Owlgres, Owlim, and QuOnto, just to cite a few.方便 发表于 2025-3-22 03:28:25
http://reply.papertrans.cn/103/10216/1021589/1021589_3.png庄严 发表于 2025-3-22 07:21:45
The Definability Abduction Problem for Data Exchangeight be more than one target databases satisfying a given mapping. That is, the target database is actually an .. represented by a set of possible databases. Therefore, the problem of query answering the target data is inherently complex for general (non-positive) relational or aggregate queries.弯弯曲曲 发表于 2025-3-22 12:15:08
0302-9743sections on technical communications, algorithms, design aspects of rule markup, design of ontology languages, engineering of engines, translators, and other tools, standardization efforts, such as the Rules Interchange Format activity at W3C, and applications.978-3-642-33202-9978-3-642-33203-6Series ISSN 0302-9743 Series E-ISSN 1611-3349贪心 发表于 2025-3-22 15:42:12
http://reply.papertrans.cn/103/10216/1021589/1021589_6.png社团 发表于 2025-3-22 19:38:41
Query Patterns for Existential Rulesable to compute a simplified Datalog+/– program .′ that is equivalent to . with respect to answering queries in .. We show that such an algorithm constitutes both a theoretical and a practical interesting tool for studying query answering over ontologies expressed in terms of Datalog+/– rules.Crepitus 发表于 2025-3-22 22:16:30
A Sound and Complete Backward Chaining Algorithm for Existential Rules to identify subsets of atoms from the query that must be processed together. We first show that our rewriting method computes a minimal set of CQs when this set is finite, i.e., the set of rules is a fus. We then focus on optimizing the rewriting step. First experiments are reported.使害羞 发表于 2025-3-23 01:55:36
A Sound and Complete Backward Chaining Algorithm for Existential Rules to identify subsets of atoms from the query that must be processed together. We first show that our rewriting method computes a minimal set of CQs when this set is finite, i.e., the set of rules is a fus. We then focus on optimizing the rewriting step. First experiments are reported.杀人 发表于 2025-3-23 09:22:35
Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval Scenariose user and, in case, further explored. In all the above mentioned frameworks, the user query may contain only hard (strict) requirements or may represent also her preferences. We will see how to handle both cases while computing the ranked list of most promising resources.