Amazon cover image
Image from Amazon.com

Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.).

By: (1st : RR (Conference) (1st : 2007 : Innsbruck, Austria)Contributor(s): Marchiori, M. (Massimo) | Pan, Jeff Z | Sainte Marie, Christian deMaterial type: TextTextSeries: Serienbezeichnung | Lecture notes in computer science ; 4524.Publication details: Berlin ; New York : Springer, ©2007. Description: 1 online resource (xi, 382 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540729822; 3540729828; 9783540729815; 354072981X; 1280943890; 9781280943898Other title: RR 2007Subject(s): Semantic Web -- Congresses | Programming languages (Electronic computers) -- Semantics -- Congresses | Rule-based programming -- Congresses | Ontologies (Information retrieval) -- Congresses | Logic programming -- Congresses | Expert systems (Computer science) -- Congresses | Informatique | Expert systems (Computer science) | Logic programming | Ontologies (Information retrieval) | Programming languages (Electronic computers) -- Semantics | Rule-based programming | Semantic Web | informatieontsluiting | information retrieval | informatieopslag | information storage | informatiesystemen | information systems | internet | massamedia | mass media | computerwetenschappen | computer sciences | kunstmatige intelligentie | artificial intelligence | software engineering | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Web reasoning and rule systems.DDC classification: 005.1/15 LOC classification: QA76.63 | .I56 2007ebOnline resources: Click here to access online
Contents:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

 EBook Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

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.

Powered by Koha