Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / / Jeff Z. Pan, Massimo Marchiori, Christian de Sainte Marie, editors
| Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / / Jeff Z. Pan, Massimo Marchiori, Christian de Sainte Marie, editors |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (392 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval systems |
| ISBN |
1-280-94389-0
9786610943890 3-540-72982-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910484684003321 |
| Berlin : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / / Jeff Z. Pan, Massimo Marchiori, Christian de Sainte Marie, editors
| Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / / Jeff Z. Pan, Massimo Marchiori, Christian de Sainte Marie, editors |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (392 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval systems |
| ISBN |
1-280-94389-0
9786610943890 3-540-72982-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996465559503316 |
| Berlin : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||