Massimo Marchiori (Volume ed.) / Jeff Z. Pan / Christian de Sainte MarieFirst International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
Web Reasoning and Rule Systems
First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
Herausgegeben:Marchiori, Massimo; Pan, Jeff Z.; de Sainte Marie, Christian
Massimo Marchiori (Volume ed.) / Jeff Z. Pan / Christian de Sainte MarieFirst International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
Web Reasoning and Rule Systems
First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
Herausgegeben:Marchiori, Massimo; Pan, Jeff Z.; de Sainte Marie, Christian
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book constitutes the refereed proceedings of the First International Conference on Web Reasoning and Rule Systems, RR 2007, held in Innsbruck, Austria. It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge extraction, design and analysis of reasoning languages, reasoning with constraints, rule languages and systems, semantic Web services modeling and applications.
Andere Kunden interessierten sich auch für
- Web Reasoning and Rule Systems38,99 €
- Asaf Adi / Suzette Stoutenburg / Said Tabet (eds.)Rules and Rule Markup Languages for the Semantic Web39,99 €
- Francois Fages / Sylvain Soliman (eds.)Principles and Practice of Semantic Web Reasoning39,99 €
- Anne H.H. Ngu / Masaru Kitsuregawa / Erich Neuhold / Jen-Yao Chung / Quan Z. Sheng (eds.)Web Information Systems Engineering - WISE 200577,99 €
- Paulo Cesar G. da Costa / Claudia d'Amato / Nicola et al. Fanizzi (Volume editor)Uncertainty Reasoning for the Semantic Web I38,99 €
- Web Reasoning and Rule Systems39,99 €
- Karl Aberer / Zhiyong Peng / Elke A. Rundensteiner / Yanchun Zhang / Xuhui LiWeb Information Systems - WISE 200677,99 €
-
-
-
This book constitutes the refereed proceedings of the First International Conference on Web Reasoning and Rule Systems, RR 2007, held in Innsbruck, Austria. It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge extraction, design and analysis of reasoning languages, reasoning with constraints, rule languages and systems, semantic Web services modeling and applications.
Produktdetails
- Produktdetails
- Lecture Notes in Computer Science 4524
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-72981-5
- Seitenzahl: 382
- Englisch
- Abmessung: 21mm x 155mm x 235mm
- Gewicht: 611g
- ISBN-13: 9783540729815
- ISBN-10: 354072981X
- Artikelnr.: 22922667
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
- Lecture Notes in Computer Science 4524
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-72981-5
- Seitenzahl: 382
- Englisch
- Abmessung: 21mm x 155mm x 235mm
- Gewicht: 611g
- ISBN-13: 9783540729815
- ISBN-10: 354072981X
- Artikelnr.: 22922667
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
Massimo Marchiori, UNIPD and UTILABS, Padua, Italy / Jeff Z. Pan, The University of Aberdeen, UK / Christian de Sainte Marie, ILOG S.A., Valbonne, France
I FullPapers.- Well-Founded Semantics for Hybrid Rules.- Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics.- On the Semantics of Service Compositions.- Expressive Reasoning with Horn Rules and Fuzzy Description Logics.- Quantified Equilibrium Logic and Hybrid Rules.- Web Services Discovery and Constraints Composition.- Ontological Reasoning to Configure Emotional Voice Synthesis.- A Semantic Framework for Language Layering in WSML.- Merging Model Driven Architecture and Semantic Web for Business Rules Generation.- A Framework for Combining Rules and Geo-ontologies.- Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer.- : An Integration of Description Logic and General Rules.- Evaluating Formalisms for Modular Ontologies in Distributed Information Systems.- Consistent Query Answering over Description Logic Ontologies.- II Short Papers.- A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results.- Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images.- A Framework for Ontology Based Rule Acquisition from Web Documents.- A Fast Algebraic Web Verification Service.- Proof Explanation in the DR-DEVICE System.- Rule-Based Active Domain Brokering for the Semantic Web.- Decidability Under the Well-Founded Semantics.- A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.- Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web.- AceRules: Executing Rules in Controlled Natural Language.- Bridging Concrete and Abstract Syntax of Web Rule Languages.- Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints.- Attaining Higher Quality for Density Based Algorithms.- Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image.- Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.- III Selected Posters.- Extending SWRL to Enhance Mathematical Support.- Efficiently Querying Relational Databases Using OWL and SWRL.- Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs.- A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data.- Efficient OWL Reasoning with Logic Programs - Evaluations.- Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.- Context in Rules Used in P2P Semantic Data Integration System.
I FullPapers.- Well-Founded Semantics for Hybrid Rules.- Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics.- On the Semantics of Service Compositions.- Expressive Reasoning with Horn Rules and Fuzzy Description Logics.- Quantified Equilibrium Logic and Hybrid Rules.- Web Services Discovery and Constraints Composition.- Ontological Reasoning to Configure Emotional Voice Synthesis.- A Semantic Framework for Language Layering in WSML.- Merging Model Driven Architecture and Semantic Web for Business Rules Generation.- A Framework for Combining Rules and Geo-ontologies.- Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer.- : An Integration of Description Logic and General Rules.- Evaluating Formalisms for Modular Ontologies in Distributed Information Systems.- Consistent Query Answering over Description Logic Ontologies.- II Short Papers.- A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results.- Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images.- A Framework for Ontology Based Rule Acquisition from Web Documents.- A Fast Algebraic Web Verification Service.- Proof Explanation in the DR-DEVICE System.- Rule-Based Active Domain Brokering for the Semantic Web.- Decidability Under the Well-Founded Semantics.- A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.- Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web.- AceRules: Executing Rules in Controlled Natural Language.- Bridging Concrete and Abstract Syntax of Web Rule Languages.- Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints.- Attaining Higher Quality for Density Based Algorithms.- Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image.- Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.- III Selected Posters.- Extending SWRL to Enhance Mathematical Support.- Efficiently Querying Relational Databases Using OWL and SWRL.- Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs.- A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data.- Efficient OWL Reasoning with Logic Programs - Evaluations.- Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.- Context in Rules Used in P2P Semantic Data Integration System.