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.
Foundations of Information and Knowledge Systems [[electronic resource] ] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings / / edited by Thomas Lukasiewicz, Attila Sali
| Foundations of Information and Knowledge Systems [[electronic resource] ] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings / / edited by Thomas Lukasiewicz, Attila Sali |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 405 p.) |
| Disciplina | 005.131 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mathematical logic
Computer science—Mathematics Computer logic Algorithms Artificial intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematics of Computing Algorithm Analysis and Problem Complexity Artificial Intelligence |
| ISBN | 3-642-28472-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465958103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ontology-Based Data Access Leveraging Subjective Reports / / by Gerardo I. Simari, Cristian Molinaro, Maria Vanina Martinez, Thomas Lukasiewicz, Livia Predoiu
| Ontology-Based Data Access Leveraging Subjective Reports / / by Gerardo I. Simari, Cristian Molinaro, Maria Vanina Martinez, Thomas Lukasiewicz, Livia Predoiu |
| Autore | Simari Gerardo I |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (VIII, 77 p. 32 illus., 14 illus. in color.) |
| Disciplina | 006.332 |
| Collana | SpringerBriefs in Computer Science |
| Soggetto topico |
Computers
Electrical engineering Information Systems and Communication Service Communications Engineering, Networks |
| ISBN | 3-319-65229-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Ontology-Based Data Access with Datalog+/- -- 2 Models for Representing User Preferences -- 3 Subjective Data: Model and Query Answering -- 4 Related Research Lines. |
| Record Nr. | UNINA-9910254851303321 |
Simari Gerardo I
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scalable uncertainty management : second international conference, sum 2008, naples, italy, october 1-3, 2008, proceedings / / edited by Sergio Greco, Thomas Lukasiewicz
| Scalable uncertainty management : second international conference, sum 2008, naples, italy, october 1-3, 2008, proceedings / / edited by Sergio Greco, Thomas Lukasiewicz |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XI, 401 p.) |
| Disciplina | 003.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Uncertainty (Information theory) |
| ISBN | 3-540-87993-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Consistent Query Answering: The First Ten Years -- Heavy Tails and Web Models -- Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can’t-Do -- Frequent Itemset Mining from Databases Including One Evidential Attribute -- Evaluating Trustworthiness from Past Performances: Interval-Based Approaches -- A Comparative Study of Six Formal Models of Causal Ascription -- An Efficient Algorithm for Naive Possibilistic Classifiers with Uncertain Inputs -- Transitive Observation-Based Causation, Saliency, and the Markov Condition -- A Family of Tolerant Antidivision Operators for Database Fuzzy Querying -- Uncertainty Management for the Retrieval of Economic Information from Distributed Markets -- Loopy Propagation in a Probabilistic Description Logic -- On the Performance of Fuzzy Data Querying -- Tractable Reasoning with Bayesian Description Logics -- Approximate Reasoning for Efficient Anytime Induction from Relational Knowledge Bases -- Fusing Uncertain Structured Spatial Information -- A Neuro Fuzzy Approach for Handling Structured Data -- A Framework for the Partial Evaluation of SPARQL Queries -- An Evolutionary Perspective on Approximate RDF Query Answering -- Clustering Uncertain Data Via K-Medoids -- Speeding Up the NRA Algorithm -- Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory -- A Personalized Approach to Experience-Aware Service Ranking and Selection -- Performance Evaluation of Algorithms for Soft Evidential Update in Bayesian Networks: First Results -- Optimization of Queries over Interval Probabilistic Data -- Polynomial Time Queries over Inconsistent Databases -- Using OBDDs for Efficient Query Evaluation on Probabilistic Databases -- A Logical Framework to Reinforcement Learning Using Hybrid Probabilistic Logic Programs -- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability -- Scaling Most Probable World Computations in Probabilistic Logic Programs -- Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs. |
| Altri titoli varianti | SUM 2008 |
| Record Nr. | UNINA-9910484351403321 |
| Berlin, Germany : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scalable uncertainty management : second international conference, sum 2008, naples, italy, october 1-3, 2008, proceedings / / edited by Sergio Greco, Thomas Lukasiewicz
| Scalable uncertainty management : second international conference, sum 2008, naples, italy, october 1-3, 2008, proceedings / / edited by Sergio Greco, Thomas Lukasiewicz |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XI, 401 p.) |
| Disciplina | 003.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Uncertainty (Information theory) |
| ISBN | 3-540-87993-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Consistent Query Answering: The First Ten Years -- Heavy Tails and Web Models -- Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can’t-Do -- Frequent Itemset Mining from Databases Including One Evidential Attribute -- Evaluating Trustworthiness from Past Performances: Interval-Based Approaches -- A Comparative Study of Six Formal Models of Causal Ascription -- An Efficient Algorithm for Naive Possibilistic Classifiers with Uncertain Inputs -- Transitive Observation-Based Causation, Saliency, and the Markov Condition -- A Family of Tolerant Antidivision Operators for Database Fuzzy Querying -- Uncertainty Management for the Retrieval of Economic Information from Distributed Markets -- Loopy Propagation in a Probabilistic Description Logic -- On the Performance of Fuzzy Data Querying -- Tractable Reasoning with Bayesian Description Logics -- Approximate Reasoning for Efficient Anytime Induction from Relational Knowledge Bases -- Fusing Uncertain Structured Spatial Information -- A Neuro Fuzzy Approach for Handling Structured Data -- A Framework for the Partial Evaluation of SPARQL Queries -- An Evolutionary Perspective on Approximate RDF Query Answering -- Clustering Uncertain Data Via K-Medoids -- Speeding Up the NRA Algorithm -- Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory -- A Personalized Approach to Experience-Aware Service Ranking and Selection -- Performance Evaluation of Algorithms for Soft Evidential Update in Bayesian Networks: First Results -- Optimization of Queries over Interval Probabilistic Data -- Polynomial Time Queries over Inconsistent Databases -- Using OBDDs for Efficient Query Evaluation on Probabilistic Databases -- A Logical Framework to Reinforcement Learning Using Hybrid Probabilistic Logic Programs -- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability -- Scaling Most Probable World Computations in Probabilistic Logic Programs -- Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs. |
| Altri titoli varianti | SUM 2008 |
| Record Nr. | UNISA-996466241503316 |
| Berlin, Germany : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Uncertainty Reasoning for the Semantic Web II [[electronic resource] ] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers / / edited by Fernando Bobillo, Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
| Uncertainty Reasoning for the Semantic Web II [[electronic resource] ] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers / / edited by Fernando Bobillo, Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 331 p. 72 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Information storage and retrieval User interfaces (Computer systems) Mathematical logic Mathematical statistics Artificial Intelligence Data Mining and Knowledge Discovery Information Storage and Retrieval User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages Probability and Statistics in Computer Science |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-35975-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PR-OWL 2.0 – Bridging the Gap to OWL Semantics.- Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.- Pronto: A Practical Probabilistic Description Logic Reasoner.- Instance-Based Non-standard Inferences in EL with Subjective Probabilities.- Finite Fuzzy Description Logics and Crisp Representations.- Reasoning in Fuzzy OWL 2 with DeLorean.- Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data.- Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE.- Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH.- A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods.- Semantic Web Search and Inductive Reasoning.- Ontology Enhancement through Inductive Decision Trees.- Assertion Prediction with Ontologies through Evidence Combination.- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations.- Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data -- Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.- Pronto: A Practical Probabilistic Description Logic Reasoner.- Instance-Based Non-standard Inferences in EL with Subjective Probabilities.- Finite Fuzzy Description Logics and Crisp Representations.- Reasoning in Fuzzy OWL 2 with DeLorean.- Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data.- Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE.- Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH.- A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension.- PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods.- Semantic Web Search and Inductive Reasoning.- Ontology Enhancement through Inductive Decision Trees.- Assertion Prediction with Ontologies through Evidence Combination.- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations.- Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data. |
| Record Nr. | UNISA-996465973203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Uncertainty Reasoning for the Semantic Web III [[electronic resource] ] : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
| Uncertainty Reasoning for the Semantic Web III [[electronic resource] ] : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 329 p. 56 illus.) |
| Disciplina | 025.0427 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Mathematical statistics Data mining Artificial Intelligence Mathematical Logic and Formal Languages Probability and Statistics in Computer Science Data Mining and Knowledge Discovery |
| ISBN | 3-319-13413-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text -- UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text. |
| Record Nr. | UNISA-996210520703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Uncertainty Reasoning for the Semantic Web III : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
| Uncertainty Reasoning for the Semantic Web III : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 329 p. 56 illus.) |
| Disciplina | 025.0427 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Mathematical statistics Data mining Artificial Intelligence Mathematical Logic and Formal Languages Probability and Statistics in Computer Science Data Mining and Knowledge Discovery |
| ISBN | 3-319-13413-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text -- UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text. |
| Record Nr. | UNINA-9910484495803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web Reasoning and Rule Systems [[electronic resource] ] : Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings / / edited by Pascal Hitzler, Thomas Lukasiewicz
| Web Reasoning and Rule Systems [[electronic resource] ] : Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings / / edited by Pascal Hitzler, Thomas Lukasiewicz |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 259 p. 43 illus.) |
| Disciplina | 006.33 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Computer engineering Software engineering Application software Computers Information storage and retrieval Computer Communication Networks Computer Engineering Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Information Systems and Communication Service Information Storage and Retrieval |
| Soggetto genere / forma | Kongress |
| ISBN |
1-280-38924-9
9786613567161 3-642-15918-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks and Tutorial -- Query Answering under Non-guarded Rules in Datalog+/- -- Data Validation with OWL Integrity Constraints -- SPARQL1.1: New Features and Friends (OWL2, RIF) -- Full Papers -- Usability of a Visual Language for DL Concept Descriptions -- A Rule-Based Language for Complex Event Processing and Reasoning -- Analyzing the AIR Language: A Semantic Web (Production) Rule Language -- Query-Based Access Control for Ontologies -- On the Semantic Relationship between Datalog and Description Logics -- Inconsistency-Tolerant Semantics for Description Logics -- Extending Paraconsistent -- Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries -- Defeasibility in Answer Set Programs via Argumentation Theories -- Short Papers -- A Rule-Based Approach to XML Processing and Web Reasoning -- Learning to Rank Individuals in Description Logics Using Kernel Perceptrons -- A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies -- Secrecy-Preserving Query Answering for Instance Checking in -- Embeddings of Simple Modular Extended RDF -- KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge -- Poster/Position Papers -- Composition of Semantic Web Services in a Constructive Description Logic -- A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules -- Rule-Based Spam E-mail Annotation -- A RESTful SWRL Rule Editor -- PhD Description -- On the Termination of the Chase Algorithm -- System Descriptions -- Processing RIF and OWL2RL within DLVHEX -- A RPL through RDF: Expressive Navigation in RDF Graphs. |
| Record Nr. | UNISA-996465905503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web reasoning and rule systems : fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. proceedings / / Pascal Hitzler, Thomas Lukasiewicz (eds.)
| Web reasoning and rule systems : fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. proceedings / / Pascal Hitzler, Thomas Lukasiewicz (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2010 |
| Descrizione fisica | 1 online resource (XIII, 259 p. 43 illus.) |
| Disciplina | 025.042/7 |
| Altri autori (Persone) |
HitzlerPascal
LukasiewiczThomas |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 3, Information systems and application, incl. Internet/web and HCI |
| Soggetto topico |
Semantic Web
Rule-based programming Logic programming |
| ISBN |
1-280-38924-9
9786613567161 3-642-15918-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks and Tutorial -- Query Answering under Non-guarded Rules in Datalog+/- -- Data Validation with OWL Integrity Constraints -- SPARQL1.1: New Features and Friends (OWL2, RIF) -- Full Papers -- Usability of a Visual Language for DL Concept Descriptions -- A Rule-Based Language for Complex Event Processing and Reasoning -- Analyzing the AIR Language: A Semantic Web (Production) Rule Language -- Query-Based Access Control for Ontologies -- On the Semantic Relationship between Datalog and Description Logics -- Inconsistency-Tolerant Semantics for Description Logics -- Extending Paraconsistent -- Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries -- Defeasibility in Answer Set Programs via Argumentation Theories -- Short Papers -- A Rule-Based Approach to XML Processing and Web Reasoning -- Learning to Rank Individuals in Description Logics Using Kernel Perceptrons -- A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies -- Secrecy-Preserving Query Answering for Instance Checking in -- Embeddings of Simple Modular Extended RDF -- KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge -- Poster/Position Papers -- Composition of Semantic Web Services in a Constructive Description Logic -- A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules -- Rule-Based Spam E-mail Annotation -- A RESTful SWRL Rule Editor -- PhD Description -- On the Termination of the Chase Algorithm -- System Descriptions -- Processing RIF and OWL2RL within DLVHEX -- A RPL through RDF: Expressive Navigation in RDF Graphs. |
| Record Nr. | UNINA-9910483810503321 |
| Berlin, : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||