Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Specifying temporal knowledge for workflows ontologies

Specifying temporal knowledge for workflows ontologies AbstractA workflow is an automation of a process, inwhich participants (people or programs) are involved inactivities for solving a set of tasks according to certainrules and constraints in order to attain a common goal.The concept of workflow appeared in business informatics.Currently the workflow techniques are used in manyother fields such as medical informatics, bioinformatics,automation of scientific research, computer-aided designand 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 relatedto workflows. In this paper, we introduce a formalismthat extends the language of the interval Allen’s logic,and show how this formalism can be applied to specifytemporal knowledge in ontologies for workflows. For theextended Allen’s logic, we construct a deduction systembased on the analytic tableaux method. We also show (byexamples) how to apply the deduction method to queryanswering over ontologies written in the extended Allen’slogic. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Open Computer Science de Gruyter

Specifying temporal knowledge for workflows ontologies

Download PDF
6 pages

Loading next page...
 
/lp/de-gruyter/specifying-temporal-knowledge-for-workflows-ontologies-LilR0uhSrp

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
de Gruyter
Copyright
© 2016 Gerald Plesniewicz, Baurzhan Karabekov
eISSN
2299-1093
DOI
10.1515/comp-2016-0020
Publisher site
See Article on Publisher Site

Abstract

AbstractA workflow is an automation of a process, inwhich participants (people or programs) are involved inactivities for solving a set of tasks according to certainrules and constraints in order to attain a common goal.The concept of workflow appeared in business informatics.Currently the workflow techniques are used in manyother fields such as medical informatics, bioinformatics,automation of scientific research, computer-aided designand 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 relatedto workflows. In this paper, we introduce a formalismthat extends the language of the interval Allen’s logic,and show how this formalism can be applied to specifytemporal knowledge in ontologies for workflows. For theextended Allen’s logic, we construct a deduction systembased on the analytic tableaux method. We also show (byexamples) how to apply the deduction method to queryanswering over ontologies written in the extended Allen’slogic.

Journal

Open Computer Science – de Gruyter

Published: Jan 1, 2016

References

  • WebComposer : a Tool for the Composition and Execution of Web Service - based Workflows Proceedings of WebMedia and LA - Web Conference
    Costal
  • TANDEM : integrated allele binning into genetics and genomics workflows
    Matschiner
  • Logic based modeling and analysis of workflows Symposium on Principles of Database Systems
    Davulcu
  • Examining the Challenges of Scientific Workflows
    Gil
  • A workflow model based on temporal logic Proceedings of the th International Conference on Computer Supported Cooperative Work in Design
    Ma