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 | ||
| ||
KI 2018: Advances in Artificial Intelligence [[electronic resource] ] : 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings / / edited by Frank Trollmann, Anni-Yasmin Turhan
| KI 2018: Advances in Artificial Intelligence [[electronic resource] ] : 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings / / edited by Frank Trollmann, Anni-Yasmin Turhan |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 424 p. 95 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Special purpose computers Application software Artificial Intelligence Algorithm Analysis and Problem Complexity Special Purpose and Application-Based Systems Computer Appl. in Administrative Data Processing |
| ISBN | 3-030-00111-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talks -- Keynote: Session-based Recommendation - Challenges and Recent Advances -- Reasoning -- Model Checking for Coalition Announcement Logic -- Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm -- Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm -- Acquisition of Terminological Knowledge in Probabilistic Description Logic -- Multi-Agent Systems -- Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items -- Approximate Probabilistic Parallel Multiset Rewriting using MCMC -- Efficient Auction Based Coordination for Distributed Multi-Agent Planning in Temporal Domains Using Resource Abstraction -- Maximizing Expected Impact in an Agent Reputation Network -- Developing a Distributed Drone Delivery System with a Hybrid Behavior Planning System -- Robotics -- A Sequence-Based Neuronal Model for Mobile Robot Localization -- Acquiring knowledge of object arrangements from human examples for household robots -- Learning -- Solver Tuning and Model Configuration -- Condorcet's Jury Theorem for Consensus Clustering -- Sparse Transfer Classification for Text Documents -- Towards Hypervector Representations for Learning and Planning with Schemas -- LEARNDIAG: A Direct Diagnosis Algorithm Based On Learned Heuristics -- Planning -- Assembly Planning in Cluttered Environments through Heterogeneous Reasoning -- Extracting Planning Operators from Instructional Texts for Behaviour Interpretation -- Risk-Sensitivity in Simulation Based Online Planning -- Neural Networks -- Evolutionary Structure Minimization of Deep Neural Networks for Motion Sensor Data -- Knowledge Sharing For Population Based Neural Network Training -- Limited Evaluation Evolutionary Optimization of Large Neural Networks -- Understanding NLP Neural Networks by the Texts They Generate -- Visual Search Target Inference using Bag of Deep Visual Words -- Analysis and Optimization of Deep Counterfactual Value Networks -- Search. -A Variant of Monte-Carlo Tree Search for Referring Expression Generation -- Preference-Based Monte Carlo Tree Search -- Belief Revision -- Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence -- Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges -- Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management -- Context Aware Systems -- Bounded-Memory Stream Processing -- An Implementation and Evaluation of User-centered Requirements for Smart In-House Mobility Services -- Cognitive Approach -- Predict the Individual Reasoner: A New Approach -- The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning. |
| Record Nr. | UNISA-996466326103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
KI 2018: Advances in Artificial Intelligence : 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings / / edited by Frank Trollmann, Anni-Yasmin Turhan
| KI 2018: Advances in Artificial Intelligence : 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings / / edited by Frank Trollmann, Anni-Yasmin Turhan |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 424 p. 95 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Special purpose computers Application software Artificial Intelligence Algorithm Analysis and Problem Complexity Special Purpose and Application-Based Systems Computer Appl. in Administrative Data Processing |
| ISBN | 3-030-00111-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talks -- Keynote: Session-based Recommendation - Challenges and Recent Advances -- Reasoning -- Model Checking for Coalition Announcement Logic -- Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm -- Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm -- Acquisition of Terminological Knowledge in Probabilistic Description Logic -- Multi-Agent Systems -- Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items -- Approximate Probabilistic Parallel Multiset Rewriting using MCMC -- Efficient Auction Based Coordination for Distributed Multi-Agent Planning in Temporal Domains Using Resource Abstraction -- Maximizing Expected Impact in an Agent Reputation Network -- Developing a Distributed Drone Delivery System with a Hybrid Behavior Planning System -- Robotics -- A Sequence-Based Neuronal Model for Mobile Robot Localization -- Acquiring knowledge of object arrangements from human examples for household robots -- Learning -- Solver Tuning and Model Configuration -- Condorcet's Jury Theorem for Consensus Clustering -- Sparse Transfer Classification for Text Documents -- Towards Hypervector Representations for Learning and Planning with Schemas -- LEARNDIAG: A Direct Diagnosis Algorithm Based On Learned Heuristics -- Planning -- Assembly Planning in Cluttered Environments through Heterogeneous Reasoning -- Extracting Planning Operators from Instructional Texts for Behaviour Interpretation -- Risk-Sensitivity in Simulation Based Online Planning -- Neural Networks -- Evolutionary Structure Minimization of Deep Neural Networks for Motion Sensor Data -- Knowledge Sharing For Population Based Neural Network Training -- Limited Evaluation Evolutionary Optimization of Large Neural Networks -- Understanding NLP Neural Networks by the Texts They Generate -- Visual Search Target Inference using Bag of Deep Visual Words -- Analysis and Optimization of Deep Counterfactual Value Networks -- Search. -A Variant of Monte-Carlo Tree Search for Referring Expression Generation -- Preference-Based Monte Carlo Tree Search -- Belief Revision -- Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence -- Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges -- Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management -- Context Aware Systems -- Bounded-Memory Stream Processing -- An Implementation and Evaluation of User-centered Requirements for Smart In-House Mobility Services -- Cognitive Approach -- Predict the Individual Reasoner: A New Approach -- The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning. |
| Record Nr. | UNINA-9910349403803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
| Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings |
| Autore | Governatori Guido |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2022 |
| Descrizione fisica | 1 online resource (310 pages) |
| Disciplina | 005.115 |
| Altri autori (Persone) | TurhanAnni-Yasmin |
| Collana | Lecture Notes in Computer Science |
| Soggetto non controllato | Mathematics |
| ISBN | 3-031-21541-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Answer Set Programming -- Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery -- 1 Introduction -- 2 Definitions of Machines and Schedules -- 3 Basic PMS Problems and Their Complexities -- 4 An ASO-Based Implementation -- 5 Experiments -- 6 Conclusion -- References -- On the Generalization of Learned Constraints for ASP Solving in Temporal Domains -- 1 Introduction -- 2 Background -- 3 Temporal Programs, Problems and Nogoods -- 4 Generalizing Learned Constraints -- 5 Translations -- 6 Experiments -- 7 Conclusion -- References -- The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities -- 1 Introduction -- 2 The I-DLV-sr System -- 3 Re-engineering the System and Improving Performance -- 3.1 Performance Evaluation -- 4 New Language Features -- 5 Stream Reasoning via I-DLV-sr in Smart City Scenarios -- 5.1 Modeling Smart City Applications with I-DLV-sr -- 5.2 Performance Evaluation -- 6 Related Work -- 7 Conclusions -- References -- Plingo: A System for Probabilistic Reasoning in Clingo Based on LPMLN -- 1 Introduction -- 2 Background -- 3 LPMLN and the Language of Plingo -- 4 The System Plingo -- 5 Experiments -- 6 Conclusion -- References -- Foundations of Nonmonotonic Reasoning -- From Defeasible Logic to Counterfactual Reasoning -- 1 Introduction -- 2 Defeasible Logic -- 3 Counterfactuals -- 4 Counterfactuals in Defeasible Logic: Fact Revision -- 4.1 Preliminaries -- 4.2 Mapping SDL into Counterfactuals - Part I -- 5 Counterfactuals in Defeasible Logic: Theory Revision -- 5.1 Revising Defeasible Theories -- 5.2 Mapping SDL into Counterfactuals - Part II -- 6 Results -- 7 Conclusions -- References -- KLM-Style Defeasibility for Restricted First-Order Logic -- 1 Introduction -- 2 Background.
3 Defeasible Restricted First-Order Logic -- 4 Defeasible Entailment -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Semantic Characterizations of AGM Revision for Tarskian Logics -- 1 Introduction -- 2 Preliminaries -- 2.1 Logics with Classical Model-Theoretic Semantics -- 2.2 Relations over Interpretations -- 2.3 Bases -- 2.4 Base Change Operators -- 2.5 Postulates for Revision -- 3 Base Revision in Propositional Logic -- 4 Approach for Arbitrary Base Logics -- 4.1 First Problem: Non-existence of Minima -- 4.2 Second Problem: Transitivity of Preorder -- 5 One-way Representation Theorem -- 6 Two-way Representation Theorem -- 7 Total-Preorder-Representability -- 8 Related Work -- 9 Conclusion -- References -- Datalog -- iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning -- 1 Introduction -- 2 Syntax and Semantics of Warded Datalog -- 3 iWarded System -- 3.1 Overview of the Generator -- 3.2 Benchmark Generation Procedure -- 4 Experimental Evaluation -- 5 Related Work -- 6 Conclusion -- References -- The Temporal Vadalog System -- 1 Introduction -- 2 DatalogMTL -- 3 The Temporal Vadalog System -- 3.1 A Time-Aware Execution Pipeline -- 3.2 Temporal Operators in the Execution Pipeline -- 3.3 Merging Strategies -- 3.4 Temporal Joins and Stratified Negation -- 3.5 Termination Strategy for the Infinite Chase of Intervals -- 3.6 Combining Temporal and Non-Temporal Reasoning -- 4 Experiments -- 4.1 Experiments with Realistic and Real-World Data -- 4.2 Temporal Foundation Benchmark -- 5 Related Work -- 6 Conclusion -- References -- An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog -- 1 Introduction -- 2 Preliminaries -- 3 Rule-Based Provenance On-Demand -- 4 Realization as Solutions to Systems of Equations -- 5 Realization with Datalog(S) -- 5.1 Datalog with Sets. 5.2 Collecting Sets from Downward Closures -- 6 Implementation and Experimental Results -- 6.1 Feasibility of the On-Demand Approach to Why-Provenance -- 6.2 Performance of Why-Provenance Computation -- 7 Related Work -- 8 Conclusions -- References -- Queries Over Ontologies -- Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models -- 1 Introduction -- 2 Preliminaries -- 3 A Deriver Using Universal Models -- 4 Finding Good Proofs in D sk -- 4.1 The Data Complexity of Finding Good Proofs -- 4.2 Finding Good Proofs with Lightweight Ontologies -- 4.3 Finding Good Proofs with Expressive Ontologies -- 5 Directly Deriving CQs -- 6 Conclusion -- References -- Seminaïve Materialisation in DatalogMTL -- 1 Introduction -- 2 Preliminaries -- 3 Naïve Materialisation in DatalogMTL -- 4 Seminaïve Evaluation -- 5 Optimised Seminaïve Evaluation -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Magic Sets in Interpolation-Based Rule Driven Query Optimization -- 1 Introduction -- 2 Preliminaries and Definitions -- 3 MST and Rule Rewriting -- 4 Conclusion -- References -- Proofs, Error-Tolerance, and Rules -- In the Head of the Beholder: Comparing Different Proof Representations -- 1 Introduction -- 2 Background -- 3 Study I - Are Short Proofs Preferred? -- 4 Study II - Connecting Cognitive Abilities and Proof Understanding -- 5 Study III - Logical Abilities and Proof Representation Preferences -- 6 Study IV - Final Experiment -- 7 General Discussion -- 7.1 Limitations -- 7.2 Future Work -- References -- Error-Tolerant Reasoning in the Description Logic EL Based on Optimal Repairs -- 1 Introduction -- 2 Preliminaries -- 3 Optimal and Canonical Repairs -- 4 Error-Tolerant Reasoning w.r.t. Optimal Repairs -- 4.1 Brave Entailment -- 4.2 Cautious Entailment -- 5 Conclusion -- References. Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning -- 1 Introduction -- 2 Preliminaries -- 2.1 The TPTP Infrastructure for ATP Systems -- 2.2 Deontic Logics and LegalRuleML -- 2.3 Domain-Specific Languages -- 3 Logical Pluralism in Normative Reasoning -- 3.1 The Problem of Formalization -- 3.2 Formalizing Normative Discourse -- 4 Normative Knowledge Representation in the TPTP -- 4.1 NMF: A Normative DSL in TPTP -- 4.2 Conversion from LegalRuleML to NMF -- 5 TPTP-Based Normative Reasoning Backends -- 6 Conclusion -- References -- Agents and Argumentation -- A Rule-Based Behaviour Planner for Autonomous Driving -- 1 Introduction -- 2 Rule Engine -- 2.1 Layers and Rules -- 2.2 Resolving a Single Behaviour -- 2.3 Inference Example -- 3 Learning and Maintaining the Theory -- 3.1 Rule Engine Update Algorithm -- 3.2 Rule and Training Set Development -- 4 Experimental Results -- 4.1 Driving Policy -- 4.2 Field Test -- 5 Conclusion -- References -- Cooperation Among Groups of Agents in the Epistemic Logic L-DINF -- 1 Introduction -- 2 Logical Framework -- 2.1 Syntax -- 2.2 Semantics -- 2.3 Belief Update -- 2.4 Axiomatization -- 3 Problem Specification and Inference: An Example -- 4 Canonical Model and Strong Completeness -- 5 Conclusions -- References -- Prudens: An Argumentation-Based Language for Cognitive Assistants -- 1 Introduction -- 2 Basic Syntax and Semantics -- 2.1 Rule Syntax -- 2.2 Reasoning -- 2.3 Custom Priorities and Dilemmas -- 3 Extended Syntax and Semantics -- 3.1 The Unification Predicate -- 3.2 On-the-Fly Math Operations -- 3.3 Procedural Predicates -- 3.4 Partially Grounded Contexts -- 3.5 Extended Conflict Semantics -- 4 Ongoing and Future Work -- 4.1 Deduction, Induction and Abduction -- 4.2 Natural Language Interfaces -- 4.3 Applications -- 5 Conclusions -- References -- Author Index. |
| Record Nr. | UNISA-996503469803316 |
Governatori Guido
|
||
| Cham : , : Springer International Publishing AG, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
| Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings |
| Autore | Governatori Guido |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2022 |
| Descrizione fisica | 1 online resource (310 pages) |
| Disciplina | 005.115 |
| Altri autori (Persone) | TurhanAnni-Yasmin |
| Collana | Lecture Notes in Computer Science |
| Soggetto non controllato | Mathematics |
| ISBN | 3-031-21541-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Answer Set Programming -- Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery -- 1 Introduction -- 2 Definitions of Machines and Schedules -- 3 Basic PMS Problems and Their Complexities -- 4 An ASO-Based Implementation -- 5 Experiments -- 6 Conclusion -- References -- On the Generalization of Learned Constraints for ASP Solving in Temporal Domains -- 1 Introduction -- 2 Background -- 3 Temporal Programs, Problems and Nogoods -- 4 Generalizing Learned Constraints -- 5 Translations -- 6 Experiments -- 7 Conclusion -- References -- The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities -- 1 Introduction -- 2 The I-DLV-sr System -- 3 Re-engineering the System and Improving Performance -- 3.1 Performance Evaluation -- 4 New Language Features -- 5 Stream Reasoning via I-DLV-sr in Smart City Scenarios -- 5.1 Modeling Smart City Applications with I-DLV-sr -- 5.2 Performance Evaluation -- 6 Related Work -- 7 Conclusions -- References -- Plingo: A System for Probabilistic Reasoning in Clingo Based on LPMLN -- 1 Introduction -- 2 Background -- 3 LPMLN and the Language of Plingo -- 4 The System Plingo -- 5 Experiments -- 6 Conclusion -- References -- Foundations of Nonmonotonic Reasoning -- From Defeasible Logic to Counterfactual Reasoning -- 1 Introduction -- 2 Defeasible Logic -- 3 Counterfactuals -- 4 Counterfactuals in Defeasible Logic: Fact Revision -- 4.1 Preliminaries -- 4.2 Mapping SDL into Counterfactuals - Part I -- 5 Counterfactuals in Defeasible Logic: Theory Revision -- 5.1 Revising Defeasible Theories -- 5.2 Mapping SDL into Counterfactuals - Part II -- 6 Results -- 7 Conclusions -- References -- KLM-Style Defeasibility for Restricted First-Order Logic -- 1 Introduction -- 2 Background.
3 Defeasible Restricted First-Order Logic -- 4 Defeasible Entailment -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Semantic Characterizations of AGM Revision for Tarskian Logics -- 1 Introduction -- 2 Preliminaries -- 2.1 Logics with Classical Model-Theoretic Semantics -- 2.2 Relations over Interpretations -- 2.3 Bases -- 2.4 Base Change Operators -- 2.5 Postulates for Revision -- 3 Base Revision in Propositional Logic -- 4 Approach for Arbitrary Base Logics -- 4.1 First Problem: Non-existence of Minima -- 4.2 Second Problem: Transitivity of Preorder -- 5 One-way Representation Theorem -- 6 Two-way Representation Theorem -- 7 Total-Preorder-Representability -- 8 Related Work -- 9 Conclusion -- References -- Datalog -- iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning -- 1 Introduction -- 2 Syntax and Semantics of Warded Datalog -- 3 iWarded System -- 3.1 Overview of the Generator -- 3.2 Benchmark Generation Procedure -- 4 Experimental Evaluation -- 5 Related Work -- 6 Conclusion -- References -- The Temporal Vadalog System -- 1 Introduction -- 2 DatalogMTL -- 3 The Temporal Vadalog System -- 3.1 A Time-Aware Execution Pipeline -- 3.2 Temporal Operators in the Execution Pipeline -- 3.3 Merging Strategies -- 3.4 Temporal Joins and Stratified Negation -- 3.5 Termination Strategy for the Infinite Chase of Intervals -- 3.6 Combining Temporal and Non-Temporal Reasoning -- 4 Experiments -- 4.1 Experiments with Realistic and Real-World Data -- 4.2 Temporal Foundation Benchmark -- 5 Related Work -- 6 Conclusion -- References -- An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog -- 1 Introduction -- 2 Preliminaries -- 3 Rule-Based Provenance On-Demand -- 4 Realization as Solutions to Systems of Equations -- 5 Realization with Datalog(S) -- 5.1 Datalog with Sets. 5.2 Collecting Sets from Downward Closures -- 6 Implementation and Experimental Results -- 6.1 Feasibility of the On-Demand Approach to Why-Provenance -- 6.2 Performance of Why-Provenance Computation -- 7 Related Work -- 8 Conclusions -- References -- Queries Over Ontologies -- Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models -- 1 Introduction -- 2 Preliminaries -- 3 A Deriver Using Universal Models -- 4 Finding Good Proofs in D sk -- 4.1 The Data Complexity of Finding Good Proofs -- 4.2 Finding Good Proofs with Lightweight Ontologies -- 4.3 Finding Good Proofs with Expressive Ontologies -- 5 Directly Deriving CQs -- 6 Conclusion -- References -- Seminaïve Materialisation in DatalogMTL -- 1 Introduction -- 2 Preliminaries -- 3 Naïve Materialisation in DatalogMTL -- 4 Seminaïve Evaluation -- 5 Optimised Seminaïve Evaluation -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Magic Sets in Interpolation-Based Rule Driven Query Optimization -- 1 Introduction -- 2 Preliminaries and Definitions -- 3 MST and Rule Rewriting -- 4 Conclusion -- References -- Proofs, Error-Tolerance, and Rules -- In the Head of the Beholder: Comparing Different Proof Representations -- 1 Introduction -- 2 Background -- 3 Study I - Are Short Proofs Preferred? -- 4 Study II - Connecting Cognitive Abilities and Proof Understanding -- 5 Study III - Logical Abilities and Proof Representation Preferences -- 6 Study IV - Final Experiment -- 7 General Discussion -- 7.1 Limitations -- 7.2 Future Work -- References -- Error-Tolerant Reasoning in the Description Logic EL Based on Optimal Repairs -- 1 Introduction -- 2 Preliminaries -- 3 Optimal and Canonical Repairs -- 4 Error-Tolerant Reasoning w.r.t. Optimal Repairs -- 4.1 Brave Entailment -- 4.2 Cautious Entailment -- 5 Conclusion -- References. Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning -- 1 Introduction -- 2 Preliminaries -- 2.1 The TPTP Infrastructure for ATP Systems -- 2.2 Deontic Logics and LegalRuleML -- 2.3 Domain-Specific Languages -- 3 Logical Pluralism in Normative Reasoning -- 3.1 The Problem of Formalization -- 3.2 Formalizing Normative Discourse -- 4 Normative Knowledge Representation in the TPTP -- 4.1 NMF: A Normative DSL in TPTP -- 4.2 Conversion from LegalRuleML to NMF -- 5 TPTP-Based Normative Reasoning Backends -- 6 Conclusion -- References -- Agents and Argumentation -- A Rule-Based Behaviour Planner for Autonomous Driving -- 1 Introduction -- 2 Rule Engine -- 2.1 Layers and Rules -- 2.2 Resolving a Single Behaviour -- 2.3 Inference Example -- 3 Learning and Maintaining the Theory -- 3.1 Rule Engine Update Algorithm -- 3.2 Rule and Training Set Development -- 4 Experimental Results -- 4.1 Driving Policy -- 4.2 Field Test -- 5 Conclusion -- References -- Cooperation Among Groups of Agents in the Epistemic Logic L-DINF -- 1 Introduction -- 2 Logical Framework -- 2.1 Syntax -- 2.2 Semantics -- 2.3 Belief Update -- 2.4 Axiomatization -- 3 Problem Specification and Inference: An Example -- 4 Canonical Model and Strong Completeness -- 5 Conclusions -- References -- Prudens: An Argumentation-Based Language for Cognitive Assistants -- 1 Introduction -- 2 Basic Syntax and Semantics -- 2.1 Rule Syntax -- 2.2 Reasoning -- 2.3 Custom Priorities and Dilemmas -- 3 Extended Syntax and Semantics -- 3.1 The Unification Predicate -- 3.2 On-the-Fly Math Operations -- 3.3 Procedural Predicates -- 3.4 Partially Grounded Contexts -- 3.5 Extended Conflict Semantics -- 4 Ongoing and Future Work -- 4.1 Deduction, Induction and Abduction -- 4.2 Natural Language Interfaces -- 4.3 Applications -- 5 Conclusions -- References -- Author Index. |
| Record Nr. | UNINA-9910635393903321 |
|
Governatori Guido
|
||
| Cham : , : Springer International Publishing AG, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic Technology [[electronic resource] ] : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings / / edited by Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang
| Semantic Technology [[electronic resource] ] : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings / / edited by Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 352 p. 97 illus.) |
| Disciplina | 006 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Artificial intelligence Application software Data mining Mathematical logic Information Storage and Retrieval Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-70682-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Ontology and Data Management -- Building Wikipedia Ontology with More Semi-structured Information Resources -- 1 Introduction -- 2 Related Work -- 3 English Wikipedia Ontology Building Method -- 3.1 Is-a Relation Extraction Method -- 3.2 Class-Instance Relation Extraction Method -- 3.3 Triple Extraction Method -- 3.4 Upper-Lower Relation Extraction Method from Define Statements -- 4 Evaluation of Built Ontology -- 4.1 Result of Is-a Relation Extraction -- 4.2 Result of Class-Instance Relation Extraction -- 4.3 Result of Triple Extraction -- 4.4 Result of Upper-Lower Relation Extraction from Define Statements -- 5 Evaluation by Comparison with Existing Ontology -- 5.1 Comparison with YAGO -- 5.2 Comparison with DBpedia Ontology -- 6 Conclusion -- References -- Data Structuring for Launching Web Services Triggered by Media Content -- Abstract -- 1 Introduction -- 2 Issues -- 3 Related Work -- 4 Data Model -- 4.1 Analysis of Actual Service Categories and Genres -- 4.2 Overview About Data Model -- 4.3 Structuring Data -- 4.3.1 Data Structure for Content -- 4.3.2 Data Structure for Service Description -- 4.4 Inference-Based Matching/Query Generation Processing -- 4.4.1 Processing Matches for Content and Services -- 4.4.2 Processing Query Generation for Launching Services -- 5 Discussion -- 5.1 Service Linking When Watching Broadcast Content -- 5.2 Added Service Linkage to Existing IFTTT Service -- 6 Summary -- References -- Refined JST Thesaurus Extended with Data from Other Open Life Science Data Sources -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Update of Refined JST Thesaurus -- 4 Evaluation of the Refined JST Thesaurus -- 4.1 Method -- 4.2 Results -- 5 Conclusions -- Acknowledgment -- References -- Refinement-Based OWL Class Induction with Convex Measures -- 1 Introduction.
1.1 Preliminaries -- 2 Beam Search for Concepts -- 3 Utility and Quality Functions in Beam Search -- 4 A Top-k Beam Search for Supervised Concept Learning -- 5 Experimental Evaluation -- 6 Related Work -- 7 Conclusion -- References -- Ontology Reasoning -- Reasoning on Context-Dependent Domain Models -- 1 Introduction -- 2 Basic Notions -- 3 Reasoning on Role-Based Models -- 4 JConHT - a SHOIQ[[SHOIQ]] Reasoner -- 5 Case Studies -- 6 Related Work -- 7 Conclusion -- References -- Energy-Efficiency of OWL Reasoners---Frequency Matters -- 1 Introduction -- 2 Experimental Setup -- 2.1 Experimental Data and Systems -- 2.2 Setup of the Experiments -- 3 Observations -- 3.1 Running Times -- 3.2 Energy and Power Consumption -- 3.3 Impact of the CPU Frequency -- 4 Conclusion -- References -- The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding -- 1 Introduction -- 2 The Identity Problem -- 3 Three DLs with Equality Power -- 4 The Complexity of the Identity Problem -- 5 The View-Based Identity Problem -- 6 Conclusions and Future Work -- References -- Linked Data and Query -- Resolving Range Violations in DBpedia -- 1 Introduction -- 2 Range Violation Errors in DBpedia -- 3 Related Work -- 4 Our Approach -- 4.1 Constructing a Reduced Search Space -- 4.2 Calculating Scores -- 5 Experiments -- 5.1 Datasets -- 5.2 Experiment 1: Evaluating the Search Space -- 5.3 Experiment 2: Evaluating the Whole Approach -- 6 Conclusion -- References -- Entity Linking in Queries Using Word, Mention and Entity Joint Embedding -- 1 Introduction -- 2 Word, Mention and Entity Joint Embedding -- 2.1 The Skip-Gram Model -- 2.2 Joint Embedding by Skip-Gram Model -- 2.3 Using Wikipedia as Training Corpus -- 3 Query Entity Linking Approach -- 3.1 Identifying Mentions and Its Candidate Entities -- 3.2 Features for Entity Disambiguation. 3.3 Entity Linking as Ranking -- 4 Evaluation -- 4.1 Dataset -- 4.2 Comparison Systems -- 4.3 Evaluation Results -- 5 Related Work -- 5.1 Entity Embedding -- 5.2 Entity Linking -- 6 Conclusion -- References -- Publishing E-RDF Linked Data for Many Agents by Single Third-Party Server -- Abstract -- 1 Introduction -- 2 Related Works -- 3 Systematic URI Standard of Third-Party Server -- 3.1 URI Definition Standard -- 3.2 Graph: Multiple Agents Management -- 3.3 Ontology: Concept and Property -- 3.4 Resource: Instance or Individual -- 4 E-RDF: An Extension Notion of RDF -- 5 Confidential Data Protection -- 6 Prototype System -- 7 Interlinking and 5-Star Data Improvement -- 8 Conclusion -- Acknowledgments -- References -- Missing RDF Triples Detection and Correction in Knowledge Graphs -- 1 Introduction -- 2 Related Work -- 3 Knowledge Graph Analysis for Discovering RDF Triples -- 3.1 Graph-Based Approach for Object Property Triples -- 3.2 Word Embedding Based Approach for Datatype Property Triples -- 4 Experiment -- 4.1 Knowledge Graphs -- 4.2 Implementation -- 4.3 Exp 1: Discover Similar Object Properties -- 4.4 Exp 2: Discover Object Property Triples -- 4.5 Exp 3: Discover Similar Datatype Properties -- 4.6 Exp 4: Discover Datatype Property Triples -- 5 Conclusion and Future Work -- References -- Information Retrieval and Knowledge Discovery -- A New Sentiment and Topic Model for Short Texts on Social Media -- 1 Introduction -- 2 Related Work -- 2.1 Topic Models on Short Texts -- 2.2 Joint Sentiment/Topic Models -- 3 The Proposed Work -- 3.1 Brief Review of TUS-LDA -- 3.2 Sentiment Topic Model for Posts -- 3.3 Parameters Inference for STMP -- 3.4 Incorporating Prior Knowledge -- 4 Experiment -- 4.1 Dataset Description -- 4.2 Sentiment Lexicon -- 4.3 Parameter Settings -- 4.4 Sentiment Classification -- 4.5 Qualitative Analysis. 5 Conclusion and Future Work -- References -- Semi-supervised Stance-Topic Model for Stance Classification on Social Media -- 1 Introduction -- 2 Related Work -- 2.1 Supervised Stance Classification -- 2.2 Weakly-supervised or Semi-supervised Stance Classification -- 3 Our Proposed Model -- 3.1 Generative Process -- 3.2 Setting x with a Maximum Entropy Model -- 3.3 Inference -- 4 Experiment Analysis -- 4.1 Dataset Description -- 4.2 Parameter Settings -- 4.3 Stance Classification -- 4.4 Case Analysis for Stance Detection -- 4.5 Visualization of Stance-Related Topics -- 5 Conclusion and Future Work -- References -- Mining Inverse and Symmetric Axioms in Linked Data -- 1 Introduction -- 1.1 Challenges and Contributions -- 2 Related Work -- 2.1 Limitations of Existing Work -- 3 Preliminaries -- 3.1 Property Axioms -- 3.2 Mining Logical Rules Under OWA -- 4 Proposed Method -- 4.1 Rules of Interest -- 4.2 Ordering Rules -- 4.3 Clustering -- 4.4 Axiom Generation -- 5 Experimental Results -- 5.1 Datasets -- 5.2 Comparison with Naive Baselines -- 5.3 Quantitative Performance -- 5.4 Qualitative Performance -- 6 Conclusion -- References -- Enhancing Knowledge Graph Embedding from a Logical Perspective -- 1 Introduction -- 2 Preliminaries -- 2.1 OWL 2 RBox and Knowledge Graph -- 2.2 Translation-Based Methods in Knowledge Graph Embedding -- 3 Enhancements for Translation-Based Methods -- 4 Experiments -- 4.1 Data Sets -- 4.2 Link Prediction -- 4.3 Triple Classification -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Knowledge Graphs -- Cross-Lingual Taxonomy Alignment with Bilingual Knowledge Graph Embeddings -- 1 Introduction -- 2 The Proposed Approach -- 2.1 Candidates Identification -- 2.2 Acquiring Relevant Triples -- 2.3 Learning Vector Representations -- 2.4 Exact Matching -- 3 Preliminary Experiments -- 3.1 Experiment Settings. 3.2 Preliminary Results -- 3.3 Combining BTransE with BiBTM -- 4 Conclusion and Future Work -- References -- KG-Buddhism: The Chinese Knowledge Graph on Buddhism -- 1 Introduction -- 2 Development Method -- 2.1 Knowledge Collection -- 2.2 Knowledge Fusion -- 2.3 Knowledge Completion -- 2.4 Linking to DBpedia -- 3 Dataset Statistics -- 4 Online API -- 5 Conclusions and Future Work -- References -- Semantic Graph Analysis for Federated LOD Surfing in Life Sciences -- 1 Introduction -- 2 LOD Surfer -- 2.1 SPARQL Builder Metadata -- 2.2 Merged Class Graph for LOD -- 3 Graph Analysis for Merged Class Graph -- 3.1 Cut Classes for Federated Search -- 4 Discussion -- 5 Conclusion -- References -- Development of Semantic Web-Based Imaging Database for Biological Morphome -- 1 Introduction -- 2 Methods -- 2.1 Extension of Microscopy Ontology for Morphomics Data -- 2.2 Microstructural Bioimaging and Image Processing -- 2.3 Development of Electron Microscopy Viewer and the Annotation of Phenotype Data -- 2.4 Construction of Metadatabase for Microstructural Imaging Data of Biotissue -- 3 Results and Discussion -- 3.1 Vocabulary Extension for Experimental Description and Morphome Data Description -- 3.2 Imaging Metadatabase and Comprehensive Morphome Analysis on the Semantic Web -- 4 Conclusions -- References -- Applications of Semantic Technologies -- User Participatory Construction of Open Hazard Data for Preventing Bicycle Accidents -- 1 Introduction -- 2 Related Works -- 2.1 Environmental Sensing Methods -- 2.2 Behavior Recognition Methods -- 2.3 User Participation Methods -- 3 Detection System of Sudden Braking -- 3.1 Sensing User Data -- 3.2 Sudden Braking Recognition -- 4 Experiment Results on Sudden Braking Detection -- 4.1 Preliminary Experiment -- 4.2 Actual Experiment on Public Streets -- 5 RDF Construction -- 6 Conclusion and Future Work -- References. Semantic IoT: Intelligent Water Management for Efficient Urban Outdoor Water Conservation. |
| Record Nr. | UNISA-996466230003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantic Technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings / / edited by Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang
| Semantic Technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings / / edited by Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 352 p. 97 illus.) |
| Disciplina | 006 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Artificial intelligence Application software Data mining Mathematical logic Information Storage and Retrieval Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-70682-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Ontology and Data Management -- Building Wikipedia Ontology with More Semi-structured Information Resources -- 1 Introduction -- 2 Related Work -- 3 English Wikipedia Ontology Building Method -- 3.1 Is-a Relation Extraction Method -- 3.2 Class-Instance Relation Extraction Method -- 3.3 Triple Extraction Method -- 3.4 Upper-Lower Relation Extraction Method from Define Statements -- 4 Evaluation of Built Ontology -- 4.1 Result of Is-a Relation Extraction -- 4.2 Result of Class-Instance Relation Extraction -- 4.3 Result of Triple Extraction -- 4.4 Result of Upper-Lower Relation Extraction from Define Statements -- 5 Evaluation by Comparison with Existing Ontology -- 5.1 Comparison with YAGO -- 5.2 Comparison with DBpedia Ontology -- 6 Conclusion -- References -- Data Structuring for Launching Web Services Triggered by Media Content -- Abstract -- 1 Introduction -- 2 Issues -- 3 Related Work -- 4 Data Model -- 4.1 Analysis of Actual Service Categories and Genres -- 4.2 Overview About Data Model -- 4.3 Structuring Data -- 4.3.1 Data Structure for Content -- 4.3.2 Data Structure for Service Description -- 4.4 Inference-Based Matching/Query Generation Processing -- 4.4.1 Processing Matches for Content and Services -- 4.4.2 Processing Query Generation for Launching Services -- 5 Discussion -- 5.1 Service Linking When Watching Broadcast Content -- 5.2 Added Service Linkage to Existing IFTTT Service -- 6 Summary -- References -- Refined JST Thesaurus Extended with Data from Other Open Life Science Data Sources -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Update of Refined JST Thesaurus -- 4 Evaluation of the Refined JST Thesaurus -- 4.1 Method -- 4.2 Results -- 5 Conclusions -- Acknowledgment -- References -- Refinement-Based OWL Class Induction with Convex Measures -- 1 Introduction.
1.1 Preliminaries -- 2 Beam Search for Concepts -- 3 Utility and Quality Functions in Beam Search -- 4 A Top-k Beam Search for Supervised Concept Learning -- 5 Experimental Evaluation -- 6 Related Work -- 7 Conclusion -- References -- Ontology Reasoning -- Reasoning on Context-Dependent Domain Models -- 1 Introduction -- 2 Basic Notions -- 3 Reasoning on Role-Based Models -- 4 JConHT - a SHOIQ[[SHOIQ]] Reasoner -- 5 Case Studies -- 6 Related Work -- 7 Conclusion -- References -- Energy-Efficiency of OWL Reasoners---Frequency Matters -- 1 Introduction -- 2 Experimental Setup -- 2.1 Experimental Data and Systems -- 2.2 Setup of the Experiments -- 3 Observations -- 3.1 Running Times -- 3.2 Energy and Power Consumption -- 3.3 Impact of the CPU Frequency -- 4 Conclusion -- References -- The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding -- 1 Introduction -- 2 The Identity Problem -- 3 Three DLs with Equality Power -- 4 The Complexity of the Identity Problem -- 5 The View-Based Identity Problem -- 6 Conclusions and Future Work -- References -- Linked Data and Query -- Resolving Range Violations in DBpedia -- 1 Introduction -- 2 Range Violation Errors in DBpedia -- 3 Related Work -- 4 Our Approach -- 4.1 Constructing a Reduced Search Space -- 4.2 Calculating Scores -- 5 Experiments -- 5.1 Datasets -- 5.2 Experiment 1: Evaluating the Search Space -- 5.3 Experiment 2: Evaluating the Whole Approach -- 6 Conclusion -- References -- Entity Linking in Queries Using Word, Mention and Entity Joint Embedding -- 1 Introduction -- 2 Word, Mention and Entity Joint Embedding -- 2.1 The Skip-Gram Model -- 2.2 Joint Embedding by Skip-Gram Model -- 2.3 Using Wikipedia as Training Corpus -- 3 Query Entity Linking Approach -- 3.1 Identifying Mentions and Its Candidate Entities -- 3.2 Features for Entity Disambiguation. 3.3 Entity Linking as Ranking -- 4 Evaluation -- 4.1 Dataset -- 4.2 Comparison Systems -- 4.3 Evaluation Results -- 5 Related Work -- 5.1 Entity Embedding -- 5.2 Entity Linking -- 6 Conclusion -- References -- Publishing E-RDF Linked Data for Many Agents by Single Third-Party Server -- Abstract -- 1 Introduction -- 2 Related Works -- 3 Systematic URI Standard of Third-Party Server -- 3.1 URI Definition Standard -- 3.2 Graph: Multiple Agents Management -- 3.3 Ontology: Concept and Property -- 3.4 Resource: Instance or Individual -- 4 E-RDF: An Extension Notion of RDF -- 5 Confidential Data Protection -- 6 Prototype System -- 7 Interlinking and 5-Star Data Improvement -- 8 Conclusion -- Acknowledgments -- References -- Missing RDF Triples Detection and Correction in Knowledge Graphs -- 1 Introduction -- 2 Related Work -- 3 Knowledge Graph Analysis for Discovering RDF Triples -- 3.1 Graph-Based Approach for Object Property Triples -- 3.2 Word Embedding Based Approach for Datatype Property Triples -- 4 Experiment -- 4.1 Knowledge Graphs -- 4.2 Implementation -- 4.3 Exp 1: Discover Similar Object Properties -- 4.4 Exp 2: Discover Object Property Triples -- 4.5 Exp 3: Discover Similar Datatype Properties -- 4.6 Exp 4: Discover Datatype Property Triples -- 5 Conclusion and Future Work -- References -- Information Retrieval and Knowledge Discovery -- A New Sentiment and Topic Model for Short Texts on Social Media -- 1 Introduction -- 2 Related Work -- 2.1 Topic Models on Short Texts -- 2.2 Joint Sentiment/Topic Models -- 3 The Proposed Work -- 3.1 Brief Review of TUS-LDA -- 3.2 Sentiment Topic Model for Posts -- 3.3 Parameters Inference for STMP -- 3.4 Incorporating Prior Knowledge -- 4 Experiment -- 4.1 Dataset Description -- 4.2 Sentiment Lexicon -- 4.3 Parameter Settings -- 4.4 Sentiment Classification -- 4.5 Qualitative Analysis. 5 Conclusion and Future Work -- References -- Semi-supervised Stance-Topic Model for Stance Classification on Social Media -- 1 Introduction -- 2 Related Work -- 2.1 Supervised Stance Classification -- 2.2 Weakly-supervised or Semi-supervised Stance Classification -- 3 Our Proposed Model -- 3.1 Generative Process -- 3.2 Setting x with a Maximum Entropy Model -- 3.3 Inference -- 4 Experiment Analysis -- 4.1 Dataset Description -- 4.2 Parameter Settings -- 4.3 Stance Classification -- 4.4 Case Analysis for Stance Detection -- 4.5 Visualization of Stance-Related Topics -- 5 Conclusion and Future Work -- References -- Mining Inverse and Symmetric Axioms in Linked Data -- 1 Introduction -- 1.1 Challenges and Contributions -- 2 Related Work -- 2.1 Limitations of Existing Work -- 3 Preliminaries -- 3.1 Property Axioms -- 3.2 Mining Logical Rules Under OWA -- 4 Proposed Method -- 4.1 Rules of Interest -- 4.2 Ordering Rules -- 4.3 Clustering -- 4.4 Axiom Generation -- 5 Experimental Results -- 5.1 Datasets -- 5.2 Comparison with Naive Baselines -- 5.3 Quantitative Performance -- 5.4 Qualitative Performance -- 6 Conclusion -- References -- Enhancing Knowledge Graph Embedding from a Logical Perspective -- 1 Introduction -- 2 Preliminaries -- 2.1 OWL 2 RBox and Knowledge Graph -- 2.2 Translation-Based Methods in Knowledge Graph Embedding -- 3 Enhancements for Translation-Based Methods -- 4 Experiments -- 4.1 Data Sets -- 4.2 Link Prediction -- 4.3 Triple Classification -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Knowledge Graphs -- Cross-Lingual Taxonomy Alignment with Bilingual Knowledge Graph Embeddings -- 1 Introduction -- 2 The Proposed Approach -- 2.1 Candidates Identification -- 2.2 Acquiring Relevant Triples -- 2.3 Learning Vector Representations -- 2.4 Exact Matching -- 3 Preliminary Experiments -- 3.1 Experiment Settings. 3.2 Preliminary Results -- 3.3 Combining BTransE with BiBTM -- 4 Conclusion and Future Work -- References -- KG-Buddhism: The Chinese Knowledge Graph on Buddhism -- 1 Introduction -- 2 Development Method -- 2.1 Knowledge Collection -- 2.2 Knowledge Fusion -- 2.3 Knowledge Completion -- 2.4 Linking to DBpedia -- 3 Dataset Statistics -- 4 Online API -- 5 Conclusions and Future Work -- References -- Semantic Graph Analysis for Federated LOD Surfing in Life Sciences -- 1 Introduction -- 2 LOD Surfer -- 2.1 SPARQL Builder Metadata -- 2.2 Merged Class Graph for LOD -- 3 Graph Analysis for Merged Class Graph -- 3.1 Cut Classes for Federated Search -- 4 Discussion -- 5 Conclusion -- References -- Development of Semantic Web-Based Imaging Database for Biological Morphome -- 1 Introduction -- 2 Methods -- 2.1 Extension of Microscopy Ontology for Morphomics Data -- 2.2 Microstructural Bioimaging and Image Processing -- 2.3 Development of Electron Microscopy Viewer and the Annotation of Phenotype Data -- 2.4 Construction of Metadatabase for Microstructural Imaging Data of Biotissue -- 3 Results and Discussion -- 3.1 Vocabulary Extension for Experimental Description and Morphome Data Description -- 3.2 Imaging Metadatabase and Comprehensive Morphome Analysis on the Semantic Web -- 4 Conclusions -- References -- Applications of Semantic Technologies -- User Participatory Construction of Open Hazard Data for Preventing Bicycle Accidents -- 1 Introduction -- 2 Related Works -- 2.1 Environmental Sensing Methods -- 2.2 Behavior Recognition Methods -- 2.3 User Participation Methods -- 3 Detection System of Sudden Braking -- 3.1 Sensing User Data -- 3.2 Sudden Braking Recognition -- 4 Experiment Results on Sudden Braking Detection -- 4.1 Preliminary Experiment -- 4.2 Actual Experiment on Public Streets -- 5 RDF Construction -- 6 Conclusion and Future Work -- References. Semantic IoT: Intelligent Water Management for Efficient Urban Outdoor Water Conservation. |
| Record Nr. | UNINA-9910484994403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||