Results 31 to 40 of about 113,022 (221)
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. Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to ...
Baader, Franz, Morawska, Barbara
openaire +6 more sources
Recent Progress on 2D‐Material‐Based Smart Textiles: Materials, Methods, and Multifunctionality
Advanced Engineering Materials, EarlyView.Advancements in 2D‐material‐integrated smart textiles are reviewed, with a focus on materials, fabrication methods, and multifunctional applications, including energy harvesting, monitoring, EMI shielding, energy storage, and thermal management. The discussion addresses key challenges and provides insights into the future development of next‐generation
Yong Choi +5 more
wiley +1 more source
Probabilistic description logic programs [PDF]
International Journal of Approximate Reasoning, 2005 AbstractTowards sophisticated representation and reasoning techniques that allow for probabilistic uncertainty in the Rules, Logic, and Proof layers of the Semantic Web, we present probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set semantics and the ...
openaire +5 more sources
On similarity in fuzzy description logics [PDF]
Fuzzy Sets and Systems, 2016 This paper is a contribution to the study of similarity relations between objects represented as attribute-value pairs in Fuzzy Description Logics . For this purpose we use concrete domains in the fuzzy description logic IALCEF(D)IALCEF(D) associated either with a left-continuous or with a finite t-norm.
Armengol, Eva +2 more
openaire +4 more sources
Biointerfacing with AgBiS2 Quantum Dots for Pseudocapacitive Photostimulation
Advanced Functional Materials, EarlyView.It is demonstrated that AgBiS2 quantum dots exhibit unique photoinduced pseudocapacitive charge transfer properties, enabling efficient light‐to‐electrical energy conversion. These quantum dots facilitate enhanced light absorption and transduction when integrated with ZnO nanowires, which serve as an effective charge transport medium.
Ridvan Balamur +8 more
wiley +1 more source
Probabilistic Description Logics [PDF]
, 1994 Appears in Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence (UAI1994)
openaire +3 more sources
Gate‐Tunable Hole Transport in In‐Plane Ge Nanowires by V‐Groove Confined Selective Epitaxy
Advanced Functional Materials, EarlyView.Ge nanowires are promising for hole spin‐based quantum processors, requiring direct integration onto Si wafers. This work introduces V‐groove‐confined selective epitaxy for in‐plane nanowire growth on Si. Structural and low‐temperature transport measurements confirm their high crystalline quality, gate‐tunable hole densities, and mobility.
Santhanu Panikar Ramanandan +11 more
wiley +1 more source
A Logic for Ambiguous Description
Electronic Notes in Theoretical Computer Science, 2002 AbstractA logic formalizing ambiguity, which appears both in natural language and in mathematical discourse, is presented, through a sequent calculus and a semantics, together with some elementary results.
openaire +2 more sources
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs [PDF]
, 2008 Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages. Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination).
openaire +4 more sources
Reconciling description logics and rules [PDF]
Journal of the ACM, 2008 Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual knowledge, rules are focused on nonmonotonic inference. Many applications, however, require features of both DLs and rules.
Boris Motik, ROSATI, Riccardo
openaire +3 more sources