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.
Description Logic, Theory Combination, and All That [[electronic resource] ] : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / / edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
| Description Logic, Theory Combination, and All That [[electronic resource] ] : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / / edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 662 p. 1230 illus., 14 illus. in color.) |
| Disciplina | 006.332 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer science Information technology—Management Software engineering Computer networks Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming Computer Application in Administrative Data Processing Software Engineering Computer Communication Networks |
| ISBN | 3-030-22102-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction -- Hierarchic Superposition Revisited -- Theory Combination: Beyond Equality Sharing -- Initial Steps Towards a Family of Regular-Like Plan Description Logics -- Reasoning with Justifiable Exceptions in EL_\bot Contextualized Knowledge Repositories -- Strong Explanations for Nonmonotonic Reasoning -- A KLM Perspective on Defeasible Reasoning for Description Logics -- Temporal Logic Programs with Temporal Description Logic Axioms -- The What-To-Ask Problem for Ontology-Based Peers -- From Model Completeness to Verification of Data Aware Processes -- Situation Calculus meets Description Logics -- Provenance Analysis: A Perspective for Description Logics? -- Extending EL^++ with Linear Constraints on the Probability of Axioms -- Effective query answering with Ontologies and DBoxes -- Checking the Data Complexity of Ontology-Mediated Queries: a Case Study with Non-Uniform CSPs and Polyanna -- Perceptual Context in Cognitive Hierarchies -- Do Humans Reason with E-Matchers? -- Pseudo-contractions as gentle repairs -- FunDL: A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources -- Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty -- Temporally Attributed Description Logics -- Explaining Axiom Pinpointing -- Asymmetric Unification and Disunification -- Building and Combining Matching Algorithms -- Presburger Concept Cardinality Constraints in Very Expressive Description Logics -- A Note on Unification, Subsumption and Unification Type -- 15 Years of Consequence-Based Reasoning -- Maximum Entropy Calculations for the Probabilistic Description Logic ALC^ME -- Automating Automated Reasoning: The Case of Two Generic Automated Reasoning Tools -- On Bounded-Memory Stream Data Processing with Description Logics. |
| Record Nr. | UNISA-996466307203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / / edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
| Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / / edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 662 p. 1230 illus., 14 illus. in color.) |
| Disciplina |
006.332
005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer science Information technology—Management Software engineering Computer networks Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming Computer Application in Administrative Data Processing Software Engineering Computer Communication Networks |
| ISBN | 3-030-22102-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction -- Hierarchic Superposition Revisited -- Theory Combination: Beyond Equality Sharing -- Initial Steps Towards a Family of Regular-Like Plan Description Logics -- Reasoning with Justifiable Exceptions in EL_\bot Contextualized Knowledge Repositories -- Strong Explanations for Nonmonotonic Reasoning -- A KLM Perspective on Defeasible Reasoning for Description Logics -- Temporal Logic Programs with Temporal Description Logic Axioms -- The What-To-Ask Problem for Ontology-Based Peers -- From Model Completeness to Verification of Data Aware Processes -- Situation Calculus meets Description Logics -- Provenance Analysis: A Perspective for Description Logics? -- Extending EL^++ with Linear Constraints on the Probability of Axioms -- Effective query answering with Ontologies and DBoxes -- Checking the Data Complexity of Ontology-Mediated Queries: a Case Study with Non-Uniform CSPs and Polyanna -- Perceptual Context in Cognitive Hierarchies -- Do Humans Reason with E-Matchers? -- Pseudo-contractions as gentle repairs -- FunDL: A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources -- Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty -- Temporally Attributed Description Logics -- Explaining Axiom Pinpointing -- Asymmetric Unification and Disunification -- Building and Combining Matching Algorithms -- Presburger Concept Cardinality Constraints in Very Expressive Description Logics -- A Note on Unification, Subsumption and Unification Type -- 15 Years of Consequence-Based Reasoning -- Maximum Entropy Calculations for the Probabilistic Description Logic ALC^ME -- Automating Automated Reasoning: The Case of Two Generic Automated Reasoning Tools -- On Bounded-Memory Stream Data Processing with Description Logics. |
| Record Nr. | UNINA-9910337835703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Frontiers of Combining Systems [[electronic resource] ] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / / edited by Uli Sattler, Martin Suda
| Frontiers of Combining Systems [[electronic resource] ] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / / edited by Uli Sattler, Martin Suda |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XVI, 275 p. 421 illus., 12 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer engineering Computer networks Computer science Machine theory Artificial Intelligence Software Engineering Computer Engineering and Networks Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-031-43369-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving. |
| Record Nr. | UNISA-996550548103316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Frontiers of Combining Systems [[electronic resource] ] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / / edited by Uli Sattler, Martin Suda
| Frontiers of Combining Systems [[electronic resource] ] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / / edited by Uli Sattler, Martin Suda |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XVI, 275 p. 421 illus., 12 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer engineering Computer networks Computer science Machine theory Artificial Intelligence Software Engineering Computer Engineering and Networks Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-031-43369-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving. |
| Record Nr. | UNINA-9910744508503321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Information Processing VII : 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings / / edited by Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler
| Intelligent Information Processing VII : 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings / / edited by Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 324 p. 115 illus.) |
| Disciplina | 006.3 |
| Collana | IFIP Advances in Information and Communication Technology |
| Soggetto topico |
Artificial intelligence
Data mining Mathematical logic Information storage and retrieval Pattern recognition Computer logic Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Information Storage and Retrieval Pattern Recognition Logics and Meanings of Programs |
| ISBN | 3-662-44980-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semi-paired Probabilistic Canonical Correlation Analysis -- Using Bat Algorithm with Levy Walk to Solve Directing Orbits of Chaotic Systems -- Complex Proteomes Analysis Using Label-Free Mass Spectrometry-Based Quantitative Approach Coupled with Biomedical Knowledge -- Online Migration Solver Based on Instructions Statistics: Algorithm for Deciding Offload Function Set on Mobile Cloud System -- Improved Hierarchical K-means Clustering Algorithm without Iteration Based on Distance Measurement -- An Optimized Tag Recommender Algorithm in Folksonomy -- Extracting Part-Whole Relations from Online Encyclopedia -- Topic Detection and Evolution Analysis on Microblog -- A DBN-Based Classifying Approach to Discover the Internet Water Army -- An Efficient Microblog Hot Topic Detection Algorithm Based on Two Stage Clustering -- Collecting Valuable Information from Fast Text Streams -- An AUML State Machine Based Method for Multi-agent Systems Model Checking -- Adaptive Mechanism Based on Shared Learning in Multi-agent System -- An Agent-Based Autonomous Management Approach to Dynamic Services -- Research and Application Analysis of Feature Binding Mechanism -- The Correspondence between Propositional Modal Logic with Axiom _φ ↔ ♦φ and the Propositional Logic -- A Sound and Complete Axiomatic System for Modality _φ ≡ _1φ ∧ _2φ -- Verification of Branch-Time Property Based on Dynamic Description Logic -- Dynamic Description Logic Based on DL-Lite -- Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4 -- A Heuristic Approach to Acquisition of Minimum Decision Rule Sets in Decision Systems -- Cooperative Decision Algorithm for Time Critical Assignment without Explicit Communication -- Using PDDL to Solve Vehicle Routing Problems -- Automated Localization and Accurate Segmentation of Optic Disc Based on Intensity within a Minimum Enclosing Circle -- An Optimization Scheme for SVAC Audio Encoder -- A Traffic Camera Calibration Method Based on Multi-rectangle: Calibrating a Camera Using Multi-rectangle Constructed by Mark Lines in Traffic Road -- A Multi-instance Multi-label Learning Framework of Image Retrieval -- The Retrieval of Shoeprint Images Based on the Integral Histogram of the Gabor Transform Domain -- Scene Classification Using Spatial and Color Features -- Multipath Convolutional-Recursive Neural Networks for Object Recognition -- Identification of Co-regulated Gene Network by Using Path Consistency Algorithm Based on Gene Ontology -- Case Retrieval for Network Security Emergency Response Based on Description Logic -- On the Prevention of Invalid Route Injection Attack -- A Formal Model for Attack Mutation Using Dynamic Description Logics -- Efficient Integrity Protection for P2P Streaming. |
| Record Nr. | UNINA-9910298995703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge Engineering and Knowledge Management [[electronic resource] ] : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. / / edited by Patrick Lambrix, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini
| Knowledge Engineering and Knowledge Management [[electronic resource] ] : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. / / edited by Patrick Lambrix, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 234 p. 49 illus.) |
| Disciplina | 006.331 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Computer communication systems Software engineering Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Appl. in Administrative Data Processing Computer Communication Networks Software Engineering |
| ISBN | 3-319-17966-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials -- Language Resources and Linked Data: a Practical Perspective -- From Knowledge Engineering for Development to Development Informatics -- Workshop summaries and best papers -- Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014) -- Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation -- Different Types of Conflicting Knowledge in AmI Environments -- Summary of the workshop on Educational Knowledge Management -- Generating Multiple Choice Questions From Ontologies: How Far Can We Go? -- VISUAL 2014 International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics -- OntoViBe 2: Advancing the Ontology Visualization Benchmark -- Posters -- The Semantic Lancet Project: a Linked Open Dataset for Scholarly Publishing -- Personalised, Serendipitous and Diverse Linked Data Resource Recommendations -- Spreadsheet-based Knowledge Acquisition for Facilitating Active Domain Expert Participation -- From ER Models to the Entity Model -- Adapting the SEPIA system to the educational context -- xWCPS: Bridging the gap between array and semi-structured data -- Demos -- An Intelligent Textbook that Answers Questions -- SHELDON: Semantic Holistic frame work for LinkeD ONtology data -- Legalo: revealing the semantics of links -- OntoEnrich: a platform for the lexical analysis of ontologies -- TourRDF: Representing, Enriching and Publishing Curated Tours Based on Linked Data -- SUGOI: Automated Ontology Interchangeability -- WebVOWL: Web-based Visualization of Ontologies -- LSD Dimensions: Use and Reuse of Linked Statistical Data -- Storyscope: Using setting and theme to assist the interpretation and development of museum stories -- A Linked Data Approach to Know-How -- Integrating Unstructured and Structured Knowledge with the Knowledge Store -- Doctoral Consortium -- Assessing the spatio-temporal Fitness of Information Supply and Demand on an Adaptive Ship Bridge -- Versatile Visualization, Authoring and Reuse of Ontological Schemas Leveraging on Dataset Summaries -- Linked Data Cleansing and Change Management -- Culture-aware approaches to modeling and description of intonation using multimodal data -- RDF based management, syndication and aggregation of web content -- Towards Ontology Refinement by Combination of Machine Learning and Attribute Exploration. |
| Record Nr. | UNISA-996207294503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge Engineering and Knowledge Management : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. / / edited by Patrick Lambrix, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini
| Knowledge Engineering and Knowledge Management : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. / / edited by Patrick Lambrix, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 234 p. 49 illus.) |
| Disciplina | 006.331 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Computer communication systems Software engineering Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Appl. in Administrative Data Processing Computer Communication Networks Software Engineering |
| ISBN | 3-319-17966-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials -- Language Resources and Linked Data: a Practical Perspective -- From Knowledge Engineering for Development to Development Informatics -- Workshop summaries and best papers -- Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014) -- Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation -- Different Types of Conflicting Knowledge in AmI Environments -- Summary of the workshop on Educational Knowledge Management -- Generating Multiple Choice Questions From Ontologies: How Far Can We Go? -- VISUAL 2014 International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics -- OntoViBe 2: Advancing the Ontology Visualization Benchmark -- Posters -- The Semantic Lancet Project: a Linked Open Dataset for Scholarly Publishing -- Personalised, Serendipitous and Diverse Linked Data Resource Recommendations -- Spreadsheet-based Knowledge Acquisition for Facilitating Active Domain Expert Participation -- From ER Models to the Entity Model -- Adapting the SEPIA system to the educational context -- xWCPS: Bridging the gap between array and semi-structured data -- Demos -- An Intelligent Textbook that Answers Questions -- SHELDON: Semantic Holistic frame work for LinkeD ONtology data -- Legalo: revealing the semantics of links -- OntoEnrich: a platform for the lexical analysis of ontologies -- TourRDF: Representing, Enriching and Publishing Curated Tours Based on Linked Data -- SUGOI: Automated Ontology Interchangeability -- WebVOWL: Web-based Visualization of Ontologies -- LSD Dimensions: Use and Reuse of Linked Statistical Data -- Storyscope: Using setting and theme to assist the interpretation and development of museum stories -- A Linked Data Approach to Know-How -- Integrating Unstructured and Structured Knowledge with the Knowledge Store -- Doctoral Consortium -- Assessing the spatio-temporal Fitness of Information Supply and Demand on an Adaptive Ship Bridge -- Versatile Visualization, Authoring and Reuse of Ontological Schemas Leveraging on Dataset Summaries -- Linked Data Cleansing and Change Management -- Culture-aware approaches to modeling and description of intonation using multimodal data -- RDF based management, syndication and aggregation of web content -- Towards Ontology Refinement by Combination of Machine Learning and Attribute Exploration. |
| Record Nr. | UNINA-9910483486703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The semantic web -- ISWC 2022 : 21st international semantic web conference, virtual event, October 23-27, 2022, proceedings / / edited by Ulrike Sattler [and eight others]
| The semantic web -- ISWC 2022 : 21st international semantic web conference, virtual event, October 23-27, 2022, proceedings / / edited by Ulrike Sattler [and eight others] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (899 pages) |
| Disciplina | 025.04 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Semantic computing |
| ISBN | 3-031-19433-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Circular Health -- Data, Ontologies, Rules, and the Return of the Blank Node -- AI Ethics in the Semantic Web -- Contents -- Research Track -- Introducing Semantic Information for Numerical Attribute Prediction over Knowledge Graphs -- 1 Introduction -- 1.1 Motivation -- 1.2 Challenges and Opportunities -- 1.3 Contributions -- 2 Preliminaries -- 2.1 Problem Formalization -- 2.2 Existing Graph-Based Methods -- 3 Our Methods -- 3.1 Limitations of Existing Methods -- 3.2 Semantic-Based Methods -- 3.3 Combination Strategy -- 4 Experiments -- 4.1 Experimental Setup -- 4.2 Main Results -- 4.3 Ablation Study -- 4.4 Case Study -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Faithful Embeddings for EL++ Knowledge Bases -- 1 Introduction -- 2 Related Work -- 3 Description Logic EL++ -- 4 BoxEL for Embedding EL++ Knowledge Bases -- 4.1 Geometric Construction -- 4.2 Geometric Interpretation -- 4.3 ABox Embedding -- 4.4 TBox Embedding -- 4.5 Optimization -- 5 Empirical Evaluation -- 5.1 A Proof-of-Concept Example -- 5.2 Subsumption Reasoning -- 5.3 Protein-Protein Interactions -- 5.4 Ablation Studies -- 6 Conclusion -- References -- Enhancing Document-Level Relation Extraction by Entity Knowledge Injection -- 1 Introduction -- 2 Related Work -- 3 Framework Formulation -- 4 Knowledge Injection -- 4.1 Coreference Encoding -- 4.2 Knowledge Graph Encoding -- 4.3 Representation Reconciliation -- 5 Experiments and Results -- 5.1 Experiment Setup -- 5.2 Main Results -- 5.3 Detailed Analysis -- 6 Conclusion -- References -- Hashing the Hypertrie: Space- and Time-Efficient Indexing for SPARQL in Tensors -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Notation and Conventions -- 3.2 RDF and SPARQL -- 3.3 Tensors and RDF -- 3.4 Hypertrie -- 4 Approach.
4.1 Hash-Based Identifiers -- 4.2 Single-Entry Node -- 4.3 In-Place Storage -- 4.4 Example -- 5 Evaluation -- 5.1 Index Size and Loading Time -- 5.2 Querying Stress Test -- 5.3 Discussion -- 6 Conclusion and Outlook -- References -- Towards Neural Network Interpretability Using Commonsense Knowledge Graphs -- 1 Introduction -- 2 Preliminaries -- 3 Generating Neuron-Attribute Alignments -- 3.1 Data Modeling -- 3.2 Neuron-Attribute Alignment -- 4 Evaluation and Applications -- 5 Experiments -- 5.1 Experimental Setup -- 5.2 Copy-Paste Adversarial Examples -- 5.3 Zero-Shot Learning Task -- 5.4 Reasoning over Multiple Networks -- 6 Related Work -- 7 Conclusion -- References -- Reproducibility Crisis in the LOD Cloud? Studying the Impact of Ontology Accessibility and Archiving as a Counter Measure -- 1 Introduction -- 2 Material and Methods -- 2.1 DBpedia Archivo - Augmented Ontology Archive -- 2.2 Archivo Ontology Discovery and Monitoring -- 2.3 Linked Open Vocabularies (LOV) -- 2.4 LOD Vocabulary Usage -- 3 Analysis -- 3.1 Ontology Accessibility Study -- 3.2 LOD Term Usage Analysis -- 3.3 Reproducibility Support and Archiving Impact Study -- 3.4 Archiving Potential and Barriers -- 4 Related Work -- 5 Discussion, Conclusion and Future Work -- References -- HCL: Improving Graph Representation with Hierarchical Contrastive Learning -- 1 Introduction -- 2 Related Works -- 2.1 Unsupervised Graph Learning -- 2.2 Multi-scale Graph Pooling -- 3 Methodology -- 3.1 Overview -- 3.2 Multi-scale Contrasting with L2Pool -- 3.3 In-scale Bootstrapping Pseudo-Siamese Network -- 4 Experiments -- 4.1 Datasets and Experimental Setup -- 4.2 Evaluation on Node-Level Tasks (RQ1) -- 4.3 Evaluation on Graph-Level Tasks (RQ2) -- 4.4 Components Analysis and Ablation of HCL (RQ3 and RQ4) -- 4.5 Further Analysis of Explainable Representation Visualization (RQ5) -- 5 Conclusions. References -- How to Agree to Disagree -- 1 Introduction -- 2 First-Order Standpoint Logic -- 2.1 FOSL Syntax and Semantics -- 2.2 Small Model Property of Sentential Formulas -- 2.3 Translation to Plain First-Order Logic -- 3 Expressive Decidable FOSL Fragments -- 4 Sentential Standpoint-SROIQbs -- 4.1 SROIQbs: Syntax and Semantics -- 4.2 Standpoint-SROIQbs -- 4.3 Coping with Peculiarities of SROIQbs -- 4.4 Translation into Plain SROIQbs -- 5 Example in the Forestry Domain -- 6 Related Work -- 7 Conclusions and Future Work -- References -- Context-Driven Visual Object Recognition Based on Knowledge Graphs -- 1 Introduction -- 2 Preliminaries -- 3 Learning Contextual Image Representations -- 3.1 Contextual View Extraction -- 3.2 Contextual View Infusion -- 4 Experiments -- 4.1 Implementation Details -- 4.2 Experiments on Cifar10 -- 4.3 Experiments on Mini-ImageNet -- 5 Discussion and Insights -- 6 Related Work -- 7 Conclusion and Future Work -- References -- EaT-PIM: Substituting Entities in Procedural Instructions Using Flow Graphs and Embeddings -- 1 Introduction -- 2 Problem Formulation -- 2.1 Recipe Modeling -- 2.2 Flow Graph Representation -- 3 Flow Graph Generation from Instructions -- 3.1 Parsing Instruction Text -- 3.2 Forming Flow Graphs -- 4 Flow Graph Embedding -- 4.1 Embedding Strategy -- 4.2 Replacement Techniques -- 5 Evaluation -- 5.1 Flow Graph Generation -- 5.2 Embedding Flow Graphs -- 5.3 Results -- 6 Related Work -- 7 Conclusion -- References -- H2TNE: Temporal Heterogeneous Information Network Embedding in Hyperbolic Spaces -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 Temporal HIN Embedding -- 3.2 Hyperbolic Geometry -- 4 Proposed Model -- 4.1 The Double-Constrained Random Walk -- 4.2 Hyperbolic Embedding -- 5 Experiments and Discussions -- 5.1 Experimental Setup -- 5.2 Experimental Performance. 5.3 Parameter Analysis -- 5.4 Visualizations -- 6 Conclusion -- References -- Facing Changes: Continual Entity Alignment for Growing Knowledge Graphs -- 1 Introduction -- 2 Problem Statement -- 3 Methodology -- 3.1 Subgraph-Based Entity Alignment -- 3.2 Embedding and Alignment Update -- 3.3 Put It All Together -- 4 Experiments -- 4.1 New Datasets for Continual Entity Alignment -- 4.2 Baselines -- 4.3 Experiment Settings -- 4.4 Results -- 4.5 Further Analysis -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Mapping Relational Database Constraints to SHACL -- 1 Introduction -- 2 Preliminaries -- 3 Constraint Rewriting: Definition and Properties -- 4 View Constraint: Definitions -- 5 Source to View Constraint Implication -- 6 The Constraint Rewriting -- 7 Discussion -- 8 Conclusion -- References -- POSO: A Generic Positioning System Ontology -- 1 Introduction -- 2 Ontology Design -- 2.1 Positioning System -- 2.2 Positioning Algorithms and Techniques -- 2.3 Absolute and Relative Positions -- 2.4 Orientation -- 2.5 Velocity and Acceleration -- 2.6 Observations and Accuracy -- 2.7 Alignment Module -- 3 Usage -- 4 Conclusions and Future Work -- References -- Each Snapshot to Each Space: Space Adaptation for Temporal Knowledge Graph Completion -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Dynamic Convolutional Neural Network -- 3.2 Time-Aware Parameter Generator -- 3.3 Training and Optimization -- 4 Experiments -- 4.1 Experimental Setup -- 4.2 Main Results -- 4.3 Analysis -- 5 Conclusion and Future Work -- References -- Efficient Dependency Analysis for Rule-Based Ontologies -- 1 Introduction -- 2 Preliminaries -- 3 Dependencies and Their Naive Computation -- 4 Computing Positive Reliances -- 5 Computing Restraints -- 6 Implementation and Global Optimisations -- 7 Evaluation -- 8 Conclusions -- References. Heterogeneous Graph Neural Network with Hypernetworks for Knowledge Graph Embedding -- 1 Introduction -- 2 Related Work -- 2.1 Heterogeneous Graph Neural Network -- 2.2 Hypernetwork -- 2.3 Knowledge Graph Embedding -- 3 Methodology -- 3.1 Hypernetworks for HGNNs -- 3.2 Message Construction with Hypernetworks -- 3.3 Multi-relational Message Propagation -- 3.4 Scoring Function -- 3.5 Training Strategy -- 4 Experiment -- 4.1 Datasets -- 4.2 Evaluation Protocol -- 4.3 Baselines -- 4.4 Hyper-parameter Settings -- 4.5 Results of Link Prediction -- 4.6 Ablation Study -- 5 Conclusion and Future Work -- References -- MultPAX: Keyphrase Extraction Using Language Models and Knowledge Graphs -- 1 Introduction -- 2 Related Work -- 2.1 Unsupervised Keyphrase Extraction -- 2.2 Absent Keyphrase Extraction -- 3 Our Approach -- 3.1 Problem Formulation -- 3.2 Present Keyphrase Extraction (PKE) -- 3.3 Absent Keyphrase Generation (AKG) -- 3.4 Keyphrases Semantic Matching -- 4 Experiments -- 4.1 Experimental Setup -- 4.2 Present Keyphrase Evaluation (Q1) -- 4.3 Absent Keyphrase Evaluation (Q2) -- 4.4 Ablation Study (Q3) -- 5 Conclusion -- References -- RT-KGD: Relation Transition Aware Knowledge-Grounded Dialogue Generation -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Task Formulation -- 3.2 Multi-turn Heterogeneous Knowledge Transition Path -- 3.3 Knowledge Encoder -- 3.4 Knowledge Predictor -- 3.5 Knowledge-Enhanced Encoder-Decoder -- 4 Experiments -- 4.1 Dataset -- 4.2 Settings -- 4.3 Evaluation Metrics -- 4.4 Experimental Results -- 4.5 Human Study -- 4.6 Ablation Study -- 4.7 Case Study -- 5 Conclusion -- References -- LoGNet: Local and Global Triple Embedding Network -- 1 Introduction -- 2 Definitions and Background -- 3 The LoGNet Framework -- 3.1 Local Triple Embeddings -- 3.2 Global Triple Embeddings -- 4 Anomalous Predicate Detection. 5 Experiments. |
| Record Nr. | UNINA-9910617302803321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The semantic web -- ISWC 2022 : 21st international semantic web conference, virtual event, October 23-27, 2022, proceedings / / edited by Ulrike Sattler [and eight others]
| The semantic web -- ISWC 2022 : 21st international semantic web conference, virtual event, October 23-27, 2022, proceedings / / edited by Ulrike Sattler [and eight others] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (899 pages) |
| Disciplina | 025.04 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Semantic computing |
| ISBN | 3-031-19433-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Circular Health -- Data, Ontologies, Rules, and the Return of the Blank Node -- AI Ethics in the Semantic Web -- Contents -- Research Track -- Introducing Semantic Information for Numerical Attribute Prediction over Knowledge Graphs -- 1 Introduction -- 1.1 Motivation -- 1.2 Challenges and Opportunities -- 1.3 Contributions -- 2 Preliminaries -- 2.1 Problem Formalization -- 2.2 Existing Graph-Based Methods -- 3 Our Methods -- 3.1 Limitations of Existing Methods -- 3.2 Semantic-Based Methods -- 3.3 Combination Strategy -- 4 Experiments -- 4.1 Experimental Setup -- 4.2 Main Results -- 4.3 Ablation Study -- 4.4 Case Study -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Faithful Embeddings for EL++ Knowledge Bases -- 1 Introduction -- 2 Related Work -- 3 Description Logic EL++ -- 4 BoxEL for Embedding EL++ Knowledge Bases -- 4.1 Geometric Construction -- 4.2 Geometric Interpretation -- 4.3 ABox Embedding -- 4.4 TBox Embedding -- 4.5 Optimization -- 5 Empirical Evaluation -- 5.1 A Proof-of-Concept Example -- 5.2 Subsumption Reasoning -- 5.3 Protein-Protein Interactions -- 5.4 Ablation Studies -- 6 Conclusion -- References -- Enhancing Document-Level Relation Extraction by Entity Knowledge Injection -- 1 Introduction -- 2 Related Work -- 3 Framework Formulation -- 4 Knowledge Injection -- 4.1 Coreference Encoding -- 4.2 Knowledge Graph Encoding -- 4.3 Representation Reconciliation -- 5 Experiments and Results -- 5.1 Experiment Setup -- 5.2 Main Results -- 5.3 Detailed Analysis -- 6 Conclusion -- References -- Hashing the Hypertrie: Space- and Time-Efficient Indexing for SPARQL in Tensors -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Notation and Conventions -- 3.2 RDF and SPARQL -- 3.3 Tensors and RDF -- 3.4 Hypertrie -- 4 Approach.
4.1 Hash-Based Identifiers -- 4.2 Single-Entry Node -- 4.3 In-Place Storage -- 4.4 Example -- 5 Evaluation -- 5.1 Index Size and Loading Time -- 5.2 Querying Stress Test -- 5.3 Discussion -- 6 Conclusion and Outlook -- References -- Towards Neural Network Interpretability Using Commonsense Knowledge Graphs -- 1 Introduction -- 2 Preliminaries -- 3 Generating Neuron-Attribute Alignments -- 3.1 Data Modeling -- 3.2 Neuron-Attribute Alignment -- 4 Evaluation and Applications -- 5 Experiments -- 5.1 Experimental Setup -- 5.2 Copy-Paste Adversarial Examples -- 5.3 Zero-Shot Learning Task -- 5.4 Reasoning over Multiple Networks -- 6 Related Work -- 7 Conclusion -- References -- Reproducibility Crisis in the LOD Cloud? Studying the Impact of Ontology Accessibility and Archiving as a Counter Measure -- 1 Introduction -- 2 Material and Methods -- 2.1 DBpedia Archivo - Augmented Ontology Archive -- 2.2 Archivo Ontology Discovery and Monitoring -- 2.3 Linked Open Vocabularies (LOV) -- 2.4 LOD Vocabulary Usage -- 3 Analysis -- 3.1 Ontology Accessibility Study -- 3.2 LOD Term Usage Analysis -- 3.3 Reproducibility Support and Archiving Impact Study -- 3.4 Archiving Potential and Barriers -- 4 Related Work -- 5 Discussion, Conclusion and Future Work -- References -- HCL: Improving Graph Representation with Hierarchical Contrastive Learning -- 1 Introduction -- 2 Related Works -- 2.1 Unsupervised Graph Learning -- 2.2 Multi-scale Graph Pooling -- 3 Methodology -- 3.1 Overview -- 3.2 Multi-scale Contrasting with L2Pool -- 3.3 In-scale Bootstrapping Pseudo-Siamese Network -- 4 Experiments -- 4.1 Datasets and Experimental Setup -- 4.2 Evaluation on Node-Level Tasks (RQ1) -- 4.3 Evaluation on Graph-Level Tasks (RQ2) -- 4.4 Components Analysis and Ablation of HCL (RQ3 and RQ4) -- 4.5 Further Analysis of Explainable Representation Visualization (RQ5) -- 5 Conclusions. References -- How to Agree to Disagree -- 1 Introduction -- 2 First-Order Standpoint Logic -- 2.1 FOSL Syntax and Semantics -- 2.2 Small Model Property of Sentential Formulas -- 2.3 Translation to Plain First-Order Logic -- 3 Expressive Decidable FOSL Fragments -- 4 Sentential Standpoint-SROIQbs -- 4.1 SROIQbs: Syntax and Semantics -- 4.2 Standpoint-SROIQbs -- 4.3 Coping with Peculiarities of SROIQbs -- 4.4 Translation into Plain SROIQbs -- 5 Example in the Forestry Domain -- 6 Related Work -- 7 Conclusions and Future Work -- References -- Context-Driven Visual Object Recognition Based on Knowledge Graphs -- 1 Introduction -- 2 Preliminaries -- 3 Learning Contextual Image Representations -- 3.1 Contextual View Extraction -- 3.2 Contextual View Infusion -- 4 Experiments -- 4.1 Implementation Details -- 4.2 Experiments on Cifar10 -- 4.3 Experiments on Mini-ImageNet -- 5 Discussion and Insights -- 6 Related Work -- 7 Conclusion and Future Work -- References -- EaT-PIM: Substituting Entities in Procedural Instructions Using Flow Graphs and Embeddings -- 1 Introduction -- 2 Problem Formulation -- 2.1 Recipe Modeling -- 2.2 Flow Graph Representation -- 3 Flow Graph Generation from Instructions -- 3.1 Parsing Instruction Text -- 3.2 Forming Flow Graphs -- 4 Flow Graph Embedding -- 4.1 Embedding Strategy -- 4.2 Replacement Techniques -- 5 Evaluation -- 5.1 Flow Graph Generation -- 5.2 Embedding Flow Graphs -- 5.3 Results -- 6 Related Work -- 7 Conclusion -- References -- H2TNE: Temporal Heterogeneous Information Network Embedding in Hyperbolic Spaces -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 Temporal HIN Embedding -- 3.2 Hyperbolic Geometry -- 4 Proposed Model -- 4.1 The Double-Constrained Random Walk -- 4.2 Hyperbolic Embedding -- 5 Experiments and Discussions -- 5.1 Experimental Setup -- 5.2 Experimental Performance. 5.3 Parameter Analysis -- 5.4 Visualizations -- 6 Conclusion -- References -- Facing Changes: Continual Entity Alignment for Growing Knowledge Graphs -- 1 Introduction -- 2 Problem Statement -- 3 Methodology -- 3.1 Subgraph-Based Entity Alignment -- 3.2 Embedding and Alignment Update -- 3.3 Put It All Together -- 4 Experiments -- 4.1 New Datasets for Continual Entity Alignment -- 4.2 Baselines -- 4.3 Experiment Settings -- 4.4 Results -- 4.5 Further Analysis -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Mapping Relational Database Constraints to SHACL -- 1 Introduction -- 2 Preliminaries -- 3 Constraint Rewriting: Definition and Properties -- 4 View Constraint: Definitions -- 5 Source to View Constraint Implication -- 6 The Constraint Rewriting -- 7 Discussion -- 8 Conclusion -- References -- POSO: A Generic Positioning System Ontology -- 1 Introduction -- 2 Ontology Design -- 2.1 Positioning System -- 2.2 Positioning Algorithms and Techniques -- 2.3 Absolute and Relative Positions -- 2.4 Orientation -- 2.5 Velocity and Acceleration -- 2.6 Observations and Accuracy -- 2.7 Alignment Module -- 3 Usage -- 4 Conclusions and Future Work -- References -- Each Snapshot to Each Space: Space Adaptation for Temporal Knowledge Graph Completion -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Dynamic Convolutional Neural Network -- 3.2 Time-Aware Parameter Generator -- 3.3 Training and Optimization -- 4 Experiments -- 4.1 Experimental Setup -- 4.2 Main Results -- 4.3 Analysis -- 5 Conclusion and Future Work -- References -- Efficient Dependency Analysis for Rule-Based Ontologies -- 1 Introduction -- 2 Preliminaries -- 3 Dependencies and Their Naive Computation -- 4 Computing Positive Reliances -- 5 Computing Restraints -- 6 Implementation and Global Optimisations -- 7 Evaluation -- 8 Conclusions -- References. Heterogeneous Graph Neural Network with Hypernetworks for Knowledge Graph Embedding -- 1 Introduction -- 2 Related Work -- 2.1 Heterogeneous Graph Neural Network -- 2.2 Hypernetwork -- 2.3 Knowledge Graph Embedding -- 3 Methodology -- 3.1 Hypernetworks for HGNNs -- 3.2 Message Construction with Hypernetworks -- 3.3 Multi-relational Message Propagation -- 3.4 Scoring Function -- 3.5 Training Strategy -- 4 Experiment -- 4.1 Datasets -- 4.2 Evaluation Protocol -- 4.3 Baselines -- 4.4 Hyper-parameter Settings -- 4.5 Results of Link Prediction -- 4.6 Ablation Study -- 5 Conclusion and Future Work -- References -- MultPAX: Keyphrase Extraction Using Language Models and Knowledge Graphs -- 1 Introduction -- 2 Related Work -- 2.1 Unsupervised Keyphrase Extraction -- 2.2 Absent Keyphrase Extraction -- 3 Our Approach -- 3.1 Problem Formulation -- 3.2 Present Keyphrase Extraction (PKE) -- 3.3 Absent Keyphrase Generation (AKG) -- 3.4 Keyphrases Semantic Matching -- 4 Experiments -- 4.1 Experimental Setup -- 4.2 Present Keyphrase Evaluation (Q1) -- 4.3 Absent Keyphrase Evaluation (Q2) -- 4.4 Ablation Study (Q3) -- 5 Conclusion -- References -- RT-KGD: Relation Transition Aware Knowledge-Grounded Dialogue Generation -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Task Formulation -- 3.2 Multi-turn Heterogeneous Knowledge Transition Path -- 3.3 Knowledge Encoder -- 3.4 Knowledge Predictor -- 3.5 Knowledge-Enhanced Encoder-Decoder -- 4 Experiments -- 4.1 Dataset -- 4.2 Settings -- 4.3 Evaluation Metrics -- 4.4 Experimental Results -- 4.5 Human Study -- 4.6 Ablation Study -- 4.7 Case Study -- 5 Conclusion -- References -- LoGNet: Local and Global Triple Embedding Network -- 1 Introduction -- 2 Definitions and Background -- 3 The LoGNet Framework -- 3.1 Local Triple Embeddings -- 3.2 Global Triple Embeddings -- 4 Anomalous Predicate Detection. 5 Experiments. |
| Record Nr. | UNISA-996495569803316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||