onychomycosis
发表于 2025-3-21 18:36:11
书目名称Web Reasoning and Rule Systems影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK1021592<br><br> <br><br>书目名称Web Reasoning and Rule Systems影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK1021592<br><br> <br><br>书目名称Web Reasoning and Rule Systems网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK1021592<br><br> <br><br>书目名称Web Reasoning and Rule Systems网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK1021592<br><br> <br><br>书目名称Web Reasoning and Rule Systems被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK1021592<br><br> <br><br>书目名称Web Reasoning and Rule Systems被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK1021592<br><br> <br><br>书目名称Web Reasoning and Rule Systems年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK1021592<br><br> <br><br>书目名称Web Reasoning and Rule Systems年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK1021592<br><br> <br><br>书目名称Web Reasoning and Rule Systems读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK1021592<br><br> <br><br>书目名称Web Reasoning and Rule Systems读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK1021592<br><br> <br><br>
ZEST
发表于 2025-3-21 21:14:47
Simulation Subsumption or Déjà vu on the Web featuring descendant constructs, regular expressions, negative subterms (or subterm exclusions), and multiple variable occurrences. Finally, we show that subsumption between two query terms can be decided in . where . is the sum of the sizes of both query terms.
kyphoplasty
发表于 2025-3-22 02:54:22
Towards Rule-Based Minimization of RDF Graphs under Constraints of constraints to ensure data consistency, i.e. if an RDF graph satisfies some constraints before minimization, these constraints must be also satisfied afterwards. The problem is decidable but already for a restricted case intractable. In addition we give a fragment of the minimization problem which can be solved in polynomial time.
conception
发表于 2025-3-22 05:16:37
http://reply.papertrans.cn/103/10216/1021592/1021592_4.png
TOXIC
发表于 2025-3-22 09:49:21
Ontology Design and Reuse with Conceptual Rolesization. We present role-based ontologies as an extension of standard ontologies and define their semantics through a reduction to standard Description Logics, such that existing reasoners can be used.
附录
发表于 2025-3-22 15:35:34
Ontology Design and Reuse with Conceptual Rolesization. We present role-based ontologies as an extension of standard ontologies and define their semantics through a reduction to standard Description Logics, such that existing reasoners can be used.
PACK
发表于 2025-3-22 17:33:15
Approximate OWL-Reasoning with , KAON2 algorithms, facilitating a compilation of OWL DL TBoxes into Datalog, which is tractable in terms of data complexity. We present three different instantiations of the Screech approach, and report on experiments which show that the gain in efficiency outweighs the number of introduced mistakes in the reasoning process.
薄膜
发表于 2025-3-22 23:07:36
http://reply.papertrans.cn/103/10216/1021592/1021592_8.png
加花粗鄙人
发表于 2025-3-23 02:43:47
A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts mentioned language elements of both aspects following the expressiveness of locally stratified datalog. It introduces fixpoint semantics as well as pragmatic extensions for defining transformations between fact bases. A partial implementation is based on stratified, semi-naive evaluation, and static filtering.
五行打油诗
发表于 2025-3-23 07:19:29
http://reply.papertrans.cn/103/10216/1021592/1021592_10.png