Physics-based simulation ontology: an ontology to support modelling and reuse of data for physics-based simulation

References

• Aameri, Bahar, Hyunmin Cheong, and J. Christopher Beck. 2019. “Towards an Ontology for Generative Design of Mechanical Assemblies.” Applied Ontology 14 (2): 127-153.
   Google Scholar
• Almeida, Mauricio, Jonathan Bona, Mathias Brochhausen, Werner Ceusters, Melanie Courtot, Randall Dipert, and Albert Goldfain, et al. 2015. Basic Formal Ontology 2.0: Specification and User's Guide. Technical Report.
   Google Scholar
• Arena, Damiano, and Dimitris Kiritsis. 2017. “A Methodological Framework for Ontology-Driven Instantiation of Petri Net Manufacturing Process Models.” IFIP International Conference on Product Lifecycle Management, Seville, Spain, July 10-12 (pp. 557–567). Springer.
   Google Scholar
• Arp, Robert, Barry Smith, and Andrew D. Spear. 2015. Building Ontologies with Basic Formal Ontology. Cambridge, MA: MIT Press.
   Google Scholar
• Ashburner, Michael, Catherine A. Ball, Judith A. Blake, David Botstein, Heather Butler, J. Michael Cherry, and Allan P. Davis, et al. 2000. “Gene Ontology: Tool for the Unification of Biology.” Nature Genetics 25 (1): 25.
   PubMed Web of Science ®Google Scholar
• Barbau, Raphael, Sylvere Krima, Sudarsan Rachuri, Anantha Narayanan, Xenia Fiorentini, Sebti Foufou, and Ram D. Sriram. 2012. “Ontostep: Enriching Product Model Data Using Ontologies.” Computer-Aided Design 44 (6): 575–590.
   Web of Science ®Google Scholar
• Benjamin, Perakath, Mukul Patki, and Richard Mayer. 2006. “Using Ontologies for Simulation Modeling.” Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6 (pp. 1151–1159). IEEE.
   Google Scholar
• Bohring, Hannes, and Sören Auer. 2005. “Mapping Xml to Owl Ontologies.” Leipziger Informatik-Tage 72: 147–156.
   Google Scholar
• Borgo, Stefano, Massimiliano Carrara, Pawel Garbacz, and Pieter E. Vermaas. 2009. “A Formal Ontological Perspective on the Behaviors and Functions of Technical Artifacts.” AI EDAM 23 (1): 3–21.
   Google Scholar
• Borgo, Stefano, and Paulo Leitão. 2007. "Foundations for a core ontology of manufacturing." In Ontologies, edited by R. Sharman, R. Kishore, and R. Ramesh, 751–775. Boston, MA: Springer.
   Google Scholar
• Borgo, Stefano, and Laure Vieu. 2009. “Artefacts in Formal Ontology.” Handbook of Philosophy of Technology and Engineering Sciences 9: 273–307.
   Google Scholar
• Borst, Pim, Hans Akkermans, and Jan Top. 1997. “Engineering Ontologies.” International Journal of Human–Computer Studies 46 (2–3): 365–406.
   Web of Science ®Google Scholar
• Ceusters, Werner, and Barry Smith. 2015. “Aboutness: Towards Foundations for the Information Artifact Ontology.” Proceedings of the Sixth International Conference on Biomedical Ontology (ICBO), Lisbon, Portugal, July 27-30 (pp. 47-51).
   Google Scholar
• Cheong, Hyunmin. 2019. “Translating Json Schema Logics into Owl Axioms for Unified Data Validation on a Digital Manufacturing Platform.” Procedia Manufacturing 28: 183–188.
   Google Scholar
• Cohn, Anthony G., Brandon Bennett, John Gooday, and Nicholas Mark Gotts. 1997. “Qualitative Spatial Representation and Reasoning with the Region Connection Calculus.” GeoInformatica 1 (3): 275–316.
   Google Scholar
• Collins, Joseph B. 2004. “Standardizing an Ontology of Physics for Modeling and Simulation.” 2006 Fall Simulation Interoperability Workshop (SIW).
   Google Scholar
• Collins, Joseph B., and Doug Clark. 2014. “Towards an Ontology of Physics.” European Simulation Interoperability Workshop (EURO-SIW).
   Google Scholar
• Cook, Daniel L., Fred L. Bookstein, and John H. Gennari. 2011. “Physical Properties of Biological Entities: An Introduction to the Ontology of Physics for Biology.” PLoS One 6 (12): e28708.
   PubMed Web of Science ®Google Scholar
