A SAT-based System for Consistent Query Answering

An inconsistent database is a database that violates one or more integrity constraints, such as functional dependencies. Consistent Query Answering is a rigorous and principled approach to the semantics of queries posed against inconsistent databases. The consistent answers to a query on an inconsistent database is the intersection of the answers to the query on every repair, i.e., on every consistent database that differs from the given inconsistent one in a minimal way. Computing the consistent answers of a fixed conjunctive query on a given inconsistent database can be a coNP-hard problem, even though every fixed conjunctive query is efficiently computable on a given consistent database. We designed, implemented, and evaluated CAvSAT, a SAT-based system for consistent query answering. CAvSAT leverages a set of natural reductions from the complement of consistent query answering to SAT and to Weighted MaxSAT. The system is capable of handling unions of conjunctive queries and arbitrary denial constraints, which include functional dependencies as a special case. We report results from experiments evaluating CAvSAT on both synthetic and real-world databases. These results provide evidence that a SAT-based approach can give rise to a comprehensive and scalable system for consistent query answering.Comment: 25 pages including appendix, to appear in the 22nd International Conference on Theory and Applications of Satisfiability Testin

Agents in decentralised information ecosystems: the DIET approach

The complexity of the current global information infrastructure requires novel means of understanding and exploiting the dynamics of information. One means may be through the concept of an information ecosystem. An information ecosystem is analo gous to a natural ecosystem in which there are flo ws of materials and energy analo gous to information flow between many interacting individuals. This paper describes a multi-agent platform, DIET (Decentralised Information Ecosystem Technologies) that can be used to implement open, robust, adaptive and scalable ecosystem-inspired systems. We describe the design principles of the DIET software architecture, and present a simple example application based upon it. We go on to consider how the DIET system can be used to develop information brokering agents, and how these can contribute to the implementation of economic interactions between agents, as well as identifying some open questions relating to research in these areas. In this way we show the capacity of the DIET system to support applications using information agents.Future and Emerging Technologies arm of the IST Programme of the European Union, under the FET Proactive Initiative – Universal Information Ecosystems (FET, 1999), through project DIET (IST -1999-10088), BTexaCT Intelligent Systems Laboratory for stimulating discussion and comment

Psychometric properties of the Dutch version of the Orofacial Esthetic Scale (OES-NL) in dental patients with and without self-reported tooth wear

The aim of this study was to test the psychometric properties of the Dutch version of the Orofacial Esthetic Scale (OES) in dental patients with and without self-reported tooth wear. The English version of the OES was translated into Dutch, following established guidelines for cross-cultural adaptation of health-related quality of life measures. The reliability of the resulting OES-NL was tested in a test-retest study on 343 subjects; its validity was tested with the use of convergent validity on 582 subjects. The test-retest reliability ofthe OES-NL showed intra-class correlation coefficients (ICC) that ranged from 076 to 082, which can be qualified as excellent. The Cronbach's alpha revealed that the overall internal consistency of the scale was good (=089). Convergent validity was confirmed by the association between the OES-NL summary scores and three questions of the Dutch version of the Oral Health Impact Profile (OHIP-NL). The calculated Spearman's rank correlation coefficients ranged from -043 to -054 and were all significant (P<0001). The Dutch version of the Orofacial Esthetic Scale (OES-NL) showed good psychometric properties, making it suitable for the assessment of self-perceived aesthetics in Dutch dental patients with and without self-reported tooth wear

Clinical outcomes in the treatment of unilateral condylar fractures : a cross-sectional study

The treatment of mandibular condyle fractures has been the subject of considerable discussion, especially whether open or closed treatment should be used. There is a need for practical, evidence-based guidelines, and both objective and subjective parameters should be measured. To date, few studies have considered clinically relevant subjective parameters. This study was performed to evaluate the outcomes of the treatment of condylar fractures using the Mandibular Function Impairment Questionnaire (MFIQ) and the Diagnostic Criteria for Temporomandibular Disorders (DC/TMD) and to compare the outcomes of open and the closed treatment. Patients with condylar fractures and at least 1 year of follow-up were examined. These patients completed the MFIQ and other questionnaires, and were examined according to the DC/TMD. Seventy-four of 171 eligible patients participated in this study. The mean MFIQ score was 10.70 (standard error 2.9) in the open group and 4.96 (standard error 1.3) in the closed group (P = 0.023), an outcome in favour of the closed treatment group. Examination according to the DC/TMD did not reveal a significant prevalence of TMD complaints. Closed treatment appears to be a safe and appropriate modality for most unilateral condylar fractures. Although the open group in general showed similar outcomes, this treatment should be reserved for limited indications

