We present Attempto Controlled English — a userfriendly first-order logic language with a rich English syntax — and its associated tools, and demonstrate how they meet the challenges of knowledge representation, reasoning, interoperability and user interfaces created by large software projects like the semantic web. Attempto Controlled English Meets the Challenges of Knowledge Representation, R...

We study the variation of relative cohomology for a pair consisting of a smooth projective hypersurface and an algebraic subvariety in it. We construct an inhomogeneous Picard-Fuchs equation by applying a Picard-Fuchs operator to the holomorphic top form on a Calabi-Yau hypersurface in toric variety, and deriving a general formula for the d-exact form on one side of the equation. We also derive...

Abstract The article deals with the interpretation and dating of „Märe“ Reinhart Fuchs, its political function being elaborated. This is accomplished by means a hierarchical order animal protagonists in society estates. author Fuchs establishes context Der arme Heinrich draws on new medical developments from Salerno, but also uses his own knowledge. Thereby, King Vrevel characterised as selfish...

Fuchs studies how cell death controls stem cell-driven processes.