This paper identifies constructions needed for modeling product structure, shows which ones can be represented in OWL2 and suggests extensions for those that do not have OWL2 representations. A simplified mobile robot specification is formalized as a Knowledge Base (KB) in an extended logic. A KB is constructed from a signature of types (classes), typed properties, and typed variables and opera...

We discuss several classes of linear second order initial-boundary value problems, where damping terms appear in the main wave equation as well as in the dynamic boundary condition. We investigate their wellposedness and describe some qualitative properties of their solutions, including boundedness, stability, or almost periodicity. In particular, we are able to characterize the analyticity of ...

For the complete higher order differential equation u(t) = Σn−1 k=0Aku (t) + f(t), t ∈ R (*) on a Banach space E, we give a new definition of mild solutions of (*). We then characterize the regular admissibility of a translation invariant subspace M of BUC(R,E) with respect to (*) in terms of solvability of the operator equation Σn−1 j=0AjXD j −XD = C. As application, almost periodicity of mild...

This article aims to study almost α-Kenmotsu pseudo-Riemannian structure. We first focus on the concept of structure and its basic properties. Then, we shall prove some fundamental formulas classification results such manifolds with CR-integrable Finally, illustrative examples manifold are given.