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.
Database Programming Languages [[electronic resource] ] : 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers / / edited by Georg Lausen, Dan Suciu
| Database Programming Languages [[electronic resource] ] : 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers / / edited by Georg Lausen, Dan Suciu |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 286 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Programming languages (Electronic computers) Database management Information storage and retrieval Application software Data Structures and Information Theory Programming Languages, Compilers, Interpreters Database Management Data Storage Representation Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| ISBN |
1-280-30677-7
9786610306770 3-540-24607-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- CQL: A Language for Continuous Queries over Streams and Relations -- XPath Query Processing -- Static Analysis -- Satisfiability of XPath Expressions -- Containment of Relational Queries with Annotation Propagation -- Avoiding Unnecessary Ordering Operations in XPath -- Transactions -- Consistency of Java Transactions -- Integrating Database and Programming Language Constraints -- A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions -- Modeling Data and Services -- Modelling Dynamic Web Data -- Semantics of Objectified XML Constraints -- M2ORM2: A Model for the Transparent Management of Relationally Persistent Objects -- Novel Applications of XML and XQuery -- Using XQuery for Flat-File Based Scientific Datasets -- A Query Algebra for Fragmented XML Stream Data -- XML Processing and Validation -- Updates and Incremental Validation of XML Documents -- Attribute Grammars for Scalable Query Processing on XML Streams -- A General Framework for Estimating XML Query Cardinality. |
| Record Nr. | UNISA-996466172803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Database Programming Languages : 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers / / edited by Georg Lausen, Dan Suciu
| Database Programming Languages : 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers / / edited by Georg Lausen, Dan Suciu |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 286 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Programming languages (Electronic computers) Database management Information storage and retrieval Application software Data Structures and Information Theory Programming Languages, Compilers, Interpreters Database Management Data Storage Representation Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| ISBN |
1-280-30677-7
9786610306770 3-540-24607-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- CQL: A Language for Continuous Queries over Streams and Relations -- XPath Query Processing -- Static Analysis -- Satisfiability of XPath Expressions -- Containment of Relational Queries with Annotation Propagation -- Avoiding Unnecessary Ordering Operations in XPath -- Transactions -- Consistency of Java Transactions -- Integrating Database and Programming Language Constraints -- A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions -- Modeling Data and Services -- Modelling Dynamic Web Data -- Semantics of Objectified XML Constraints -- M2ORM2: A Model for the Transparent Management of Relationally Persistent Objects -- Novel Applications of XML and XQuery -- Using XQuery for Flat-File Based Scientific Datasets -- A Query Algebra for Fragmented XML Stream Data -- XML Processing and Validation -- Updates and Incremental Validation of XML Documents -- Attribute Grammars for Scalable Query Processing on XML Streams -- A General Framework for Estimating XML Query Cardinality. |
| Record Nr. | UNINA-9910768192303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reasoning Web. Reasoning and the Web in the Big Data Era [[electronic resource] ] : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings / / edited by Manolis Koubarakis, Giorgos Stamou, Giorgos Stoilos, Ian Horrocks, Phokion Kolaitis, Georg Lausen, Gerhard Weikum
| Reasoning Web. Reasoning and the Web in the Big Data Era [[electronic resource] ] : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings / / edited by Manolis Koubarakis, Giorgos Stamou, Giorgos Stoilos, Ian Horrocks, Phokion Kolaitis, Georg Lausen, Gerhard Weikum |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 390 p. 93 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Mathematical logic Information storage and retrieval Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN | 3-319-10587-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to Linked Data and Its Lifecycle on the Web -- An Introduction to Question Answering over Linked Data -- Query Processing for RDF Databases -- Introduction to Graph Databases -- An Introduction to Description Logics and Query -- An Introduction to Ontology-Based Query Answering with Existential -- Ontology Based Data Access on Temporal and Streaming -- Querying and Learning in Probabilistic Databases -- Semantic and Reasoning Systems for Cities and Citizens. |
| Record Nr. | UNISA-996202526303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web. Reasoning and the Web in the Big Data Era : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings / / edited by Manolis Koubarakis, Giorgos Stamou, Giorgos Stoilos, Ian Horrocks, Phokion Kolaitis, Georg Lausen, Gerhard Weikum
| Reasoning Web. Reasoning and the Web in the Big Data Era : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings / / edited by Manolis Koubarakis, Giorgos Stamou, Giorgos Stoilos, Ian Horrocks, Phokion Kolaitis, Georg Lausen, Gerhard Weikum |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 390 p. 93 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Mathematical logic Information storage and retrieval Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN | 3-319-10587-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to Linked Data and Its Lifecycle on the Web -- An Introduction to Question Answering over Linked Data -- Query Processing for RDF Databases -- Introduction to Graph Databases -- An Introduction to Description Logics and Query -- An Introduction to Ontology-Based Query Answering with Existential -- Ontology Based Data Access on Temporal and Streaming -- Querying and Learning in Probabilistic Databases -- Semantic and Reasoning Systems for Cities and Citizens. |
| Record Nr. | UNINA-9910481956403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008, proceedings / / edited by Diego Calvanese and Georg Lausen
| Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008, proceedings / / edited by Diego Calvanese and Georg Lausen |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 241 p.) |
| Disciplina | 025.0427 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Rule-based programming
Semantic Web |
| ISBN | 3-540-88737-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Déjà 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 . |
| Record Nr. | UNINA-9910483406303321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008, proceedings / / edited by Diego Calvanese and Georg Lausen
| Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008, proceedings / / edited by Diego Calvanese and Georg Lausen |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 241 p.) |
| Disciplina | 025.0427 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Rule-based programming
Semantic Web |
| ISBN | 3-540-88737-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Déjà 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 . |
| Record Nr. | UNISA-996465560303316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||