Â¥Ö÷

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±à¼­¹ý]    Êղؠ  ·ÖÏí   ¶¥(0)

----------------------------------------------

-----------------------------------------------

µÚÊ®¶þÕµÚÒ»½Ú¡¶ÓÃROR´´½¨ÃæÏò×ÊÔ´µÄ·þÎñ¡·
µÚÊ®¶þÕµڶþ½Ú¡¶ÓÃRestlet´´½¨ÃæÏò×ÊÔ´µÄ·þÎñ¡·
µÚÈýÕ¡¶RESTʽ·þÎñÓÐʲô²»Í¬¡·
InfoQ SOAÊ×ϯ±à¼­ºú¼üÆÀ¡¶RESTful Web ServicesÖÐÎÄ°æ¡·
[InfoQÎÄÕÂ]½â´ðÓйØRESTµÄÊ®µãÒÉ»ó