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.
Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings / / edited by Hans J. Ohlbach, Sebastian Schaffert
| Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings / / edited by Hans J. Ohlbach, Sebastian Schaffert |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VII, 163 p.) |
| Disciplina | 025.04 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Database management Application software Information storage and retrieval Artificial intelligence Mathematical logic Popular Computer Science Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-30122-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Subtyping of Tree-Structured Data: A Polynomial Approach -- Towards Generic Query, Update, and Event Languages for the Semantic Web -- Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach -- Rules and Queries with Ontologies: A Unified Logical Framework -- Semantic Web Reasoning for Ontology-Based Integration of Resources -- Static Type-Checking of Datalog with Ontologies -- Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming -- Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages -- Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals -- DR-DEVICE: A Defeasible Logic System for the Semantic Web -- A PDDL Based Tool for Automatic Web Service Composition. |
| Record Nr. | UNISA-996465572103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles and Practice of Semantic Web Reasoning : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings / / edited by Hans J. Ohlbach, Sebastian Schaffert
| Principles and Practice of Semantic Web Reasoning : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings / / edited by Hans J. Ohlbach, Sebastian Schaffert |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VII, 163 p.) |
| Disciplina | 025.04 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Database management Application software Information storage and retrieval Artificial intelligence Mathematical logic Popular Computer Science Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-30122-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Subtyping of Tree-Structured Data: A Polynomial Approach -- Towards Generic Query, Update, and Event Languages for the Semantic Web -- Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach -- Rules and Queries with Ontologies: A Unified Logical Framework -- Semantic Web Reasoning for Ontology-Based Integration of Resources -- Static Type-Checking of Datalog with Ontologies -- Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming -- Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages -- Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals -- DR-DEVICE: A Defeasible Logic System for the Semantic Web -- A PDDL Based Tool for Automatic Web Service Composition. |
| Record Nr. | UNINA-9910144152403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reasoning Web [[electronic resource] ] : 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures / / edited by Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert
| Reasoning Web [[electronic resource] ] : 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures / / edited by Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 269 p.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Computer communication systems Database management Computer logic Information storage and retrieval Natural language processing (Computer science) Information Systems Applications (incl. Internet) Computer Communication Networks Database Management Logics and Meanings of Programs Information Storage and Retrieval Natural Language Processing (NLP) |
| ISBN | 3-540-85658-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rules and Ontologies for the Semantic Web -- Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs -- Attempto Controlled English for Knowledge Representation -- Semantic Multimedia -- Applications of Semantic Web Methodologies and Techniques to Social Networks and Social Websites -- Applications of Semantic Web Methodologies and Techniques to Biology and Bioinformatics -- Web Services Discovery Utilizing Semantically Annotated WSDL. |
| Record Nr. | UNISA-996465486803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||