In this paper we investigate the consequence-based algorithms that are nowadays commonly used for subsumption reasoning with description logic ontologies, presenting the following novel results. First, we present a very general consequence-based reasoning algorithm that can be instantiated so as to capture the essential features of the known algorithms. Second, we use this algorithm to develop ...

In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC + Tmin is built upon a previously introduced (monotonic) logic ALC + T, that is obtained by adding a typicality operator T to ALC. The operator T is intended to select the “most normal” or “most typical” instances of ...

We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of their syntactic and semantic properties. More precisely, the set of explanations for a subsumption P N is the set of optimal interpolants for P and N . We provide definitions for optimal interpolation and an algorithm ...

We rederive previously known results for the number of star and watermelon configurations by showing that these follow immediately from standard results in the theory of Young tableaux and integer partitions. In this way we provide a proof of a result, previously only conjectured, for the total number of stars.

Ontology classification is an essential reasoning task for ontology based systems. Tableau and resolution are two dominant types of reasoning procedures for ontology reasoning. Complex ontologies are often built on more expressive description logics and are usually highly cyclic. When reasoning complex ontologies, the both approaches may have difficulties in terms of reasoning results and perfo...

Nanotechnology has been advanced since the last decades. Among all nanomaterials that have been developed, nanosilver is the most frequently used nanoparticles. Its release into natural water bodies is inevitable due to its broad applications. Nanosilver (nAg) was prepared via Tollens method using. The morphology, size distribution and average size of the obtained nAg was characterized using Tr...

nanotechnology has been advanced since the last decades. among all nanomaterials that have been developed, nanosilver is the most frequently used nanoparticles. its release into natural water bodies is inevitable due to its broad applications. nanosilver (nag) was prepared via tollens method using. the morphology, size distribution and average size of the obtained nag was characterized using tr...

Basic properties of probability with Poisson distribution is used in obtaining the coefficient bound by subordination principle which fundamental purpose this work. A class analytic function $f:\xi \rightarrow \mathbb{C}$ unit disc $\xi :\{z\in\mathbb{C}:|z|<1\}$ established. Likewise known results Fekete-Szegö inequalities type and second Toeplitz determinant are obtained.