Search Results for "dl"

...atomes is a toolbox developed to analyze, to visualize and to create/edit three-dimensional atomistic models. atomes also provides an advanced input preparation system for further calculations using well known molecular dynamics codes: - Classical MD : DL-POLY and LAMMPS - ab-initio MD : CPMD and CP2K - QM-MM MD : CPMD and CP2K atomes is developed by Dr. Sébastien Le Roux, research engineer for the CNRS Dr. Sébastien Le Roux works at the Institut de Physique et Chimie des Matériaux de Strasbourg.

DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.