• Cook, Daniel L., Jose LV. Mejino Jr, Maxwell L. Neal, and John H. Gennari. 2008. “Bridging Biological Ontologies and Biosimulation: The Ontology of Physics for Biology.” AMIA Annual Symposium Proceedings, Vol. 2008, 136. American Medical Informatics Association.
   Google Scholar
• Cook, Daniel L., Maxwell L. Neal, Fred L. Bookstein, and John H. Gennari. 2013. “Ontology of Physics for Biology: Representing Physical Dependencies as a Basis for Biological Processes.” Journal of Biomedical Semantics 4 (1): 41–00.
   PubMed Web of Science ®Google Scholar
• De Kleer, Johan, and John Seely Brown. 1984. “A Qualitative Physics Based on Confluences.” Artificial Intelligence 24 (13): 7–83.
   Web of Science ®Google Scholar
• Demoly, Frédéric, Aristeidis Matsokis, and Dimitris Kiritsis. 2012. “A Mereotopological Product Relationship Description Approach for Assembly Oriented Design.” Robotics and Computer-Integrated Manufacturing 28 (6): 681–693.
   Web of Science ®Google Scholar
• Fenves, Steven J., Sebti Foufou, Conrad Bock, and Ram D. Sriram. 2008. “Cpm2: A Core Model for Product Data.” Journal of Computing and Information Science in Engineering 8 (1): 014501.
   Web of Science ®Google Scholar
• Fiorentini, X., I. Gambino, V. Liang, S. Foufou, S. Rachuri, C. Bock, and M. Mahesh. 2007. “Towards an Ontology for Open Assembly Model.” International Conference on Product Lifecycle Management, Milan, Italy, July 11-13 (pp. 445–456).
   Google Scholar
• Freitas, André, Kartik Asooja, Swapnil Soni, Marggie Jones, Panagiotis Hasapis, and Ratnesh Sahay. 2014. “Towards a Semantic Web Platform for Finite Element Simulations.” European Semantic Web Conference, Anissaras, Crete, Greece, May 25-29 (pp. 338–342). Springer.
   Google Scholar
• Furini, Francesco, Rahul Rai, Barry Smith, Giorgio Colombo, and Venkat Krovi. 2016. “Development of a Manufacturing Ontology for Functionally Graded Materials.” ASME 2016 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Charlotte, North Carolina, USA, August 21-24. American Society of Mechanical Engineers.
   Google Scholar
• Gangemi, Aldo, Nicola Guarino, Claudio Masolo, Alessandro Oltramari, and Luc Schneider. 2002. “Sweetening Ontologies with Dolce.” International Conference on Knowledge Engineering and Knowledge Management, Siguenza, Spain, October 1-4 (pp. 166–181). Springer.
   Google Scholar
• Gkoutos, Georgios V., Paul N. Schofield, and Robert Hoehndorf. 2012. “The Units Ontology: A Tool for Integrating Units of Measurement in Science.” Database, 2012.
   Google Scholar
• Grenon, Pierre, and Barry Smith. 2004. “Snap and Span: Towards Dynamic Spatial Ontology.” Spatial Cognition and Computation 4 (1): 69–104.
   Google Scholar
• Grenon, Pierre, Barry Smith, and Louis Goldberg. 2004. “Biodynamic Ontology: Applying BFO in the Biomedical Domain.” Studies in Health Technology and Informatics 102: 20–38.
   PubMedGoogle Scholar
• Grosse, Ian R., John M. Milton-Benoit, and Jack C. Wileden. 2005. “Ontologies for Supporting Engineering Analysis Models.” AIEDAM 19 (1): 1–18.
   Google Scholar
• Gruber, Thomas R. 1995. “Toward Principles for the Design of Ontologies used for Knowledge Sharing.” International Journal of Human–Computer Studies 43 (56): 907–928.
   Web of Science ®Google Scholar
• Gruhier, Elise, Frédéric Demoly, Olivier Dutartre, Said Abboudi, and Samuel Gomes. 2015. “A Formal Ontology-based Spatiotemporal Mereotopology for Integrated Product Design and Assembly Sequence Planning.” Advanced Engineering Informatics 29 (3): 495–512.
   Web of Science ®Google Scholar
• Gruhier, Elise, Frédéric Demoly, Kyoung-Yun Kim, Said Abboudi, and Samuel Gomes. 2016. “A Theoretical Framework for Product Relationships Description over Space and Time in Integrated Design.” Journal of Engineering Design 27 (46): 269–305.
   Web of Science ®Google Scholar
• Gruninger, Michael, and Christopher Menzel. 2003. “The Process Specification Language (PSL) Theory and Applications.” AI Magazine 24 (3): 63.
   Web of Science ®Google Scholar
