Results 81 to 90 of about 2,297,669 (248)
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Advanced Engineering Materials, EarlyView.Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
A defeasible logic programming approach to the integration of rules and ontologies
Journal of Computer Science and Technology, 2010 The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them.
Sergio Alejandro Gómez +2 more
doaj
Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceIn previous work it was shown that the logic ALCME, which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference.
Franz Baader, Anton Claußnitzer
doaj +1 more source
Academic Meta Tool – Ein Web-Tool zur Modellierung von Vagheit
Zeitschrift für digitale Geisteswissenschaften, 2019 In this article, we introduce a methodological proposal for modelling vagueness in graphs. In addition to the modelling, we also deal with the automatic generation of implicitly stored knowledge when considering ...
Martin Unold +2 more
doaj +1 more source
Distributed Description Logics - Preliminary investigations
, 2002 Information integration has been, and remains one of the majour challenges of information processing, and is well supported by description logics. We illustrate the need for a more refined approach in those cases where the original sources form a loosely
Serafini, Luciano, Borgida, Alex
core
Symmetry‐Guided Multifunctional Acoustic System Based on Mechanically Actuated Sonic Crystals
Advanced Engineering Materials, EarlyView.This study presents the design, simulation, and experimental validation of amultifunctional acoustic metamaterial based on rotationally engineered sonic crystals.By tuning cylinder orientations, controllable band gaps and six distinct functionalities—including switching, topological insulation, beam splitting, and logic operations—areachieved ...
Yuanyan Zhao +2 more
wiley +1 more source
Spatial Logics for Bigraphs [PDF]
, 2005 Bigraphs are emerging as an interesting model for concurrent calculi, like CCS, pi-calculus, and Petri nets. Bigraphs are built orthogonally on two structures: a hierarchical place graph for locations and a link (hyper-)graph for connections.
Conforti, G., Macedonio, D., Sassone, V.
core +2 more sources
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
Advanced Engineering Materials, EarlyView.Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter +10 more
wiley +1 more source
Indistinguishability in controlled query evaluation over prioritized description logic ontologies
Web SemanticsIn this paper we study Controlled Query Evaluation (CQE), a declarative approach to privacy-preserving query answering over databases, knowledge bases, and ontologies. CQE is based on the notion of censor, which defines the answers to each query posed to
Gianluca Cima +4 more
doaj +1 more source