Proposing a certain notion of logical completeness as a novel quality criterion for ontologies, we identify and characterise a class of logical propositions which naturally extend domain and range restrictions commonly known from diverse ontology modelling approaches. We argue for the intuitivity of this kind of axioms and show that they fit equally well into formalisms based on rules as well a...

in the present paper‎, ‎we propose an iterative algorithm for‎ ‎solving the generalized $(p,q)$-reflexive solution of the quaternion matrix‎ ‎equation $overset{u}{underset{l=1}{sum}}a_{l}xb_{l}+overset{v} ‎{underset{s=1}{sum}}c_{s}widetilde{x}d_{s}=f$‎. ‎by this iterative algorithm‎, ‎the solvability of the problem can be determined automatically‎. ‎when the‎ ‎matrix equation is consistent over...

In this study, we propose a numerical scheme for stochastic oscillators with additive noise obtained by the method of variation constants formula using generalized integrators. For both displacement and velocity components, show that has an order 3/2 in one step convergence first overall convergence. Theoretical statements are supported experiments.

In this paper, we introduce the new class of implicit L-stable generalized hybrid methods for the numerical solution of first order initial value problems. We generalize the hybrid methods with utilize ynv directly in the right hand side of classical hybrid methods. The numerical experimentation showed that our method is considerably more efficient compared to well known methods used for the n...

in this study, a new and ecient approach is presented for numerical solution offredholm integro-dierential equations (fides) of the second kind on unbounded domainwith degenerate kernel based on operational matrices with respect to generalized laguerrepolynomials(glps). properties of these polynomials and operational matrices of integration,dierentiation are introduced and are ultilized to r...

‎the global generalized minimum residual (gl-gmres)‎ ‎method is examined for solving the generalized sylvester matrix equation‎ ‎[sumlimits_{i = 1}^q {a_i } xb_i = c.]‎ ‎some new theoretical results are elaborated for‎ ‎the proposed method by employing the schur complement‎. ‎these results can be exploited to establish new convergence properties‎ ‎of the gl-gmres method for solving genera...

In this paper we intend to offer new numerical methods to solve the second-order fuzzy Abel-Volterraintegro-differential equations under the generalized $H$-differentiability. The existence and uniqueness of thesolution and convergence of the proposed methods are proved in details and the efficiency of the methods is illustrated through a numerical example.