- May 30, 1994 1 The Design and Evaluation of Ontologies for
- Multidimensional Mereotopology with Betweenness Torsten Hahmann
- SCOPE: A Situation Calculus Ontology of Petri Nets
- Ontologies and Domain Theories Michael Gruninger
- Detecting physical defects: A practical 2D-study of cracks and holes Torsten Hahmann
- NISTIR 7258 Messaging in the Process Specification
- On the Computational Complexity of the Reachability Problem in UML Activity Diagrams
- SEMANTIC INTEGRATION THROUGH INVARIANTS MICHAEL GR UNINGER AND JOSEPH B. KOPENA
- A Nave Theory of Dimension for Qualitative Spatial Relations Torsten Hahmann
- The goal of having networks of seamlessly connected people, software agents and IT systems remains elusive.
- Softw Syst Model (2005) 4: 209231 / Digital Object Identifier (DOI) 10.1007/s10270-004-0066-x PSL: A semantic domain for flow models
- Ontologies for Integrating Engineering Applications Mihai Ciocoiu
- Stonian p-Ortholattices: A new approach to the mereotopology RT0
- CAD/CAPP Integration using Feature Ontology Christel Dartigues *, Parisa Ghodous **, Michael Gruninger ***, Denis Pallez**, Ram Sriram***
- International Journal of Production Research, Vol. 45, No. 7, 1 April 2007, 15051519
- The Knowledge Engineering Review, Vol. 13:1, 1998, 91120 (KER 13101) Printed in the United Kingdom
- ELSEVIER Computers in Industry 29 (1996) 123-134 An organisation ontology for enterprise modeling: Preliminary
- THEOREM PROVING IN THE ONTOLOGY LIFECYCLE Megan Katsumi, Michael Gruninger
- Foundational Process Relations in Bio-Ontologies
- Reasoning about Partially Ordered Web Service Activities in PSL
- On the Skeleton of Stonian p-Ortholattices Michael Winter1,
- IDMME 2006 Grenoble, France, May 17-19, 2006 AN ONTOLOGY ARCHITECTURE FOR STANDARDS
- Creating Semantically Integrated Communities on the World Wide Web
- 1 INTRODUCTION In all types of communication, the ability to share
- Proceedings of IMECE: International Mechanical Engineering Congress and Exposition
- Michael Gruninger Department of Industrial Engineering, University of Toronto,
- Semantic Characterization of Ontologies Michael Gruninger
- Designing and Evaluating Generic Ontologies Michael Gruninger
- Enterprise Modelling Michael Gruninger
- Common Sense Reasoning About Complex Actions
- The Process Specification Language (PSL) Overview and Version 1.0 Specification
- Definability and Process Ontologies Michael Gruninger
- Ontology of the Process Specification Language Michael Gruninger
- The Process Specification Language: Theory and Applications
- Using the PSL Ontology Michael Gruninger
- ONTOLOGY DESIGN THROUGH MODULAR REPOSITORIES Ali Hashemi, Michael Gruninger
- Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective
- To appear, KR-08 1 Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology
- FLOWS: A First-Order Ontology for Semantic Web Services Michael Gruninger
- July 21, 2009 10:6 International Journal of Production Research gruninger-etal Combining RFID with Ontologies to Create Smart Objects
- APPLICATIONS OF PSL TO SEMANTIC WEB SERVICES MICHAEL GRUNINGER
- A First-Order Cutting Process Ontology for Sheet Metal Parts
- Ontology Verification with Repositories Michael GRNINGER a
- USING THE PSL ONTOLOGY MICHAEL GRUNINGER
- Verification of Time Ontologies with Points and Intervals Michael Gruninger
