Results 51 to 60 of about 1,076,775 (291)
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
Arthritis Care &Research, EarlyView.Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez +12 more
wiley +1 more source
Algorithm for Adapting Cases Represented in a Tractable Description Logic [PDF]
, 2014 Case-based reasoning (CBR) based on description logics (DLs) has gained a lot of attention lately. Adaptation is a basic task in the CBR inference that can be modeled as the knowledge base revision problem and solved in propositional logic.
A.A. Sánchez-Ruiz +13 more
core +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 This paper contains two parts: the description of a real electrical system, with many redundancies, reconfigurations and repairs, then the description of a reliability model of this system, based on the BDMP (Boolean logic Driven Markov Processes ...
Marc Bouissou
doaj +1 more source
Packaging of Macroscopic Material Payloads: Needs, Challenges, Concepts, and Future Directions
Advanced Engineering Materials, EarlyView.This review introduces a unified framework that decomposes any macroscopic packaging system into the payload, packaging material, and packaging strategy and combines them into a conceptual packaging equation: packaging strategy = payload + packaging material.
Venkata S. R. Jampani, Manos Anyfantakis
wiley +1 more source
RECIIS, 2009 We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology of different
Stefan Schulz +3 more
doaj
Ontology Driven Analysis of Spatio-temporal Phenomena, Aimed At Spatial Planning And Environmental Forecasting [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2013 Spatial planning is a crucial area for balancing civilization development with environmental protection. Spatial planning has a multidisciplinary nature.
A. Iwaniak +3 more
doaj +1 more source
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics [PDF]
, 2019 We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of concept combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC TR, whose semantics is based on the notion of rational ...
Lieto, Antonio, Pozzato, Gian Luca
core +3 more sources
Advanced Engineering Materials, EarlyView.High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source