以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  DL 2006 论文集下载 （感谢 flyingFang 友情提供）  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=88988)

--  作者：admin
--  发布时间：1/3/2011 1:01:00 PM

--  DL 2006 论文集下载 （感谢 flyingFang 友情提供）

A Description Logic of Change (171 KB)
A Tableaux-based Mobile DL Reasoner (51 KB)
Automated Benchmarking of Description Logic Reasoners (142 KB)
Beyond Asserted Axioms - Fine-Grain Justifications for OWL-DL Entailments (85 KB)
Binary Absorption in Tableaux-Based Reasoning for Description Logics (124 KB)
Computing Maximally Satisfiable Terminologies for the Description Logic ALC with GCIs (80 KB)
Conjunctive Query Answering for Description Logics with Transitive Roles(1) (183 KB)
Conjunctive Query Answering for Description Logics with Transitive Roles (2,612 KB)
Cost-efficient web service composition for processes with distributed retrieval queries - Position paper (60 KB)
Creating Maps of Concepts for DL Ontologies (730 KB)
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ (183 KB)
Description Logic Reasoning for Dynamic ABoxes (269 KB)
Description logic reasoning using the PTTP approach (131 KB)
Discrete Tableau Algorithms for FSHI (171 KB)
DL Actions with GCIs - a Pragmatic Approach (109 KB)
Efficient Reasoning in EL+ (125 KB)
Epistemic First-Order Queries over Description Logic Knowledge Bases (174 KB)
Euclidian Roles in Description Logics (75 KB)
Experiences with Load Balancing and Caching for Semantic Web Applications (56 KB)
Extending the SHOIQ(D) Tableaux with DL-safe Rules - First Results (121 KB)
Finding Subsumers for Natural Language Presentation (98 KB)
Handling Imprecise Knowledge with Fuzzy Description Logic (145 KB)
High Performance Absorption Algorithms for Terminological Reasoning (164 KB)
How sensor data interpretation could benefit from description logics - Position paper (75 KB)
Model checking the basic modalities of CTL with Description Logic (112 KB)
On the Scalability of Description Logic Instance Retrieval (140 KB)
On the Semantics of Linking and Importing in Modular Ontologies (152 KB)
Optimizations for Answering Conjunctive ABox Queries - First Results (71 KB)
Pellet System Description (12 KB)
PSpace Automata for Description Logics (118 KB)
Reasoning for A Fuzzy Description Logic with Comparison Expressions (147 KB)
SHIN ABox Reduction (97 KB)
Static Knowledge Representation of Multi-Agent System's Specification by Description Logics (61 KB)
Tableau Caching for Description Logics with Inverse and Transitive Roles (111 KB)
The New ICom (156 KB)
Topological Reasoning in Basic Description Logics (60 KB)
Towards Mobile Reasoning (76 KB)
Will My Ontologies Fit Together (128 KB)

[此贴子已经被作者于2011-1-3 22:25:44编辑过]
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 46.875ms