SearcharxivSearch

arXiv subjects

Gerd Wagner

Publications and source records attributed to Gerd Wagner.

2 recordsLinked to original sources

Demystifying the Lagrangian of classical mechanics

The Lagrangian formulation of classical mechanics is widely applicable in solving a vast array of physics problems encountered in the undergraduate and graduate physics curriculum. Unfortunately, many treatments of the topic lack explanations of the most basic details that make Lagrangian mechanics so practical. In this paper, we detail the steps taken to arrive at the principle of stationary action, the Euler-Lagrange equations, and the Lagrangian of classical mechanics. These steps are: 1) we derive the Lagrange formalism purely mathematically from the problem of the minimal distance between two points in a plane, introducing the variational principle and deriving the Euler-Lagrange equation; 2) we transform Newton's second law into an Euler-Lagrange equation, proving that the Lagrangian is kinetic minus potential energy; 3) we explain why it is important to reformulate Newton's law. To do so, we prove that the Euler-Lagrange equation is astonishingly the same in any set of coordinates. We demonstrate that because of this feature the role that coordinates play in classical mechanics is much simpler and clearer in the Lagrangian as compared to the Newtonian formulation. This is important because the choice of coordinates is not relevant to physical reality, rather they are arbitrarily chosen to provide a convenient way of analyzing a physical system.

physics.class-ph

Extended RDF as a Semantic Foundation of Rule Markup Languages

Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts, based on base concepts. For example, rules allow to define the extension of a class or property, based on a complex relation between the extensions of the same or other classes and properties. On the other hand, the inclusion of negative information both in the form of negation-as-failure and explicit negative information is also needed to enable various forms of reasoning. In this paper, we extend RDF graphs with weak and strong negation, as well as derivation rules. The ERDF stable model semantics of the extended framework (Extended RDF) is defined, extending RDF(S) semantics. A distinctive feature of our theory, which is based on Partial Logic, is that both truth and falsity extensions of properties and classes are considered, allowing for truth value gaps. Our framework supports both closed-world and open-world reasoning through the explicit representation of the particular closed-world assumptions and the ERDF ontological categories of total properties and total classes.

cs.AI