Clinical outcomes in the treatment of unilateral condylar fractures:a cross-sectional study

The treatment of mandibular condyle fractures has been the subject of considerable discussion, especially whether open or closed treatment should be used. There is a need for practical, evidence-based guidelines, and both objective and subjective parameters should be measured. To date, few studies have considered clinically relevant subjective parameters. This study was performed to evaluate the outcomes of the treatment of condylar fractures using the Mandibular Function Impairment Questionnaire (MFIQ) and the Diagnostic Criteria for Temporomandibular Disorders (DC/TMD) and to compare the outcomes of open and the closed treatment. Patients with condylar fractures and at least 1 year of follow-up were examined. These patients completed the MFIQ and other questionnaires, and were examined according to the DC/TMD. Seventy-four of 171 eligible patients participated in this study. The mean MFIQ score was 10.70 (standard error 2.9) in the open group and 4.96 (standard error 1.3) in the closed group (P = 0.023), an outcome in favour of the closed treatment group. Examination according to the DC/TMD did not reveal a significant prevalence of TMD complaints. Closed treatment appears to be a safe and appropriate modality for most unilateral condylar fractures. Although the open group in general showed similar outcomes, this treatment should be reserved for limited indications

Clinical outcomes in the treatment of unilateral condylar fractures : a cross-sectional study

The treatment of mandibular condyle fractures has been the subject of considerable discussion, especially whether open or closed treatment should be used. There is a need for practical, evidence-based guidelines, and both objective and subjective parameters should be measured. To date, few studies have considered clinically relevant subjective parameters. This study was performed to evaluate the outcomes of the treatment of condylar fractures using the Mandibular Function Impairment Questionnaire (MFIQ) and the Diagnostic Criteria for Temporomandibular Disorders (DC/TMD) and to compare the outcomes of open and the closed treatment. Patients with condylar fractures and at least 1 year of follow-up were examined. These patients completed the MFIQ and other questionnaires, and were examined according to the DC/TMD. Seventy-four of 171 eligible patients participated in this study. The mean MFIQ score was 10.70 (standard error 2.9) in the open group and 4.96 (standard error 1.3) in the closed group (P = 0.023), an outcome in favour of the closed treatment group. Examination according to the DC/TMD did not reveal a significant prevalence of TMD complaints. Closed treatment appears to be a safe and appropriate modality for most unilateral condylar fractures. Although the open group in general showed similar outcomes, this treatment should be reserved for limited indications

Developing a research diagnostic criteria for burning mouth syndrome: Results from an international Delphi process

© 2020 John Wiley & Sons LtdObjective: To develop a beta version of a preliminary set of empirically derived research diagnostic criteria (RDC) for burning mouth syndrome (BMS) through expert consensus, which can then be taken into a test period before publication of a final RDC/BMS. Design: A 6 round Delphi process with twelve experts in the field of BMS was used. The first round formed a focus group during which the purpose of the RDC and the definition of BMS was agreed upon, as well as the structure and contents. The remaining rounds were carried out virtually via email to achieve a consensus of the beta version of the RDC/BMS. Results: The definition of BMS was agreed to be ‘an intraoral burning or dysaesthetic sensation, recurring daily for more than 2 hours per day over more than 3 months, without evident causative lesions on clinical examination and investigation’. The RDC was based upon the already developed and validated RDC/TMD and formed three main parts: patient self-report; examination; and psychosocial self-report. A fourth additional part was also developed listing aspirational biomarkers which could be used as part of the BMS diagnosis where available, or to inform future research. Conclusion: This Delphi process has created a beta version of an RDC for use with BMS. This will allow future clinical research within BMS to be carried out to a higher standard, ensuring only patients with true BMS are included. Further validation studies will be required alongside refinement of the RDC as trialling progresses