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

Advanced Engineering Informatics

Volumn 30, Issue 1, 2016, Pages 77-94

  Petnga, Leonard ^a   Austin, Mark ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Artificial intelligence; Cyber physical systems; Decision making; Ontologies; Reasoning; Semantic Web

Indexed keywords

ARTIFICIAL INTELLIGENCE; BIRDS; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; DATA DESCRIPTION; DATA HANDLING; DECISION SUPPORT SYSTEMS; EMBEDDED SYSTEMS; ONTOLOGY; SEMANTIC WEB;

CYBER PHYSICAL SYSTEMS (CPSS); CYBER-PHYSICAL SYSTEMS (CPS); MODEL DRIVEN APPROACH; ONTOLOGICAL FRAMEWORKS; ONTOLOGICAL LANGUAGES; REASONING; STRINGENT CONSTRAINTS; WEB ONTOLOGY LANGUAGE;

DECISION MAKING;

EID: 84957831635     PISSN: 14740346     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.aei.2015.12.003     Document Type: Article

References (71)

1. P. Marwedel Embedded System Design: Embedded systems Foundations of Cyber-Physical Systems second ed. 2011 Springer
2. C. Myers A Modeling and Verification of Cyber-Physical Systems 2011 Design Automation Summer School, University of Utah
3. 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.
4. NIST, Strategic Vision and Business Drivers for 21st Century Cyber-physical Systems, National Institute of Science and Technology (NIST), Gaithersburg, MD, USA, 2013.
5. 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.
6. J. Sztipanovits, T. Bapty, G. Karsai, S. Neema, Model-Integration and Cyber Physical Systems: A Semantic Perspective, Keynote at FM 2011, Limerick, Ireland, 2011.
7. E.A. Lee, CPS Foundations, DAC10, Anaheim, California, USA, 2010.
8. 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.
9. J. Doyle, Feedback Control Theory, Class Notes, CDS 212, Fall 2011, 2011. < https://www.cds.caltech.edu/wiki/index.php/ >.
10. 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.
11. Z. Manna, and A. Pnueli The Temporal Logic of Reactive and Concurrent Systems 1992 Springer Berlin
12. 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/ >.
13. 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.
14. 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.
15. N. Cutland Computability: An Introduction to Recursive function Theory 1997 Cambridge University Press Cambridge, MA
16. E.A. Lee, The Problem with Threads, EECS Department, University of California at Berkeley, Berkeley, CA, 2006.
17. B. Lampson Getting computers to understand J. Assoc. Comput. Mach. (JACM) 50 2003 70 72
18. A.M. Turing On computable numbers, with application to the Entscheidungsproblem Proc. Lond. Math. Soc. 2 42 1936 230 265
19. M. Sipser The halting problem Introduction to the Theory of computation second ed. 2005 PWS Publishing 173 182 ISBN 0-534-94728-X
20. H. Graves, Current state of Ontology in Engineering Systems, OMG: Ontology Action Team, 2012. < www.omgwiki.org/MBSE/oku.php?id >.
21. M. Yoshiokaa, Y. Umedab, H. Takedac, Y. Shimomurad, Y. Nomaguchie, and T. Tomiyama Physical concept ontology for the knowledge intensive engineering framework Adv. Eng. Inform. 2004
22. F. Song, G. Zacharewicz, and D. Chen An ontology-driven framework towards building enterprise semantic information layer Adv. Eng. Inform. 2013
23. J. Nanda, T.W. Simpson, S.R. Kumara, and S.B. Shooter A methodology for product family ontology development using formal concept analysis and web ontology language J. Comput. Inform. Sci. Eng. ASME 6 2006 103 113
24. C.E. Bock, X. Zha, H. Suh, and J.H. Lee Ontological product modeling for collaborative design Adv. Eng. Inform. 2010
25. G. La Rocca Knowledge-based engineering: between AI and CAD. Review of a language-based technology to support engineering design Adv. Eng. Inform. 2012
26. W. Shen, Q. Hao, H. Mak, J. Neelamkavil, H. Xie, J. Dickinson, R. Thomas, A. Pardasani, and H. Xue Systems integration and collaboration in architecture, engineering, construction, and facilities management: a review Adv. Eng. Inform. 2010
27. M. Quillian Semantic memory M. Minsky, Semantic Information Processing 1968 MIT Press 227 270
28. J.F. Sowa, A. Borgida, Principles of semantic networks: explorations in the representation of knowledge, in: John F. Sowa (Ed.), 1991.
29. J. Allen, A. Frisch, What's in a Semantic Network, 20th. Annual Meeting of ACL, Toronto, 1982, pp. 19-27.
30. M. Minsky, A Framework for Representing Knowledge, Technical Report, MIT-AI Laboratory, Massachusetts Institute of Technology Cambridge, MA, USA, 1974.
31. 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.
32. P.J. Hayes The logic of frames D. Metzing, Frame Conceptions and Text Understanding 1980 deGruyter Berlin 46 61
33. J.F. Sowa Conceptual Structures: Information Processing in Mind and Machine 1984 Addison-Wesley ISBN 978-0-201-14472-7
34. 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.
35. M. Chein, and M.-L. Mugnier Graph-Based Knowledge Representation: Computational Foundations of Conceptual Graphs first ed. 2008 Springer Publishing Company, Incorporated
36. F. Baader, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, The Description Logic Handbook: Theory, implementation, and applications, Cambridge, 2003.
37. G. De Giacomo, and M. Lenzerini Concept language with number restrictions and fixpoints, and its relationship with mu-calculus 11th European Conference on Artificial Intelligence (ECAI) 1994 John Wiley and Sons, Ltd.
38. 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.
39. Semantic Web Activity, 2013. < http://www.w3.org/2001/sw/ >.
40. 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/ >.
41. F. Baader, I. Horrocks, and U. Sattler Description logics as ontology languages for the semantic web Dieter Hutter, Werner Stephan, Mechanizing Mathematical Reasoning: Essays in Honor of Jrg Siekmann on the Occasion of His 60th Birthday Lecture Notes in Artificial Intelligence vol. 2605 2005 Springer 228 248
42. B.C. Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler OWL 2: the next step for OWL J. Web Semant.: Sci. Serv. Agents World Wide Web 6 4 2008 309 322
43. I. Horrocks, O. Kutz, and U. Sattler The even more irresistible SROIQ 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006) 2006 AAAI Press 57 67
44. 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.
45. N. Choi, I.Y. Song, H. Han, A Survey on Ontology Mapping, SIGMOD Rec, 2006, pp. 34-41.
46. T. Menzies Applications of abduction: knowledge-level modeling Int. J. Human Comput. Stud. 45 1996 305 335
47. L. Console, D.T. Dupre, and P. Torasso On the relationship between abduction and deduction J. Logic Programm. 1 1991 661 690
48. P.K. Praitosh, The Heuristic Reasoning Manifesto, Qualitative Reasoning Group, Electrical and Computer Science, Northwestern University, Evanston IL 60208, USA, 2006.
49. P.R. Cohen, and M.R. Grinberg A theory of heuristic reasoning about uncertainty AI Mag. 4 2 1983 17 24
50. L. Elder, R. Paul, Thinkers Guide to Understanding the Foundations of Ethical Reasoning, Foundation for Critical Thinking, 2013.
51. A.A.C.U, Ethical Reasoning Value Rubric, Association of American Colleges & Universities (AACU), 2010.
52. E. Sirin, B. Parsia, B.C. Grau, A. Kalyanpur, and Y. Katz Pellet: a practical OWL-DL reasoner Web Semant.: Sci. Serv. Agents World Wide Web 5 2 2007 51 53
53. 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.
54. D. Hurwitz The "Twilight Zone" of Traffic Costs Lives at Stoplight Intersections 2012 Oregon State University Corvallis, Oregon, USA
55. J.F. Allen Maintaining knowledge about temporal intervals Commun. ACM 26 11 1983 832 843
56. 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.
57. Apache Jena, 2013. < http://www.jena.apache.org >.
58. Time Ontology in OWL, 2006. < http://www.w3.org/TR/owl-time/ >.
59. Jscience, 2013. < http://www.jscience.org >.
60. N. Leveson A systems-theoretic approach to safety in software-intensive systems IEEE Trans. Dependable Secure Comput. 1 2004 66 86
61. T. Zuk, and S. Carpendale Visualization of uncertainty and reasoning A. Butz, SG 2007 LNCS 4569 2007 Springer-Verlag Berlin, Heidelberg 164 177
62. J.Y. Halpern Reasoning About Uncertainty second ed. 2005 Ain A. Sonin
63. S.J. Russell, and P. Norvig Artificial Intelligence first ed. A Modern Approach 1995 Prentice Hall Englewood Cliffs, New Jersey 07632
64. P. Klinov, Practical Reasoning in Probabilistic Description Logic, Ph.D. Thesis, School of Computer Science, University of Manchester, 2011.
65. M. Huntbach, Notes on Reasoning with Uncertainty, Class Notes, Artificial Intelligence I, Queen Mary and Westfield College, London, 1996.
66. 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.
67. I. Horrocks, and U. Sattler A description logic with transitive and inverse roles and role hierarchies J. Logic Comput. 9 3 1999 385 410
68. C. Lutz, The Complexity of Reasoning with Concrete Domains, LTCS-Report 99-01, Aachen university of Technology Research group for Theoretical Computer Science, 1999.
69. F. Baader, I. Horrocks, and U. Sattler Description logics F. van Harmelen, V. Lifschitz, B. Porter, Handbook of Knowledge Representations 2008 Elsevier 135 180 (Chapter 3)
70. M. Krtzsch, F. Simanck, and I. Horrocks A Description Logic Primer 2013 Department of computer Science, University of Oxford UK Version 1.2
71. N. Olivetti, Artificial Intelligence: Introduction to Description Logics, INCA-LSIS, Paul Cezanne university, Marseille, France, 2009.