Results 51 to 60 of about 127,482 (288)
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests [PDF]
Logical Methods in Computer ScienceSHACL is a W3C-proposed schema language for expressing structural constraints on RDF graphs. Recent work on formalizing this language has revealed a striking relationship to description logics.
Bart Bogaerts +2 more
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
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
Reconciling description logics and rules [PDF]
Journal of the ACM, 2008 Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual knowledge, rules are focused on nonmonotonic inference. Many applications, however, require features of both DLs and rules.
Boris Motik, ROSATI, Riccardo
openaire +3 more sources
Digital twins to accelerate target identification and drug development for immune‐mediated disorders
FEBS Open Bio, EarlyView.Digital twins integrate patient‐derived molecular and clinical data into personalised computational models that simulate disease mechanisms. They enable rapid identification and validation of therapeutic targets, prediction of drug responses, and prioritisation of candidate interventions.
Anna Niarakis, Philippe Moingeon
wiley +1 more source
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
Arthritis Care &Research, EarlyView.Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez +12 more
wiley +1 more source
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
Min-Based Conditioning of Possibilistic EL Ontology
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 The EL is a tractable family of lightweight description logics that underlay the OWL EL profile. It guarantees the tractability of the reasoning process, especially for concept classification.
Rim Mohamed +3 more
doaj +1 more source
Using Description Logics for Recognising Textual Entailment [PDF]
, 2007 The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natural language semantics in DLs inspired by existing representations in first-
Bedaride, Paul
core +3 more sources