Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / [electronic resource] :
edited by José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel.
- 1st ed. 2006.
- XII, 280 p. online resource.
- Information Systems and Applications, incl. Internet/Web, and HCI, 4187 2946-1642 ; .
- Information Systems and Applications, incl. Internet/Web, and HCI, 4187 .
Session 1. Invited Talk -- The RuleML Family of Web Rule Languages -- Session 2. Reasoning I -- Automated Reasoning Support for First-Order Ontologies -- Combining Safe Rules and Ontologies by Interfacing of Reasoners -- Session 3. Applications -- Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits -- Interaction Protocols and Capabilities: A Preliminary Report -- Semantic Web Reasoning for Analyzing Gene Expression Profiles -- Session 4. Querying -- Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt -- AMa ? oS-Abstract Machine for Xcerpt: Architecture and Principles -- Towards More Precise Typing Rules for Xcerpt -- Session 5. Reasoning II -- Extending an OWL Web Node with Reactive Behavior -- Supporting Open and Closed World Reasoning on the Web -- Reasoning with Temporal Constraints in RDF -- Session 6. Reasoning III -- Bidirectional Mapping Between OWL DL and Attempto Controlled English -- XML Querying Using Ontological Information -- Semantic Web Reasoning Using a Blackboard System -- Systems Session -- Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt -- Web Queries with Style: Rendering Xcerpt Programs with CSSNG -- Information Gathering in a Dynamic World -- Practice of Inductive Reasoning on the Semantic Web: A System for Semantic Web Mining -- Fuzzy Time Intervals System Description of the FuTI-Library -- A Prototype of a Descriptive Type System for Xcerpt.
9783540395874
10.1007/11853107 doi
Application software.
Information storage and retrieval systems.
Artificial intelligence.
Machine theory.
Software engineering.
Computer and Information Systems Applications.
Information Storage and Retrieval.
Artificial Intelligence.
Formal Languages and Automata Theory.
Software Engineering.
QA76.76.A65
005.3
Session 1. Invited Talk -- The RuleML Family of Web Rule Languages -- Session 2. Reasoning I -- Automated Reasoning Support for First-Order Ontologies -- Combining Safe Rules and Ontologies by Interfacing of Reasoners -- Session 3. Applications -- Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits -- Interaction Protocols and Capabilities: A Preliminary Report -- Semantic Web Reasoning for Analyzing Gene Expression Profiles -- Session 4. Querying -- Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt -- AMa ? oS-Abstract Machine for Xcerpt: Architecture and Principles -- Towards More Precise Typing Rules for Xcerpt -- Session 5. Reasoning II -- Extending an OWL Web Node with Reactive Behavior -- Supporting Open and Closed World Reasoning on the Web -- Reasoning with Temporal Constraints in RDF -- Session 6. Reasoning III -- Bidirectional Mapping Between OWL DL and Attempto Controlled English -- XML Querying Using Ontological Information -- Semantic Web Reasoning Using a Blackboard System -- Systems Session -- Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt -- Web Queries with Style: Rendering Xcerpt Programs with CSSNG -- Information Gathering in a Dynamic World -- Practice of Inductive Reasoning on the Semantic Web: A System for Semantic Web Mining -- Fuzzy Time Intervals System Description of the FuTI-Library -- A Prototype of a Descriptive Type System for Xcerpt.
9783540395874
10.1007/11853107 doi
Application software.
Information storage and retrieval systems.
Artificial intelligence.
Machine theory.
Software engineering.
Computer and Information Systems Applications.
Information Storage and Retrieval.
Artificial Intelligence.
Formal Languages and Automata Theory.
Software Engineering.
QA76.76.A65
005.3