The unification problem in algebras capable of describing sets has been tackled, directly or indirectly, by many researchers and it finds important applications in various research areas—e.g., deductive databases, theorem proving, static analysis, rapid software prototyping. The various solutions proposed are spread across a large literature. In this paper we provide a uniform presentation of u...

The unification problem in algebras capable of describing sets has been tackled, directly or indirectly, by many researchers and it finds important applications in various research areas—e.g., deductive databases, theorem proving, static analysis, rapid software prototyping. The various solutions proposed are spread across a large literature. In this paper we provide a uniform presentation of u...

uniFication Unification involves the integration and synthesis of disparate types of evidence and models. For instance, Darwin unified hybridization, developmental, paleontological, and biogeographical data under a single theory. in mathematical modeling, unification often entails embedding – a subsumption relation allowing for the unification of (i) various mathematical theories/ models and (i...

Default unification represents a fundamental extension of the common unification operation, where even in case of inconsistency between the information to be merged, there will always be a result. As default unification is no longer a commutative operation, a distinction is made between the argument containing default information, the background, and the other argument consisting of non-default...

The description logic EL belongs to the family of logic-based knowledge representation formalisms. It allows a user to define concepts with the help of concept names (Nc), role names (Nr) and constructors: conjunction (u), existential restriction (∃r.C for r ∈ Nr and a concept C) and top constructor (>). Unification in Description Logics has been introduced in [6]. A unification problem in such...

All chronically critically ill patients are at high risk for development and progression of pressure ulcers. Constant surveillance including daily examination of the skin must be part of the care protocol. All pressure ulcers are chronic wounds that have an inherent, physiologic impairment to healing. As soon as a pressure ulcer develops, intervention should begin immediately, and a treatment p...

Unification modulo equational theories was originally introduced in automated deduction and term rewriting, but has recently also found applications in modal logics and description logics. In this talk, we review problems and results for unification in description logics, and relate them to equational unification and unification in modal logics. Related problems, like disunification, rigid E-un...

— Cybersecurity research demands extensive experimentation to be validated. This experimentation is inherently risky: it may involve any combination of live malicious code, disruptive actions and connectivity to the active Internet. Previously, risky experiments were heavily contained to reduce danger to the experimental infrastructure and the Internet. We argue that such an approach unnecessar...

Dependence on intuitive and experiences would add more complexity in the design process. Novice designers would follow the design of any existing systems without direction. This paper proposed a systematic design approach that provides guidance for novice designers in achieving the targeted usability goal using patterns, and evaluating the prototypes in achieving the determined usability goals....

The second-order unification problem is undecidable. While unification procedures, like Huet’s pre-unification, terminate with success on unifiable problems, they might not terminate on non-unifiable ones. There are several decidability results for infinitary unification, such as for monadic second-order problems. These results are based on the regular structure of the solutions of these proble...