Results 51 to 60 of about 113,022 (221)

A Description Logic Primer

, 2012
This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the DL SROIQ are defined in detail. Additional sections review light-weight DL languages, discuss the relationship to the Web Ontology Language OWL and give pointers to further ...
Krötzsch, M, Simancik, F, Horrocks, I
openaire   +3 more sources

Polarization‐Driven Molecular Alignment of Azopolymer for Dual‐Encrypted and Moiré Animation‐Based Anti‐Counterfeiting

Advanced Functional Materials, EarlyView.
A multi‐layered anti‐counterfeiting platform is developed based on an azopolymer (PAzo) system. By leveraging the molecular orientation control of PAzo under linearly polarized light (LPL), encrypted patterns are fabricated that remain invisible under standard conditions and require polarized optical microscopy (POM) for decryption.
Ming‐Hsuan Chang, Yi‐Chung Dzeng, Yi‐Ren Chen, Chun‐Chi Chang, Lin‐Ruei Lee, Tsung‐Hung Tsai, Yi‐Fan Chen, Yu‐Chun Liu, Teruki Sugiyama, Chi Chen, Jiun‐Tai Chen   +10 more
wiley   +1 more source

High‐Performance Field‐Effect Transistors and Phototransistors Array Based on Solution‐Processed Quasi‐1D Van der Waals Ta2Pd3S8 Crystals

Advanced Functional Materials, EarlyView.
Herein, the synthesis of Ta₂Pd₃S₈ nanowires is reported via scalable liquid cascade exfoliation and their integration into high‐mobility field‐effect transistors (FETs) and sensitive photodetectors, achieving carrier mobility of up to 27.3 cm2 V⁻¹ s⁻¹ and responsivities of 322.40 A W⁻¹ and 1.85 mA W⁻¹ for single nanowire and network devices ...
Kyung Hwan Choi, Bom Lee, Jinsu Kang, Byung Joo Jeong, Sooheon Cho, Sang Hoon Lee, Dahoon Kim, Yeong Hyeop Kim, Jongwha Chang, Hyung‐Suk Oh, Ji‐Hee Kim, Jae‐Hyun Lee, Hak Ki Yu, Jae‐Young Choi   +13 more
wiley   +1 more source

Ontology and medical terminology: Why description logics are not enough [PDF]

, 2003
Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems.
Ceusters, Werner, Flanagan, Jim, Smith, Barry   +2 more
core  

Double Helical Plasmonic Antennas

Advanced Functional Materials, EarlyView.
Plasmonic double helical antennas funnel circularly polarized light to the nanoscale, offering strong chiroptical interaction and directional light emission. Extending a single helix design tool, this study combines numerical modeling with experimental validation, revealing large, broadband dissymmetry factors in the visible range.
Aleksei Tsarapkin, Luka Zurak, Krzysztof Maćkosz, Lorenz Löffler, Victor Deinhart, Ivo Utke, Thorsten Feichtner, Katja Höflich   +7 more
wiley   +1 more source

Undecidability of the unification and admissibility problems for modal and description logics

, 2006
We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extended with the universal modality.
Wolter, Frank, Zakharyaschev, Michael
core  

Field‐Free Spin–Orbit Torque Switching of Perpendicular Magnetization by PtTe2/WTe2 Bilayers at Sub‐ns Timescales

Advanced Functional Materials, EarlyView.
This work demonstrates ultrafast, field‐free spin–orbit torque (SOT) switching using a PtTe2/WTe2/CoFeB multilayer, achieving sub‐nanosecond magnetization reversal with record‐low energy consumption. The PtTe2/WTe2 bilayer generates an intrinsic out‐of‐plane spin current, enabling deterministic switching without external fields.
Qu Yang, Shishun Zhao, Fei Wang, Yuchen Pu, Zhaohui Li, Xinhou Chen, Jiayu Lei, Hyunsoo Yang   +7 more
wiley   +1 more source

3D Concrete Printing of Triply Periodic Minimum Surfaces for Enhanced Carbon Capture and Storage

Advanced Functional Materials, EarlyView.
A 3D‐printable and carbon‐capturing concrete is developed by replacing cement with diatomaceous earth (DE), which enhances rheology, provides hierarchical porosity, and serves as a nucleation site for carbonation. Maximum absorption of 488.7 gCO2 kgcement−1 is achieved in 7 days, a 142% increase over conventional concrete, and the triply periodic ...
Kun‐Hao Yu, Teng Teng, So Hee Nah, Hua Chai, Yefan Zhi, Kun‐Yu Wang, Yinding Chi, Peter Psarras, Masoud Akbarzadeh, Shu Yang   +9 more
wiley   +1 more source

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach

, 2011
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match curricula and job profiles.
Di Noia, T., Di Sciascio, E., Donini, F. M.   +2 more
core   +1 more source

The Usability of Description Logics [PDF]

, 2014
Description Logics have been extensively studied from the viewpoint of decidability and computational tractability. Less attention has been given to their usability and the cognitive difficulties they present, in particular for those who are not specialists in logic.
Warren, Paul, Mulholland, Paul, Collins, Trevor, Motta, Enrico   +3 more
openaire   +2 more sources