Results 41 to 50 of about 4,114 (268)
Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification [PDF]
Logical Methods in Computer Science, 2017 Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic $\mathcal{EL}$ to disunification since negative constraints ...
Franz Baader +2 more
doaj +1 more source
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
SHACL: A Description Logic in Disguise [PDF]
, 2022 SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with questions related to its place in the semantic web, particularly about its relation to OWL (the de facto standard for expressing ontological information on the web) and ...
Bogaerts, Bart +2 more
openaire +6 more sources
Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features [PDF]
Logical Methods in Computer ScienceWe investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics extending ALC.
Bartosz Bednarczyk
doaj +1 more source
Current Directions in Biomedical Engineering, 2020 In this paper we present results to the problem of an adequate and compact symbolic representation of morphological features of anatomical structures that serve as surgical landmarks for automated assistance in endoscopic surgery using the General Formal
Schäfermeier Ralph +3 more
doaj +1 more source
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally expressed in temporal logics.
Simon Busard, Charles Pecheur
doaj +1 more source
Loss of IGF‐1R impairs DNA‐PKcs recruitment to chromatin leading to defective end‐joining
Molecular Oncology, EarlyView.IGF‐1R promotes radioresistance by facilitating DNA‐PKcs recruitment to chromatin, enabling non‐homologous end‐joining (NHEJ) repair of double‐strand breaks. Inhibition or loss of IGF‐1R disrupts this recruitment to damage sites, driving compensatory reliance on microhomology‐mediated end‐joining (MMEJ) repair.
Matthew O. Ellis +3 more
wiley +1 more source
Probabilistic Description Logics [PDF]
, 1994 Appears in Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence (UAI1994)
openaire +3 more sources
An Introduction to Description Logic [PDF]
, 2017 Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology
Baader, Franz +3 more
openaire +3 more sources
Timed Context-Free Temporal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and context-free ...
Laura Bozzelli +2 more
doaj +1 more source