End users respond to stakeholders' information requests by using query tools to retrieve information from their organizations’ data stores. The structure of these data stores impacts end users’ performance, e.g., the accuracy of their responses. Ontologically clearer conceptual models have been shown to facilitate better problem solving within real-world application domains. If, however, ontolo...

The integration of biomedical ontologies via their matching often results in logical errors, due to incorrect mappings or incompatible ontological models. To solve this issue, repair algorithms remove mappings, decreasing the size and possibly the coverage of the alignment. Understanding these errors is crucial to support an effective use of alignments, since different scenarios may favor coher...

BioPortal is a repository for biomedical ontologies that also includes mappings between them from various sources. Considered as a whole, these mappings may cause logical errors, due to incompatibilities between the ontologies or even erroneous mappings. We have performed an automatic evaluation of BioPortal mappings between 19 ontology pairs using the mapping repair systems of LogMap and Agree...

Semantic annotations describe the semantics of artifacts like documents, web-pages, schemas, or web-services with concepts of a reference ontology. Application interoperability, semantic query processing, semantic web services, etc. rely on a such a description of the semantics. Semantic annotations need to be created and maintained. We present a technique to detect logical errors in semantic a...

We study the performance of quantum error correction codes (QECCs) under detection-induced coherent due to imperfectness practical implementations stabilizer measurements, after running a circuit. Considering most promising surface code, we find that will result in undetected terms, which accumulate and evolve into logical errors. However, show such errors be alleviated by increasing code size,...

Abstract To design a more robust artifact, an artifact based on rationale analysis is pivotal. Errors in previous rationales that led to the degradation of robustness past provide valuable knowledge towards improving design. However, methods for exposing and analysing errors remain unclear. This paper proposes structured method logical structuring. provides well-constructed means identifying fr...

Linked Data is one of the most successful implementations of the Semantic Web idea. This is demonstrated by the large amount of data available in repositories constituting the Linked Open Data cloud and being linked to each other. Many of these datasets are not created manually but are extracted automatically from existing datasets. Thus, extraction errors, which a human would easily recognize,...

Developing or maintaining a formal software specification is a task unfortunately prone to the accidental introduction of logical errors, particularly inconsistencies. At worst, such errors can be dangerously misleading. For example, many software analysis tools that require a formal specification as input produce false positives when faced with inconsistency, making it more likely that develop...

Quantum data are susceptible to decoherence induced by the environment and to errors in the hardware processing it. A future fault-tolerant quantum computer will use quantum error correction to actively protect against both. In the smallest error correction codes, the information in one logical qubit is encoded in a two-dimensional subspace of a larger Hilbert space of multiple physical qubits....