Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Tractatus Logico Philosophicus (Routledge Classics) (Routledge Classics)
Tractatus Logico Philosophicus (Routledge Classics) (Routledge Classics)
Modeling and Query Patterns for Process Retrieval in OWL
ISWC '09 Proceedings of the 8th International Semantic Web Conference
An ontological account of action in processes and plans
Knowledge-Based Systems
Activity labeling in process modeling: Empirical insights and recommendations
Information Systems
Ontology Verification with Repositories
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Ontology mapping using description logic and bridging axioms
Computers in Industry
| Hi-index | 0.00 |
Process modeling is ubiquitous in business and industry. While agreat deal of effort has been devoted to the formal andphilosophical investigation of processes, surprisingly littleresearch connects this work to real world process modeling. Thepurpose of this paper is to begin making such a connection. To doso, we first develop a simple mathematical model of activities andtheir instances based upon the model theory for the NIST ProcessSpecification Language (PSL), a simple language for describingthese entities, and a semantics for the latter in terms of theformer, and a set of axioms for the semantics based upon the NISTProcess Specification Language (PSL). On the basis of thisfoundation, we then develop a general notion of a process model,and an account of what it is for such a model to be realized by acollection of events.