吼叫 发表于 2025-3-23 12:18:38

http://reply.papertrans.cn/103/10216/1021592/1021592_11.png

Iatrogenic 发表于 2025-3-23 14:52:36

http://reply.papertrans.cn/103/10216/1021592/1021592_12.png

中古 发表于 2025-3-23 21:42:00

Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules and reasoning about conceptual knowledge, rules are focused on answering queries about facts in the knowledge base. So far, research on DLs has been largely isolated from the research on rules. With the advent of the Semantic Web, however, it became apparent that neither formalism alone can cover a

巩固 发表于 2025-3-24 00:38:15

http://reply.papertrans.cn/103/10216/1021592/1021592_14.png

Arteriography 发表于 2025-3-24 04:24:54

http://reply.papertrans.cn/103/10216/1021592/1021592_15.png

抛媚眼 发表于 2025-3-24 06:58:04

http://reply.papertrans.cn/103/10216/1021592/1021592_16.png

浪费物质 发表于 2025-3-24 12:13:54

http://reply.papertrans.cn/103/10216/1021592/1021592_17.png

parsimony 发表于 2025-3-24 16:34:25

Simulation Subsumption or Déjà vu on the Webt, that is, query subsumption under simulation unification. Simulation subsumption is crucial in general for query optimization, in particular for optimizing pattern-based search engines, and for the termination of recursive rule-based web languages such as the XML and RDF query language Xcerpt. Thi

Esophagitis 发表于 2025-3-24 20:58:57

http://reply.papertrans.cn/103/10216/1021592/1021592_19.png

Triglyceride 发表于 2025-3-25 03:10:29

Reasoning with a Network of Aligned Ontologiesp integrating, mediating or reasoning with a system of networked ontologies. Though different formalisms have already been defined to reason with such systems, they do not consider ontology alignments as first class objects designed by third party ontology matching systems. Correspondences between o
页: 1 [2] 3 4 5 6 7 8
查看完整版本: Titlebook: Web Reasoning and Rule Systems; Second International Diego Calvanese,Georg Lausen Conference proceedings 2008 Springer-Verlag Berlin Heidel