• Guarino, Nicola. 1998. “Formal Ontology in Information Systems.” Proceedings of International Conference on Formal Ontology and Information Systems, Trento, Italy, June 6-8. IOS Press.
   Google Scholar
• Guarino, Nicola, and Christopher Welty. 2000. “Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis.” Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25 (pp. 219–223). IOS Press.
   Google Scholar
• Haas, Ralph, Paul J. Keller, Jack Hodges, and Jack Spivak. Quantities, Units, Dimensions and Data Types Ontologies (QUDT). Technical Report, Top Quadrant and NASA, 2014. URL: http://qudt.org.
   Google Scholar
• Hayes, Patrick J. 1979. “The Naive Physics Manifesto.” In Expert Systems in the Electronic Age, edited by D. Mitchie, 242-270. Edinburgh, Scotland: Edinburgh University Press.
   Google Scholar
• Herre, Heinrich. 2010. “General Formal Ontology (GFO): A Foundational Ontology for Conceptual Modelling.” In Theory and Applications of Ontology: Computer Applications, edited by R. Poli, M. Healy, and A. Kameas, 297–345. Springer
   Google Scholar
• Herre, Heinrich, and Barbara Heller. 2005. “Ontology of Time and Situoids in Medical Conceptual Modeling.” Conference on Artificial Intelligence in Medicine in Europe, Aberdeen, UK, July 23-27 (pp. 266–275). Springer.
   Google Scholar
• Horvath, Imre, J. P. W. Pulles, A. P. Bremer, and J. S. M. Vergeest. 1998. “Towards an ontology-based definition of design features.” SIAM Workshop on Mathematical Foundations for Features in Computer Aided Design, Engineering, and Manufacturing, 2889–2911.
   Google Scholar
• Kim, Kyoung-Yun, David G. Manley, and Hyungjeong Yang. 2006. “Ontology-based Assembly Design and Information Sharing for Collaborative Product Development.” Computer-Aided Design 38 (12): 1233–1250.
   Web of Science ®Google Scholar
• Kim, Kyoung-Yun, Hyungjeong Yang, and Dong-Won Kim. 2008. “Mereotopological Assembly Joint Information Representation for Collaborative Product Design.” Robotics and Computer-Integrated Manufacturing 24 (6): 744–754.
   Web of Science ®Google Scholar
• Langtangen, Hans Petter, and Anders Logg. 2016. Solving PDEs in Python: The FEniCS Tutorial I. Cham, Switzerland: Springer.
   Google Scholar
• Lefort, Laurent. 2005. “Ontology for Quantity Kinds and Units: Units and Quantities Definitions.” W3 Semantic Sensor Network Incubator Activity.
   Google Scholar
• MacNeal, Richard. 1970. “The Nastran Theoretical Manual.” Technical Report.
   Google Scholar
• Mascardi, Viviana, Valentina Cordì, and Paolo Rosso. 2007. “A Comparison of Upper Ontologies.” WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, Genova, Italy, September 24-25 (pp. 55–64). Seneca Edizioni Torino.
   Google Scholar
• Matsokis, Aristeidis, and Dimitris Kiritsis. 2010. “An Ontology-based Approach for Product Lifecycle Management.” Computers in Industry 61 (8): 787–797.
   Web of Science ®Google Scholar
• Mizoguchi, Riichiro. 2010. “Yamato: Yet Another More Advanced Top-Level Ontology.” Proceedings of the Sixth Australasian Ontology Workshop, 1–16.
   Google Scholar
• Mulligan, Kevin, Peter Simons, and Barry Smith. 1984. “Truth-makers.” Philosophy and Phenomenological Research 44 (3): 287–321.
   Web of Science ®Google Scholar
• Niles, Ian, and Adam Pease. 2001. “Towards a Standard Upper Ontology.” Proceedings of International Conference on Formal Ontology and Information Systems, Ogunquit, Maine, USA, October 17-19 (pp. 2–9). ACM.
   Google Scholar
• Pauwels, Pieter, and Walter Terkaj. 2016. “Express to Owl for Construction Industry: Towards a Recommendable and Usable Ifcowl Ontology.” Automation in Construction 63: 100–133.
   Web of Science ®Google Scholar
• Premkumar, Vivek, Sundar Krishnamurty, Jack C. Wileden, and Ian R. Grosse. 2014. “A Semantic Knowledge Management System for Laminated Composites.” Advanced Engineering Informatics 28 (1): 91–101.
   Web of Science ®Google Scholar
