Results 41 to 50 of about 3,693,332 (330)
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 +1 more source
Description logic programs: combining logic programs with description logic
The Web Conference, 2003 We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection.
Benjamin N. Grosof +3 more
semanticscholar +1 more source
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version) [PDF]
arXiv, 2023 Definite descriptions, such as 'the smallest planet in the Solar System', have been recently recognised as semantically transparent devices for object identification in knowledge representation formalisms. Along with individual names, they have been introduced also in the context of description logic languages, enriching the expressivity of standard ...
arxiv
A Characterization Theorem for a Modal Description Logic
, 2017 Modal description logics feature modalities that capture dependence of knowledge on parameters such as time, place, or the information state of agents.
Schröder, Lutz, Wild, Paul
core +1 more source
Budowa ontologii na potrzeby oceny jakości serwisów internetowych
Problemy Zarządzania, 2015 In the paper the conception of integration of websites quality assessment methods was formulated. In this case the authors proposed using ontologies which will be created for those methods. For building ontologies, the Methontology methodology was used.
Paweł Ziemba, Ryszard Budziński
doaj +1 more source
On the Expressive Power of Sub-Propositional Fragments of Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial ...
Davide Bresolin +2 more
doaj +1 more source
Loop Formulas for Description Logic Programs
, 2010 Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics, for the Semantic Web.
Brewka +13 more
core +1 more source
The Descriptive Discourse of Ancient Arabic: The case of Abdul Hamid Al- Kateb [PDF]
دراسات في اللغة العربيّة وآدابها, 2019 This article discusses the descriptive discourse-- the subject and poetic language-- in one of the hunting diaries of Abdul Hamid Al- Kateb. The article is also concerned with the internal scheme of description as well as the specific logic of the ...
Samar Al-Dayyoub
doaj +1 more source
Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices [PDF]
arXiv, 2021 There are two kinds of bisimulation, namely crisp and fuzzy, between fuzzy structures such as fuzzy automata, fuzzy labeled transition systems, fuzzy Kripke models and fuzzy interpretations in description logics. Fuzzy bisimulations between fuzzy automata over a complete residuated lattice have been introduced by \'Ciri\'c et al. in 2012.
arxiv
Journal of Applied Clinical Medical Physics, EarlyView.Abstract The establishment of guidelines and curriculum standards for medical physics residency training is a critical component of setting expectations and competencies for the profession. Since the last publication of these standards, residency training has become integrated into the eligibility criteria for most medical physics certification bodies.
Jonathon A. Nye +16 more
wiley +1 more source