Results 11 to 20 of about 93,434 (314)
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality [PDF]
Bulletin of the Section of Logic, 2022 This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time.
Stepan I. Bashmakov, Tatyana Yu. Zvereva
doaj +2 more sources
Table interpretation of the temporal description logic LTLALC [PDF]
, 2022 Description logics are widely used to describe and represent knowledge in the Semantic Web. This is a modern and powerful mechanism that provides the possibility of extracting knowledge from already existing ones.
Chystiakova, I.S. +3 more
core +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
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
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
Plausible Description Logic Programs for Stream Reasoning
Future Internet, 2012 Sensor networks are estimated to drive the formation of the future Internet, with stream reasoning responsible for analysing sensor data. Stream reasoning is defined as real time logical reasoning on large, noisy, heterogeneous data streams, aiming to ...
Ioan Alfred Letia, Adrian Groza
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
Description logic for coalitions
International Joint Conference on Autonomous Agents and Multiagent Systems, 2009 Coalition Logic (CL) is one of the most important formalisms for specification and verification of game-like multi-agent systems. Several extensions of the logic have been studied in the literature. These extensions are usually fusions (independent joins) of CL with other modal logics (e.g., temporal, epistemic, dynamic, etc.), and they are generally ...
Seylan, Inanç, Jamroga, Wojciech
openaire +4 more sources
The semantics of similarity in geographic information retrieval
Journal of Spatial Information Science, 2011 Similarity measures have a long tradition in fields such as information retrieval, artificial intelligence, and cognitive science. Within the last years, these measures have been extended and reused to measure semantic similarity; i.e., for comparing ...
Krzysztof Janowicz +2 more
doaj +1 more source
The volume profile method and its theoretical connection with microeconomic theory as the main premise of its application [PDF]
SHS Web of Conferences, 2021 Research background: This article was conceived as a very valuable basis and the result of theoretical research in the field of microeconomics with a specific application.
Chutka Jan
doaj +1 more source