In this study we address the problem of answering queries over information sources storing objects which are indexed by terms arranged in a taxonomy. We examine query languages of different expressivity and sources with different kinds of taxonomies. In the simplest kind, the taxonomy includes just term-to-term subsumption links. This case is used as a basis for further developments, in which w...

Defeasible Description Logics (DDLs) extend Description Logics with defeasible concept inclusions. Reasoning in DDLs often employs rational or relevant closure according to the (propositional) KLM postulates. If in DDLs with quantification a defeasible subsumption relationship holds between concepts, this relationship might also hold if these concepts appear in existential restrictions. Such ne...

pancreatic stent proximal migration is a well known complication of pancreatic duct stenting, which occurs in about 5-6% of cases. serious complications should be avoided by retrieval of the stent via different endoscopic techniques. we report a new technique previously reported only once (in a pancreatic duct with underlying pathology), to remove the proximally migrated pancreatic stent in a n...

water conveyance systems (wcss) are costly infrastructures in terms of materials, construction, maintenance and energy requirements. much attention has been given to the application of optimization methods to minimize the costs associated with such infrastructures. historically, traditional optimization techniques have been used, such as linear and non-linear programming. in this paper, applica...

Privacy issues during data publishing is an increasing concern of involved entities. The problem is addressed in the field of statistical disclosure control with the aim of producing protected datasets that are also useful for interested end users such as government agencies and research communities. The problem of producing useful protected datasets is addressed in multiple computational priva...

This paper introduces the hierarchical interpolative factorization for integral equations (HIF-IE) associated with elliptic problems in two and three dimensions. This factorization takes the form of an approximate generalized LU decomposition that permits the efficient application of the discretized operator and its inverse. HIF-IE is based on the recursive skeletonization algorithm but incorpo...

Inductive learning models 14] 17] often use a search space of clauses, ordered by a generalization hierarchy. To nd solutions in the model, search algorithms use diierent generalization and specialization operators. In this article we will decompose the quasi-ordering induced by logical implication into six increasingly weak orderings. The diierence between two successive orderings will be smal...