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.
Intelligent Computer Mathematics [[electronic resource] ] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
| Intelligent Computer Mathematics [[electronic resource] ] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 384 p. 100 illus.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-642-39320-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Calculemus -- The Rooster and the Butterflies -- Optimising Problem Formulation for Cylindrical Algebraic Decomposition -- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy -- A Universal Machine for Biform Theory Graphs -- MKM -- Mathematical Practice, Crowdsourcing, and Social Machines -- Automated Reasoning Service for HOL Light -- Understanding Branch Cuts of Expressions -- Formal Mathematics on Display: A Wiki for Flyspeck -- Determining Points on Handwritten Mathematical Symbols -- Capturing Hiproofs in HOL Light -- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory -- Students’ Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System -- DML -- Mathematics and the World Wide Web -- Structural Similarity Search for Mathematics Retrieval -- Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ -- A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions -- Three Years of DLMF: Web, Math and Search -- Escaping the Trap of Too Precise Topic Queries -- Using MathML to Represent Units of Measurement for Improved Ontology Alignment -- Systems and Projects -- A Web Interface for Isabelle: The Next Generation -- The ForMaRE Project – Formal Mathematical Reasoning in Economics -- LATExml 2012 – A Year of LATExml -- The MMT API: A Generic MKM System -- Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today -- A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems -- The Web Geometry Laboratory Project -- swMATH – A New Information Service for Mathematical Software -- Software for Evaluating Relevance of Steps in Algebraic Transformations -- The DeLiVerMATH Project: Text Analysis in Mathematics. |
| Record Nr. | UNISA-996466249403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
| Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 384 p. 100 illus.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-642-39320-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Calculemus -- The Rooster and the Butterflies -- Optimising Problem Formulation for Cylindrical Algebraic Decomposition -- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy -- A Universal Machine for Biform Theory Graphs -- MKM -- Mathematical Practice, Crowdsourcing, and Social Machines -- Automated Reasoning Service for HOL Light -- Understanding Branch Cuts of Expressions -- Formal Mathematics on Display: A Wiki for Flyspeck -- Determining Points on Handwritten Mathematical Symbols -- Capturing Hiproofs in HOL Light -- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory -- Students’ Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System -- DML -- Mathematics and the World Wide Web -- Structural Similarity Search for Mathematics Retrieval -- Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ -- A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions -- Three Years of DLMF: Web, Math and Search -- Escaping the Trap of Too Precise Topic Queries -- Using MathML to Represent Units of Measurement for Improved Ontology Alignment -- Systems and Projects -- A Web Interface for Isabelle: The Next Generation -- The ForMaRE Project – Formal Mathematical Reasoning in Economics -- LATExml 2012 – A Year of LATExml -- The MMT API: A Generic MKM System -- Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today -- A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems -- The Web Geometry Laboratory Project -- swMATH – A New Information Service for Mathematical Software -- Software for Evaluating Relevance of Steps in Algebraic Transformations -- The DeLiVerMATH Project: Text Analysis in Mathematics. |
| Record Nr. | UNINA-9910485017703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge Engineering and Semantic Web : 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings / / edited by Przemysław Różewski, Christoph Lange
| Knowledge Engineering and Semantic Web : 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings / / edited by Przemysław Różewski, Christoph Lange |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 364 p. 92 illus.) |
| Disciplina | 029.7 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Information storage and retrieval
Artificial intelligence Natural language processing (Computer science) Data mining Mathematical logic Information Storage and Retrieval Artificial Intelligence Natural Language Processing (NLP) Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages |
| ISBN | 3-319-69548-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Natural language processing -- Knowledge representation and reasoning -- Ontologies and controlled vocabularies -- Scalable data access and storage solutions -- Semantic Web and education -- Linked data.-Semantic technologies in manufacturing and business. |
| Record Nr. | UNINA-9910254825503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Semantic Web [[electronic resource] ] : ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 – June 2, 2016, Revised Selected Papers / / edited by Harald Sack, Giuseppe Rizzo, Nadine Steinmetz, Dunja Mladenić, Sören Auer, Christoph Lange
| The Semantic Web [[electronic resource] ] : ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 – June 2, 2016, Revised Selected Papers / / edited by Harald Sack, Giuseppe Rizzo, Nadine Steinmetz, Dunja Mladenić, Sören Auer, Christoph Lange |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XX, 443 p. 89 illus.) |
| Disciplina | 025.04 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Information storage and retrieval
Database management Artificial intelligence Application software Computer communication systems Data mining Information Storage and Retrieval Database Management Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Data Mining and Knowledge Discovery |
| ISBN | 3-319-47602-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Emotions, Modality, Sentiment Analysis and the Semantic Web -- 5th Workshop on Knowledge Discovery and Data Mining Meets Linked Open Data (Know@LOD) -- LDQ: 3rd Workshop on Linked Data Quality -- Fourth Workshop on Linked Media (LiME-2016) -- Managing the Evolution and Preservation of the Data Web -- PROFILES’16: 3rd International Workshop on Dataset PROFIling and fEderated Search for Linked Data -- Workshop on Extraction and Processing of Rich Semantics from Medical Texts -- SALAD – Services and Applications over Linked APIs and Data -- Semantic Web Technologies in Mobile and Pervasive Environments (SEMPER) -- International Workshop on Summarizing and Presenting Entities and Ontologies -- 2nd Int. Workshop on Semantic Web for Scientific Heritage (SW4SH) -- 1st Workshop on Humanities in the SEmantic web (WHiSE 2016). |
| Record Nr. | UNISA-996465317703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Semantic Web : ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 – June 2, 2016, Revised Selected Papers / / edited by Harald Sack, Giuseppe Rizzo, Nadine Steinmetz, Dunja Mladenić, Sören Auer, Christoph Lange
| The Semantic Web : ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 – June 2, 2016, Revised Selected Papers / / edited by Harald Sack, Giuseppe Rizzo, Nadine Steinmetz, Dunja Mladenić, Sören Auer, Christoph Lange |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XX, 443 p. 89 illus.) |
| Disciplina | 025.04 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Information storage and retrieval
Database management Artificial intelligence Application software Computer communication systems Data mining Information Storage and Retrieval Database Management Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Data Mining and Knowledge Discovery |
| ISBN | 3-319-47602-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Emotions, Modality, Sentiment Analysis and the Semantic Web -- 5th Workshop on Knowledge Discovery and Data Mining Meets Linked Open Data (Know@LOD) -- LDQ: 3rd Workshop on Linked Data Quality -- Fourth Workshop on Linked Media (LiME-2016) -- Managing the Evolution and Preservation of the Data Web -- PROFILES’16: 3rd International Workshop on Dataset PROFIling and fEderated Search for Linked Data -- Workshop on Extraction and Processing of Rich Semantics from Medical Texts -- SALAD – Services and Applications over Linked APIs and Data -- Semantic Web Technologies in Mobile and Pervasive Environments (SEMPER) -- International Workshop on Summarizing and Presenting Entities and Ontologies -- 2nd Int. Workshop on Semantic Web for Scientific Heritage (SW4SH) -- 1st Workshop on Humanities in the SEmantic web (WHiSE 2016). |
| Record Nr. | UNINA-9910483111703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic Web Challenges : Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers / / edited by Harald Sack, Stefan Dietze, Anna Tordai, Christoph Lange
| Semantic Web Challenges : Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers / / edited by Harald Sack, Stefan Dietze, Anna Tordai, Christoph Lange |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 321 p. 79 illus.) |
| Disciplina | 025.04 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Information storage and retrieval
Data mining Artificial intelligence Database management Application software Computers Information Storage and Retrieval Data Mining and Knowledge Discovery Artificial Intelligence Database Management Information Systems Applications (incl. Internet) Theory of Computation |
| ISBN | 3-319-46565-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Open knowledge extraction -- Semantic sentiment analysis -- Question answering over linked data -- Top-K shortest path in large typed RDF graphs datasets -- Semantic publishing. |
| Record Nr. | UNINA-9910255014603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic Web Evaluation Challenge : SemWebEval 2014 at ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers / / edited by Valentina Presutti, Milan Stankovic, Erik Cambria, Iván Cantador, Angelo Di Iorio, Tommaso Di Noia, Christoph Lange, Diego Reforgiato Recupero, Anna Tordai
| Semantic Web Evaluation Challenge : SemWebEval 2014 at ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers / / edited by Valentina Presutti, Milan Stankovic, Erik Cambria, Iván Cantador, Angelo Di Iorio, Tommaso Di Noia, Christoph Lange, Diego Reforgiato Recupero, Anna Tordai |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XV, 205 p. 31 illus.) |
| Disciplina | 005.7565 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Information storage and retrieval
Database management Artificial intelligence Application software Information Storage and Retrieval Database Management Artificial Intelligence Information Systems Applications (incl. Internet) |
| ISBN | 3-319-12024-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910298987803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Semantic Web – ISWC 2017 [[electronic resource] ] : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II / / edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin
| The Semantic Web – ISWC 2017 [[electronic resource] ] : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II / / edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XLVI, 388 p. 103 illus.) |
| Disciplina | 005.365 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Application software Computers Software engineering Database Management Artificial Intelligence Information Systems Applications (incl. Internet) Theory of Computation Software Engineering/Programming and Operating Systems Computer Applications |
| ISBN | 3-319-68204-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Resource Track: Diefficiency Metrics: Measuring the Continuous Efficiency of Query Processing Approaches -- CodeOntology: RDF-ization of Source Code -- Linked Data Publication of Live Music Archives and Analysis -- The MedRed Ontology for Representing Clinical Data Acquisition Metadata -- Iguana : A Generic Framework for Benchmarking the Read-Write Performance of Triple Stores -- Ireland’s Authoritative Geospatial Linked Data -- LOD-a-lot: A Queryable Dump of the LOD cloud -- IMGpedia: a Linked Dataset with Content-based Analysis of Wikimedia Images -- WIDOCO: A Wizard for Documenting Ontologies -- The CEDAR Workbench: An Ontology-Assisted Environment for Authoring Metadata that Describe Scientific Experiments -- WebIsALOD: Providing Hypernymy Relations extracted from the Web as Linked Open Data -- Ontology-Based Data Access to Slegge.- BiOnIC: A Catalog of User Interactions with Biomedical Ontologies -- Neural Embeddings for Populated Geonames Locations -- Distributed Semantic Analytics using the SANSA Stack -- The MIDI Linked Data Cloud -- SocialLink: Linking DBpedia Entities to Corresponding Twitter Accounts -- UNDO: the United Nations System Document Ontology -- One year of the OpenCitations Corpus - Releasing RDF-based scholarly citation data into the Public Domain -- An Entity Relatedness Test Dataset -- RSPLab, RDF Stream Processing Benchmarking made easy -- LC-QuAD: A Corpus for Complex Question Answering over Knowledge Graphs -- PDD Graph: Bridging Electronic Medical Records and Biomedical Knowledge Graphs via Entity Linking -- In-Use Track: A Controlled Crowdsourcing Platform for High-Quality Ontology Development and Data Annotation -- An Investigative Search Engine for the Human Trafficking Domain -- Lessons Learned in Building Linked Data for the American Art Collaborative -- Modeling and Using an Actor Ontology of Second World War Military Units and Personnel -- Sustainable Linked Data generation: the case of DBpedia -- Semantic Rule-Based Equipment Diagnostic -- Automatic Query-centric API for Routine Access to Linked Data -- Realizing an RDF-based Information Model for a Manufacturing Company – A Case Study -- Personalizing Actions in Context for Risk Management using Semantic Web Technologies. . |
| Record Nr. | UNISA-996465407803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Semantic Web – ISWC 2017 [[electronic resource] ] : 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I / / edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin
| The Semantic Web – ISWC 2017 [[electronic resource] ] : 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I / / edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XLVI, 764 p. 163 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Application software Computers Software engineering Database Management Artificial Intelligence Information Systems Applications (incl. Internet) Theory of Computation Software Engineering/Programming and Operating Systems Computer Applications |
| ISBN | 3-319-68288-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Track: Multi-Label Based Learning for Better Multi-Criteria Ranking of Ontology Reasoners -- The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments -- A Decidable Very Expressive Description Logic for Databases -- Improving Visual Relationship Detection using Semantic Modeling of Scene Descriptions -- An Empirical Study on How the Distribution of Ontologies Affects Reasoning on the Web -- Expressive Stream Reasoning with Laser -- Semantics and Validation of Shapes Schemas for RDF -- Temporal Query Answering in DL-Lite over Inconsistent Data -- Semantic Wide and Deep Learning for Detecting Crisis-Information Categories on Social Media -- Tractable Query Answering for Expressive Ontologies and Existential Rules -- Zooming in on Ontologies: Minimal Modules and Best Excerpts -- Global RDF Vector Space Embeddings -- LDScript: a Linked Data Script Language -- Practical Update Management in Ontology-based Data Access -- Computing Authoring Tests from Competency Questions: Experimental Validation -- Matching Web Tables with Knowledge Base Entities: From Entity Lookups to Entity Embeddings -- Learning Commonalities in SPARQL -- Meta Structures in Knowledge Graphs -- Challenges of source selection in the WoD -- AMUSE: Multilingual Semantic Parsing for Question Answering over Linked Data -- Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries -- A Formal Framework for Comparing Linked Data Fragments -- Language-agnostic Relation Extraction from Wikipedia Abstracts -- Alignment Cubes: Towards Interactive Visual Exploration and Evaluation of Multiple Ontology Alignments -- Attributed Description Logics: Ontologies for Knowledge Graphs -- Reliable Granular References to Changing Linked Data -- Cost-Driven Ontology-Based Data Access.-The Odyssey Approach for Optimizing Federated SPARQL Queries -- Automated Fine-grained Trust Assessment in Federated Knowledge Bases -- Completeness-aware Rule Learning from Knowledge Graphs -- Entity Comparison in RDF Graphs -- Provenance Information in a Collaborative Knowledge Graph: an Evaluation of Wikidata External References -- Strider: A Hybrid Adaptive Distributed RDF Stream Processing Engine -- Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction -- Semantic Faceted Search with Aggregation and Recursion -- Investigating learnability, user performance, and preferences of the path query language SemwidgQL compared to SPARQL -- Cross-lingual Entity Alignment via Joint Attribute-Preserving Embedding -- Blockchain Enabled Privacy Audit Logs -- VICKEY: Mining Conditional Keys on RDF datasets -- Ontolex JeuxDeMots and Its Alignment to the Linguistic Linked Open Data Cloud -- Towards Holistic Concept Representations: Embedding Relational Knowledge, Visual Attributes, and Distributional Word Semantics -- An extension of SPARQL for expressing preferences -- Encoding Category Correlations into Bilingual Topic Modeling for Cross-Lingual Taxonomy Alignment -- Cross-lingual infobox alignment in Wikipedia using Entity-Attribute Factor Graph. . |
| Record Nr. | UNISA-996465412903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Semantic Web – ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I / / edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin
| The Semantic Web – ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I / / edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XLVI, 764 p. 163 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Application software Computers Software engineering Database Management Artificial Intelligence Information Systems Applications (incl. Internet) Theory of Computation Software Engineering/Programming and Operating Systems Computer Applications |
| ISBN | 3-319-68288-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Track: Multi-Label Based Learning for Better Multi-Criteria Ranking of Ontology Reasoners -- The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments -- A Decidable Very Expressive Description Logic for Databases -- Improving Visual Relationship Detection using Semantic Modeling of Scene Descriptions -- An Empirical Study on How the Distribution of Ontologies Affects Reasoning on the Web -- Expressive Stream Reasoning with Laser -- Semantics and Validation of Shapes Schemas for RDF -- Temporal Query Answering in DL-Lite over Inconsistent Data -- Semantic Wide and Deep Learning for Detecting Crisis-Information Categories on Social Media -- Tractable Query Answering for Expressive Ontologies and Existential Rules -- Zooming in on Ontologies: Minimal Modules and Best Excerpts -- Global RDF Vector Space Embeddings -- LDScript: a Linked Data Script Language -- Practical Update Management in Ontology-based Data Access -- Computing Authoring Tests from Competency Questions: Experimental Validation -- Matching Web Tables with Knowledge Base Entities: From Entity Lookups to Entity Embeddings -- Learning Commonalities in SPARQL -- Meta Structures in Knowledge Graphs -- Challenges of source selection in the WoD -- AMUSE: Multilingual Semantic Parsing for Question Answering over Linked Data -- Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries -- A Formal Framework for Comparing Linked Data Fragments -- Language-agnostic Relation Extraction from Wikipedia Abstracts -- Alignment Cubes: Towards Interactive Visual Exploration and Evaluation of Multiple Ontology Alignments -- Attributed Description Logics: Ontologies for Knowledge Graphs -- Reliable Granular References to Changing Linked Data -- Cost-Driven Ontology-Based Data Access.-The Odyssey Approach for Optimizing Federated SPARQL Queries -- Automated Fine-grained Trust Assessment in Federated Knowledge Bases -- Completeness-aware Rule Learning from Knowledge Graphs -- Entity Comparison in RDF Graphs -- Provenance Information in a Collaborative Knowledge Graph: an Evaluation of Wikidata External References -- Strider: A Hybrid Adaptive Distributed RDF Stream Processing Engine -- Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction -- Semantic Faceted Search with Aggregation and Recursion -- Investigating learnability, user performance, and preferences of the path query language SemwidgQL compared to SPARQL -- Cross-lingual Entity Alignment via Joint Attribute-Preserving Embedding -- Blockchain Enabled Privacy Audit Logs -- VICKEY: Mining Conditional Keys on RDF datasets -- Ontolex JeuxDeMots and Its Alignment to the Linguistic Linked Open Data Cloud -- Towards Holistic Concept Representations: Embedding Relational Knowledge, Visual Attributes, and Distributional Word Semantics -- An extension of SPARQL for expressing preferences -- Encoding Category Correlations into Bilingual Topic Modeling for Cross-Lingual Taxonomy Alignment -- Cross-lingual infobox alignment in Wikipedia using Entity-Attribute Factor Graph. . |
| Record Nr. | UNINA-9910484257503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
