DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

Nonmonotonic rule systems are expected to play an important role in the layered development of the semantic Web. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more efficient approach than other nonmonotonic rule systems for reasoning with incomplete and inconsistent information. This paper reports on the implementation of a system for defeasible reasoning on the Web. The system 1) is syntactically compatible with RuleML, 2) features strict and defeasible rules, priorities, and two kinds of negation, 3) is based on a translation to logic programming with declarative semantics, 4) is flexible and adaptable to different intuitions within defeasible reasoning, and 5) can reason with rules, RDF, RDF Schema, and (parts of) OWL ontologies     

Modeling Bearing and Shear Forces in Molecularly Thin Lubricants

Under the effects of high shear rate and confinement between solid surfaces, the behavior of a thin lubricant film deviates from that of the bulk, resulting in significant increases of lubricant viscosity and interfacial slip. A semi-empirical model accounting for the breakdown of continuum theory at the nanoscale is proposed—based on film morphology and chemistry from available experimental and molecular dynamics simulation data—to describe lubricant behavior under shear. Viscosity stiffening and interfacial slip models are introduced into the formulations of the normal (bearing) and shear forces acting on a sphere that moves within a thin lubricant film parallel to a rigid plane. The experimentally measured ‘apparent’ viscosity confounding the effects of both stiffening and slip is used to predict the hydrodynamic forces acting on a fully or partially submerged sphere for the purposes of describing lubricant contact in magnetic storage. The proposed sphere-on-flat model forms the basis of a future, dynamic contact with friction model that will account for lubricant contact in the context of molecularly thin lubricated rough surface contact.     

Modeling Sliding Contact of Rough Surfaces with Molecularly Thin Lubricants

The sliding contact between two rough surfaces in the presence of a molecularly thin lubricant layer is investigated. Under very high shear rates, the lubricant is treated as a semi-solid layer with normal and lateral shear-dependent stiffness components obtained from experimental data. The adhesive force in the presence of lubricant is also adapted from the Sub-boundary lubrication model and improved to account for variation in surface energy with penetration into the lubricant layer. A model is then proposed, based on the Improved sub-boundary lubrication model, which accounts for lubricant contact and adhesion and its validity is discussed. The model is in good agreement with published experimental measurements of friction in the presence of molecularly thin lubricant layers and suggests that a molecularly thin lubricant bearing could be successfully used to reduce solid substrate damage at the interface.     

A break-glass protocol based on ciphertext-policy attribute-based encryption to access medical records in the cloud

Annals of Telecommunications - In emergency care, fast and efficient treatment is vital. The availability of Electronic Medical Records (EMR) allows healthcare professionals to access a...