Foundations of Information and Knowledge Systems: 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings (Lecture Notes in Computer Science, 7153)

Annotation This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization Front Matter....Pages - Uniform Evaluation of Nonmonotonic DL-Programs....Pages 1-22 Foundations of XML Based on Logic and Automata: A Snapshot....Pages 23-33 Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities....Pages 34-50 Revising Belief without Revealing Secrets....Pages 51-70 More Than the Sum of Its Parts – Holistic Ontology Alignment by Population-Based Optimisation....Pages 71-90 Handling Preferences in P2P Systems....Pages 91-106 Backing and Undercutting in Abstract Argumentation Frameworks....Pages 107-123 The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs....Pages 124-143 Using Functional Dependencies for Reducing the Size of a Data Cube....Pages 144-163 Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags....Pages 164-183 FD Covers and Universal Complements of Simple Projections....Pages 184-202 Encoding Databases Satisfying a Given Set of Dependencies....Pages 203-223 On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy Semantics....Pages 224-243 Flexible and Efficient Distributed Resolution of Large Entities....Pages 244-263 On Real-Valued Evaluation of Propositional Formulas....Pages 264-277 Detecting Suspect Answers in the Presence of Inconsistent Information....Pages 278-297 Learning the News in Social Networks....Pages 298-311 Verifying Resource Requirements for Ontology-Driven Rule-Based Agents....Pages 312-331 Formalizing Production Systems with Rule-Based Ontologies....Pages 332-351 Count Constraints and the Inverse OLAP Problem: Definition, Complexity and a Step toward Aggregate Data Exchange....Pages 352-369 Synchronous Parallel Database Transformations....Pages 370-383 Functional Dependencies on Extended Relations Defined by Regular Languages....Pages 384-403 Back Matter....Pages - This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics, and optimization