Segregation and intermixing in polydisperse liquid-solid fluidized beds: A multi-fluid model validation study

Multifluid model (MFM) simulations have been carried out on liquid-solid fluidized beds (LSFB) consisting of binary and higher-order polydisperse particle mixtures. The role of particle-particle interactions was found to be as crucial as the drag force under laminar and homogenous LSFB flow regimes. The commonly used particle-particle closure models are designed for turbulent and heterogeneous gas-solid flow regimes and thus exhibit limited to no success when implemented for LSFB operating under laminar and homogenous conditions. A need is perceived to carry out Direct Numerical Simulations of liquid-solid flows and extract data from them to develop rational closure terms to account for the physics of LSFB. Finally, a recommendation flow regime map signifying the performance of the MFM has been proposed. This map will act as a potential guideline to identify whether or not the bed expansion characteristics of a given polydisperse LSFB can be correctly simulated using MFM closures tested.

Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure

Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing. The paper describes a preferential approach for dealing with exceptions in Description Logics, based on the rational closure. The rational closure has the merit of providing a simple and efficient approach for reasoning with exceptions, but it does not allow independent handling of the inheritance of different defeasible properties of concepts. In this work we outline a possible solution to this problem by introducing a weaker variant of the lexicographical closure, that we call skeptical closure, which requires to construct a single base. We develop a bi-preference semantics for defining a characterization of the skeptical closure.

Algorithmic definitions for KLM-style defeasible disjunctive Datalog

Datalog is a declarative logic programming language that uses classical logical reasoning as its basic form of reasoning. Defeasible reasoning is a form of non-classical reasoning that is able to deal with exceptions to general assertions in a formal manner. The KLM approach to defeasible reasoning is an axiomatic approach based on the concept of plausible inference. Since Datalog uses classical reasoning, it is currently not able to handle defeasible implications and exceptions. We aim to extend the expressivity of Datalog by incorporating KLM-style defeasible reasoning into classical Datalog. We present a systematic approach for extending the KLM properties and a well-known form of defeasible entailment: Rational Closure. We conclude by exploring Datalog extensions of less conservative forms of defeasible entailment: Relevant and Lexicographic Closure. We provide algorithmic definitions for these forms of defeasible entailment and prove that the definitions are LM-rational.

Reasoning About Typicality and Probabilities in Preferential Description Logics

In this work we describe preferential Description Logics of typicality, a nonmonotonic extension of standard Description Logics by means of a typicality operator T allowing to extend a knowledge base with inclusions of the form T(C) ⊑ D, whose intuitive meaning is that “normally/typically Cs are also Ds”. This extension is based on a minimal model semantics corresponding to a notion of rational closure, built upon preferential models. We recall the basic concepts underlying preferential Description Logics. We also present two extensions of the preferential semantics: on the one hand, we consider probabilistic extensions, based on a distributed semantics that is suitable for tackling the problem of commonsense concept combination, on the other hand, we consider other strengthening of the rational closure semantics and construction to avoid the so called “blocking of property inheritance problem”.

Rational Closure For All Description Logics (Extended Abstract)

Many modern applications of description logics (DLs, for short), such as biomedical ontologies and semantic web policies, provide compelling motivations for extending DLs with an overriding mechanism analogous to the homonymous feature of object-oriented programming. Rational closure (RC) is one of the candidate semantics for such extensions, and one of the most intensively studied. So far, however, it has been limited to strict fragments of SROIQ(D) – the logic on which OWL2 is founded. In this paper we prove that RC cannot be extended to logics that do not satisfy the disjoint model union property, including SROIQ(D). Then we introduce a refinement of RC called stable rational closure that overcomes the dependency on the disjoint model union property. Our results show that stable RC is a natural extension of RC. However, its positive features come at a price: stable RC re-introduces one of the undesirable features of other nonmonotonic logics, namely, deductive closures may not exist and may not be unique.