Results 11 to 20 of about 2,936,274 (295)
Description logics of context [PDF]
Journal of Logic and Computation, 2013 We introduce Description Logics of Context (DLCs)—an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify and express first-order properties.
Szymon Klarman +1 more
openaire +3 more sources
, 2013 We design a temporal description logic, TQL, that extends the standard ontology language OWL2QL, provides basic means for temporal conceptual modelling and ensures first-order rewritability of conjunctive queries for suitably defined data instances with ...
Artale, A. +3 more
core +7 more sources
The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking
AI, 2022 Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal ...
Farshad Badie, Luis M. Augusto
doaj +1 more source
IEEE Intelligent Systems, 2014 This article provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before the syntax and semantics of the DL SROIQ are defined in detail. Additional sections review lightweight DL languages, discuss the relationship to the Web Ontology Language (OWL), and give pointers to ...
Markus Krötzsch +2 more
openaire +2 more sources
Equality-friendly well-founded semantics and applications to description logics [PDF]
, 2012 We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and nega- tions in their bodies. In particular, we provide a WFS for the recent Datalog± family of ontology languages,
Lukasiewicz, Thomas +7 more
core +4 more sources
f-SHOIQN:a fuzzy and non-monotonic description logic [PDF]
Jisuanji gongcheng, 2019 There is a lot of fuzzy and non-monotonic knowledge in the semantic Web,which cannot be expressed by the current description logic.Aiming at the problem,this paper adds weak negative constructor and proposes a fuzzy and non-monotonic description logic f ...
WANG Xing,ZHAO Qiaoxia,CHEN Ji,LI Jia
doaj +1 more source
A cookbook for temporal conceptual data modelling with description logic [PDF]
, 2014 We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic ...
Ryzhikov, Vladislav +4 more
core +1 more source
Strong Faithfulness for ELH Ontology Embeddings [PDF]
Transactions on Graph Data and KnowledgeOntology embedding methods are powerful approaches to represent and reason over structured knowledge in various domains. One advantage of ontology embeddings over knowledge graph embeddings is their ability to capture and impose an underlying schema to ...
Lacerda, Victor +2 more
doaj +1 more source
An ontology design for validating childhood cancer registry data
Frontiers in Oncology, 2023 Ontologies can provide a valuable role in the work of cancer registration, particularly as a tool for managing and navigating the various classification systems and coding rules.
Nicholas Nicholson +2 more
doaj +1 more source
Unification in the Description Logic EL [PDF]
Logical Methods in Computer Science, 2010 The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polynomial. On the other hand, EL is used to define large biomedical ontologies.
Franz Baader, Barbara Morawska
doaj +1 more source