An ontological framework for knowledge modeling and decision support in cyber-physical systems

Marwedel, 2011 Myers, 2011 NIST, Strategic R&D Opportunities for 21st Cyber-physical Systems: Connecting Computer and Information Systems with the Physical World, National Institute of Science and Technology (NIST), Gaithersburg, MD, USA, 2013. NIST, Strategic Vision and Business Drivers for 21st Century Cyber-physical Systems, National Institute of Science and Technology (NIST), Gaithersburg, MD, USA, 2013. P. Derler, E.A. Lee, A.L. Sangiovanni-Vincentelli, Addressing Modeling challenges in Cyber-Physical Systems, Technical Report N0. UCB/EECS-2011-17, Electrical Engineering and Computer Sciences University of California Berkeley, 2011. J. Sztipanovits, T. Bapty, G. Karsai, S. Neema, Model-Integration and Cyber Physical Systems: A Semantic Perspective, Keynote at FM 2011, Limerick, Ireland, 2011. E.A. Lee, CPS Foundations, DAC10, Anaheim, California, USA, 2010. E.A. Lee, Cyber-physical systems: a rehash or a new intellectual challenge?, in: Invited Talk in the Distinguished Speaker Series, Design Automation Conference (DAC), Austin, TX, 2013. J. Doyle, Feedback Control Theory, Class Notes, CDS 212, Fall 2011, 2011. <https://www.cds.caltech.edu/wiki/index.php/>. C. Brooks, E.A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, H. Zheng, Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II), Tech. Rep. ECB/EECS-2008-28, Department Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, April 2008. Manna, 1992 A. Cataldo, E.A. Lee, X. Liu, E. Matsikoudis, H. Zheng, A Constructive Fixed-Point Theorem and the Feedback Semantic of Timed Systems, Workshop on Discrete Event Systems (WODES), Ann Arbor, Michigan, 2006. <http://ptolemy.eecs.berkeley.edu/publication/papers/06/constructive/>. J.C. Jensen, D.H. Chang, E.A. Lee, A model-based design methodology for cyber-physical systems, in: IEEE Workshop on Design, modeling, and Evaluation of Cyber-Physical Systems (CyPhy), Istanbul, Turkey, 2011. A. Bhave, B. Krogh, D. Garlan, B. Schmerl, Multi-domain Modeling of Cyber-Physical Systems Using Architectural Views, Dept. of Electrical & Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15217, 2010. Cutland, 1997 E.A. Lee, The Problem with Threads, EECS Department, University of California at Berkeley, Berkeley, CA, 2006. Lampson, 2003, Getting computers to understand, J. Assoc. Comput. Mach. (JACM), 50, 70, 10.1145/602382.602404 Turing, 1936, On computable numbers, with application to the Entscheidungsproblem, Proc. Lond. Math. Soc., 2, 230 Sipser, 2005, The halting problem, 173 H. Graves, Current state of Ontology in Engineering Systems, OMG: Ontology Action Team, 2012. <www.omgwiki.org/MBSE/oku.php?id>. Yoshiokaa, 2004, Physical concept ontology for the knowledge intensive engineering framework, Adv. Eng. Inform., 10.1016/j.aei.2004.09.004 Song, 2013, An ontology-driven framework towards building enterprise semantic information layer, Adv. Eng. Inform., 10.1016/j.aei.2012.11.003 Nanda, 2006, A methodology for product family ontology development using formal concept analysis and web ontology language, J. Comput. Inform. Sci. Eng. ASME, 6, 103, 10.1115/1.2190237 Bock, 2010, Ontological product modeling for collaborative design, Adv. Eng. Inform., 10.1016/j.aei.2010.06.011 La Rocca, 2012, Knowledge-based engineering: between AI and CAD. Review of a language-based technology to support engineering design, Adv. Eng. Inform., 10.1016/j.aei.2012.02.008 Shen, 2010, Systems integration and collaboration in architecture, engineering, construction, and facilities management: a review, Adv. Eng. Inform., 10.1016/j.aei.2009.09.001 Quillian, 1968, Semantic memory, 227 J.F. Sowa, A. Borgida, Principles of semantic networks: explorations in the representation of knowledge, in: John F. Sowa (Ed.), 1991. J. Allen, A. Frisch, What’s in a Semantic Network, 20th. Annual Meeting of ACL, Toronto, 1982, pp. 19–27. M. Minsky, A Framework for Representing Knowledge, Technical Report, MIT-AI Laboratory, Massachusetts Institute of Technology Cambridge, MA, USA, 1974. R.J. Brachman, H.J. Levesque, The tractability of subsumption in frame-based description languages, in: 4th National Conference of the American Association for Artificial Intelligence (AAAI-84). Austin, TX, 1984, pp. 34–37. Hayes, 1980, The logic of frames, 46 Sowa, 1984 M. Pavlic, A. Mestrovic, A. Jakupovic, Graph-based formalisms for knowledge representation, in: 17th World Multi-Conference on Systemics, Cybernetics and Informatics, July 9–12, Orlando, Florida, USA, 2013. Chein, 2008 F. Baader, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, The Description Logic Handbook: Theory, implementation, and applications, Cambridge, 2003. De Giacomo, 1994, Concept language with number restrictions and fixpoints, and its relationship with mu-calculus K. Schild, Terminological cycles and the propositional with mu-calculus, in: J. Doyle, E. Sandewall, P. Torasso (Eds.), 4th Int. Conference on the Principle of Knowledge Representation and Reasoning (KR-94), 1994, pp. 509–520. Semantic Web Activity, 2013. <http://www.w3.org/2001/sw/>. P.F. Patel-Schneider, P. Hayes, I. Horrocks, OWL Web Ontology Language Semantics and Abstract Syntax, Recommendation, W3C, 2004. <http://www.w3.org/TR/owl-semantics/>. Baader, 2005, Description logics as ontology languages for the semantic web, vol. 2605, 228 Grau, 2008, OWL 2: the next step for OWL, J. Web Semant.: Sci. Serv. Agents World Wide Web, 6, 309, 10.1016/j.websem.2008.05.001 Horrocks, 2006, The even more irresistible SROIQ, 57 L. Petnga, M.A. Austin, Ontologies of time and time-based reasoning for MBSE of cyber-physical systems, in: 11th Annual Conference on Systems Engineering Research (CSER 2013), Georgia Institute of Technology, Atlanta, GA, 2013. N. Choi, I.Y. Song, H. Han, A Survey on Ontology Mapping, SIGMOD Rec, 2006, pp. 34–41. Menzies, 1996, Applications of abduction: knowledge-level modeling, Int. J. Human Comput. Stud., 45, 305, 10.1006/ijhc.1996.0054 Console, 1991, On the relationship between abduction and deduction, J. Logic Programm., 1, 661 P.K. Praitosh, The Heuristic Reasoning Manifesto, Qualitative Reasoning Group, Electrical and Computer Science, Northwestern University, Evanston IL 60208, USA, 2006. Cohen, 1983, A theory of heuristic reasoning about uncertainty, AI Mag., 4, 17 L. Elder, R. Paul, Thinkers Guide to Understanding the Foundations of Ethical Reasoning, Foundation for Critical Thinking, 2013. A.A.C.U, Ethical Reasoning Value Rubric, Association of American Colleges & Universities (AACU), 2010. Sirin, 2007, Pellet: a practical OWL-DL reasoner, Web Semant.: Sci. Serv. Agents World Wide Web, 5, 51, 10.1016/j.websem.2007.03.004 L. Petnga, M.A. Austin, Semantic platforms for cyber-physical systems, in: 24nd Annual International Symposium of The International Council on Systems Engineering (INCOSE 2014), Las Vegas, Nevada, 2014. Hurwitz, 2012 Allen, 1983, Maintaining knowledge about temporal intervals, Commun. ACM, 26, 832, 10.1145/182.358434 L. Petnga, M.A. Austin, Cyber-physical architectures for modeling and enhanced operations of connected-vehicle systems, in: 2nd International Conference on Connected Vehicles (ICCVE 2013), Las Vegas, Nevada, 2013. Apache Jena, 2013. <http://www.jena.apache.org>. Time Ontology in OWL, 2006. <http://www.w3.org/TR/owl-time/>. Jscience, 2013. <http://www.jscience.org>. Leveson, 2004, A systems-theoretic approach to safety in software-intensive systems, IEEE Trans. Dependable Secure Comput., 1, 66, 10.1109/TDSC.2004.1 Zuk, 2007, Visualization of uncertainty and reasoning, 4569, 164 Halpern, 2005 Russell, 1995 P. Klinov, Practical Reasoning in Probabilistic Description Logic, Ph.D. Thesis, School of Computer Science, University of Manchester, 2011. M. Huntbach, Notes on Reasoning with Uncertainty, Class Notes, Artificial Intelligence I, Queen Mary and Westfield College, London, 1996. F. Baader, P. Hanschke, A scheme for integrating concrete domains into concept languages, in: J. Doyle, E. Sandewall, P. Torasso (Eds.), 12th International Joint Conference on Artificial Intelligence (IJCAI91), 1991, pp. 452–457. Horrocks, 1999, A description logic with transitive and inverse roles and role hierarchies, J. Logic Comput., 9, 385, 10.1093/logcom/9.3.385 C. Lutz, The Complexity of Reasoning with Concrete Domains, LTCS-Report 99-01, Aachen university of Technology Research group for Theoretical Computer Science, 1999. Baader, 2008, Description logics, 135 Krtzsch, 2013 N. Olivetti, Artificial Intelligence: Introduction to Description Logics, INCA-LSIS, Paul Cezanne university, Marseille, France, 2009.