• Randell, David A, Anthony G. Cohn, and Z. Cui. 1992. “Naive Topology: Modelling the Force Pump.” Advances in Qualitative Physics, 177–192.
   Google Scholar
• Rea, Michael C. 1995. “The Problem of Material Constitution.” The Philosophical Review 104 (4): 525–552.
   Web of Science ®Google Scholar
• Sanfilippo, Emilio M. 2015. “Towards an Ontological Formalization of Technical Product for Design and Manufacturing.” International Workshop Formal Ontologies Meet Industries, 75–87. Springer.
   Google Scholar
• Sanfilippo, Emilio M., and Stefano Borgo. 2015. “Feature-Based Modelling and Information Systems for Engineering.” Congress of the Italian Association for Artificial Intelligence, 151–163. Springer.
   Google Scholar
• Searle, John R., and S. Willis. 1995. The Construction of Social Reality. New York, NY, USA: The Free Press.
   Google Scholar
• Siemens AG. 2014a. “Nx Nastran User's Guide.” Technical Report.
   Google Scholar
• Siemens AG. 2014b. “Thermal Analysis User's Guide.” Technical Report.
   Google Scholar
• Smith, Barry. 1996. “Mereotopology: A Theory of Parts and Boundaries.” Data & Knowledge Engineering 20 (3): 287–303.
   Web of Science ®Google Scholar
• Smith, Barry. 2004. “Beyond Concepts: Ontology as Reality Representation.” In Proceedings of International Conference on Formal Ontology and Information Systems, edited by A. Varzi and L. Vieu, Torino, Italy, November 4-6. IOS Press.
   Google Scholar
• Smith, Barry. 2012. “Classifying Processes: An Essay in Applied Ontology.” Ratio 25 (4): 463–488.
   PubMed Web of Science ®Google Scholar
• Smith, Barry, Michael Ashburner, Cornelius Rosse, Jonathan Bard, William Bug, Werner Ceusters, and Louis J. Goldberg, et al. 2007. “The Obo Foundry: Coordinated Evolution of Ontologies to Support Biomedical Data Integration.” Nature Biotechnology 25 (11): 1251.
   PubMed Web of Science ®Google Scholar
• Smith, Barry, and Werner Ceusters. 2010. “Ontological Realism: A Methodology for Coordinated Evolution of Scientific Ontologies.” Applied Ontology 5 (34): 139–188.
   PubMed Web of Science ®Google Scholar
• Smith, Barry, and Achille C. Varzi. 2000. “Fiat and Bona Fide Boundaries.” Philosophical and Phenomenological Research 60: 401–420.
   Web of Science ®Google Scholar
• Sun, Wei., Qinyi. Ma, and Shuang. Chen. 2009. “A Framework for Automated Finite Element Analysis with an Ontology-based Approach.” Journal of Mechanical Science and Technology 23 (12): 3209–3220.
   Web of Science ®Google Scholar
• Turnitsa, Charles., Jose J. Padilla, and Andreas Tolk. 2010. “Ontology for Modeling and Simulation.” Proceedings of the Winter Simulation Conference, Baltimore, Maryland, USA, December 5-8 (pp. 643–651).
   Google Scholar
• Uschold, Mike, and Michael Gruninger. 1996. “Ontologies: Principles, Methods and Applications.” The Knowledge Engineering Review 11 (2): 93–136.
   Web of Science ®Google Scholar
• Varzi, Achille C. 1996. “Parts, Wholes, and Part–Whole Relations: The Prospects of Mereotopology.” Data & Knowledge Engineering 20 (3): 259–286.
   Web of Science ®Google Scholar
• Wischenbart, Martin, Stefan Mitsch, Elisabeth Kapsammer, Angelika Kusel, Stephan Lechner, Birgit Pröll, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, and Manuel Wimmer. 2013. “Automatic Data Transformation: Breaching the Walled Gardens of Social Network Platforms.” Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling, Vol. 143, Adelaide, Australia, January 29-February 01 (pp. 89–98). Australian Computer Society.
   Google Scholar
• Witherell, Paul, Sundar Krishnamurty, and Ian R. Grosse. 2007. “Ontologies for Supporting Engineering Design Optimization.” Journal of Computing and Information Science in Engineering 7 (2): 141–150.
   Web of Science ®Google Scholar
• Young, R. I. M., A George. Gunendran, Anne-Francoise Cutting-Decelle, and M. Gruninger. 2007. “Manufacturing Knowledge Sharing in PLM: A Progression Towards the Use of Heavy Weight Ontologies.” International Journal of Production Research 45 (7): 1505–1519.
   Web of Science ®Google Scholar