Results 111 to 120 of about 93,434 (314)
, 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
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
An evaluation of total project risk based on fuzzy logic
Business: Theory and Practice, 2015 The article deals with the use of fuzzy logic as a support of evaluation of total project risk. A brief description of actual project risk management, fuzzy set theory, fuzzy logic and the process of calculation is given.
Radek Doskočil
doaj +1 more source
Foundations of Description Logics [PDF]
, 2011 This chapter accompanies the foundational lecture onDescription Logics (DLs) at the 7th Reasoning Web Summer School in Galway, Ireland, 2011. It introduces basic notions and facts about this family of logics which has significantly gained in importance over the recent years as these logics constitute the formal basis for today's most expressive ...
openaire +2 more sources
Advanced Materials, EarlyView.Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley +1 more source
Defeasible Description Logics [PDF]
, 2004 We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
openaire +2 more sources
, 2008 Cimiano P, Haase P, Ji Q, et al. Reasoning with Large A-Boxes in Fuzzy Description Logics using DL reasoners: An Experimental Evaluation. In: Proceedings of the ESWC Workshop on Advancing Reasoning on the Web: Scalability and Commonsense ...
Haase, Peter +7 more
core
ABox Abduction in the Description Logic ALC
, 2011 Due to the growing popularity of Description Logics-based knowledge representation systems, predominantly in the context of Semantic Web applications, there is a rising demand for tools offering non-standard reasoning services.
Schlobach, S. +3 more
core +1 more source
Advanced Materials, EarlyView.Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine +5 more
wiley +1 more source
Stable model semantics for description logic terminologies (extended abstract)
This paper is an extended abstract of our recent work on proposing a stable model semantics for Description Logic terminologies. Our semantics is based on Quantified Equilibrium Logic and overcomes some limitations of previous approaches.
Šimkus, Mantas, Stefano, Federica Di
core +1 more source