The liar; an essay in truth and circularity
The liar; an essay in truth and circularity
Logic and information
Artificial intelligence and mathematical theory of computation
The essence of the process specification language
Transactions of the Society for Computer Simulation International - modeling and simulation in manufacturing
A formal foundation for process modeling
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
A case-based reasoning framework for workflow model management
Data & Knowledge Engineering - Special issue: Advances in business process management
ODE SWS: A Framework for Designing and Composing Semantic Web Services
IEEE Intelligent Systems
Ontologies and semantics for seamless connectivity
ACM SIGMOD Record
An agent-based approach for coordinating product design workflows
Computers in Industry
Tools for composite web services: a short overview
ACM SIGMOD Record
Semantic integration through invariants
AI Magazine - Special issue on semantic integration
Bringing Semantics to Web Services with OWL-S
World Wide Web
DOLCE ergo SUMO: On foundational and domain models in the SmartWeb Integrated Ontology (SWIntO)
Web Semantics: Science, Services and Agents on the World Wide Web
A methodology for engineering ontology acquisition and validation
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
The Two-Variable Situation Calculus
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
A framework for preservable geometry-centric artifacts
2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling
A framework for communication planning on mobile devices
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Formal Modeling of Clinical Processes: Experiments in Oncology and Future Perspectives
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
An agent-based approach for coordinating product design workflows
Computers in Industry
Reasoning about Partially Ordered Web Service Activities in PSL
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
WSMO choreography: from abstract state machines to concurrent transaction logic
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Foundational Process Relations in Bio-Ontologies
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Design-to-fabrication automation for the cognitive machine shop
Advanced Engineering Informatics
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Model driven engineering with ontology technologies
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Constraint-centric workflow change analytics
Decision Support Systems
On the long-term retention of geometry-centric digital engineering artifacts
Computer-Aided Design
Elaborating a knowledge base for deep lexical semantics
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Constructing expert profiles over time for skills management and expert finding
i-KNOW '11 Proceedings of the 11th International Conference on Knowledge Management and Knowledge Technologies
Towards a formalization of individual work execution at computer workplaces
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Towards a unified model for web services composition
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web
Towards a practical approach to check UML/fUML models consistency using CSP
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Business process collaboration using semantic interoperability: review and framework
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
A collaborative framework to realize virtual enterprises using 3APL
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
A simple and flexible timing constraint logic
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Satisfying agent goals by executing different task semantics: HTN, OWL-S or plug one yourself
Autonomous Agents and Multi-Agent Systems
Inferring and validating skills and competencies over time
Applied Ontology
The formal REA model at the operational level
Applied Ontology
Hi-index | 0.00 |
The PROCESS SPECIFICATION LANGUAGE (PSL) has been designed to facilitate correct and complete exchange of process information among manufacturing systems, such as scheduling, process modeling, process planning, production planning, simulation, project management, work flow, and business-process reengineering. We give an overview of the theories within the PSL ontology, discuss some of the design principles for the ontology, and finish with examples of process specifications that are based on the ontology.