책 이미지

책 정보
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783540887362
· 쪽수 : 241쪽
· 출판일 : 2008-10-14
목차
Invited Papers.- Rule Interchange Format: The Framework.- Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules.- Full Papers.- On Combining Description Logic Ontologies and Nonrecursive Datalog Rules.- Simulation Subsumption or Deja vu on the Web.- Reasoning with a Network of Aligned Ontologies.- Lexicographical Inference over Inconsistent DL-Based Ontologies.- A Survey of Revision Approaches in Description Logics.- Towards Rule-Based Minimization of RDF Graphs under Constraints.- Ontology Design and Reuse with Conceptual Roles.- Enhancing a DLP System for Advanced Database Applications.- A Semantic Web Reasoner for Rules, Equations and Constraints.- What Is Approximate Reasoning?.- Approximate OWL-Reasoning with Screech.- Ranking Services Using Fuzzy HEX Programs.- Short Papers.- Markup and Component Interoperability for Active Rules.- On Reducing Redundancy in Mining Relational Association Rules from the Semantic Web.- A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts.- Paraconsistent Reasoning with Quasi-classical Semantic in .- Posters.- Fluent Calculus Based Web Service Composition.- Vague-SWRL: A Fuzzy Extension of SWRL.- Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing.- Taming Existence in RDF Querying.- A Tableau Algorithm for Possibilistic Description Logic .