Results 51 to 60 of about 130,323 (314)

Tailoring temporal description logics for reasoning over temporal conceptual models [PDF]

, 2011
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
A. Artale, A. Artale, A. Artale, A. Artale, A. Artale, A. Artale, A. Artale, A. Artale, A. Poggi, A.O. Mendelzon, B. Tauzovich, C. Combi, C. Lutz, C. Parent, C. Theodoulidis, D. Berardi, D. Calvanese, D. Gabbay, D. Gabbay, D. Gabbay, H. Gregersen, J. Su, K. Schild, M. Finger   +23 more
core   +2 more sources

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

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features [PDF]

Logical Methods in Computer Science
We 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

On Bisimulations for Description Logics

, 2014
We study bisimulations for useful description logics. The simplest among the considered logics is $\mathcal{ALC}_{reg}$ (a variant of PDL). The others extend that logic with inverse roles, nominals, quantified number restrictions, the universal role, and/
Ali Rezaei Divroodi, Areces, Baader, Badea, Blackburn, Borgida, Cao, Cao, de Rijke, Divroodi, Ha, Hennessy, Iannone, Janin, Kurtonina, Lehmann, Linh Anh Nguyen, Nguyen, Paige, Park, Pawlak, Pawlak, Tran, Tran, van Benthem, van Benthem   +25 more
core   +2 more sources

Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting

Molecular Oncology, EarlyView.
CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia, Noelia Moares, Wenjie Yi‐He, Rosa Luna‐Espejo, Ricardo Fernandez‐Cisnal, Javier Ocaña‐Cuesta, Juan P. Muñoz‐Miranda, Antonio Gabucio, Cecilia M. Fernandez‐Ponce, Francisco Garcia‐Cozar   +9 more
wiley   +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, Zied Bouraoui, Zied Loukil, Faiez Gargouri   +3 more
doaj   +1 more source

A Scoping Review on Artificial Intelligence–Supported Interventions for Nonpharmacologic Management of Chronic Rheumatic Diseases

Arthritis Care &Research, EarlyView.
This review summarizes artificial intelligence (AI)‐supported nonpharmacological interventions for adults with chronic rheumatic diseases, detailing their components, purpose, and current evidence base. We searched Embase, PubMed, Cochrane, and Scopus databases for studies describing AI‐supported interventions for adults with chronic rheumatic diseases.
Nirali Shah, Alexis Castellanos, Yen Chen, John Piette, Amy Bucher, Susan Murphy   +5 more
wiley   +1 more source

Formal representation of complex SNOMED CT expressions

BMC Medical Informatics and Decision Making, 2008
Background Definitory expressions about clinical procedures, findings and diseases constitute a major benefit of a formally founded clinical reference terminology which is ontologically sound and suited for formal reasoning.
Markó Kornél, Schulz Stefan, Suntisrivaraporn Boontawee   +2 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