Specifying temporal knowledge for workflows ontologies

AbstractA workflow is an automation of a process, in which participants (people or programs) are involved in activities for solving a set of tasks according to certain rules and constraints in order to attain a common goal. The concept of workflow appeared in business informatics. Currently the workflow techniques are used in many other fields such as medical informatics, bioinformatics, automation of scientific research, computer-aided design and manufacturing, etc. An ontology is a formal description (in terms of concepts, entities, their properties and relationships) of knowledge for solving a given class of problems. In particular, ontologies can be used in problems related to workflows. In this paper, we introduce a formalism that extends the language of the interval Allen’s logic, and show how this formalism can be applied to specify temporal knowledge in ontologies for workflows. For the extended Allen’s logic, we construct a deduction system based on the analytic tableaux method. We also show (by examples) how to apply the deduction method to query answering over ontologies written in the extended Allen’s logic.

Download Full-text

Computer Aided Design and Manufacturing of Soft, Three-Dimensional, Multilayer, Biological Constructs via Laser Printing onto Laser Machined Composite Biopapers

Journal of Imaging Science and Technology ◽

10.2352/j.imagingsci.technol.2014.58.2.040402 ◽

2014 ◽

Keyword(s):

Computer Aided Design ◽

Three Dimensional ◽

Laser Printing ◽

Computer Aided ◽

Design And Manufacturing ◽

Aided Design

Download Full-text

The Application of Computer Techniques in the Design and Manufacturing of Timing Scrolls

Proceedings of the Institution of Mechanical Engineers Part E Journal of Process Mechanical Engineering ◽

10.1243/pime_proc_1993_207_213_02 ◽

1993 ◽

Vol 207 (2) ◽

pp. 99-108

Author(s):

L Q Tang ◽

D N Moreton

Keyword(s):

Dynamic Characteristic ◽

Computer Aided Design ◽

Numerical Control ◽

Feeding Mechanism ◽

Control Techniques ◽

Computer Aided ◽

Design And Manufacturing ◽

Manufacturing Techniques ◽

Aided Design ◽

Design And Manufacture

The timing scroll is an important feeding mechanism on packaging lines. As packaging line speeds have increased and the shape of containers has become more diverse, the techniques used for the design and manufacture of such timing scrolls have become critical for successful packaging line performance. Since 1980, various techniques have evolved to improve scroll design, manufacture and the associated line performance. In recent years, as CAD (computer aided design), CAM (computer aided manufacture) and CNC (computer numerical control) techniques have evolved, scroll design and manufacturing techniques began to be linked with computer techniques. In this paper, a scroll design and manufacturing package is presented which can be run on a minicomputer, such as a μ-VAX on an IBM PC clone. This scroll package can produce a timing scroll for any type of container with a correct pocket shape and good dynamic characteristic. Tests using carefully chosen containers have been made using this package and the results indicate that the scrolls obtained by this package have the correct pocket shape and good line performance. However, the design of a good pick-up geometry for some container shapes remains a problem.

Download Full-text