Impact of the Semantic Web on Modeling and Simulation

More specifically, this chapter considers the issue of using semantics in Modeling and Simulation (M&S). The impetus for this is the large initiative to develop the next generation Web, the Semantic Web being developed by the Artificial Intelligence, Database and Information Retrieval communities. A complimentary parallel track is represented by the Model Driven Architecture (MDA) approach being developed by OMG and the Software Engineering Community. The goal of this initiate is for all software development to be model driven. Semantics (and the Semantic Web) will likely impact the M&S Community in two ways. First, the community should develop ontology to delineate, define and relate the concepts in the field. Ontology for modeling and simulation should be logically connected to more general (or higherlevel) ontology e.g., one for mathematics such as Monet (Caprotti, Dewar, and Turi 2004) or one for general knowledge upper ontology such as the Suggested Upper Merged Ontology (SUMO) (Niles and Pease 2001). Second, simulation models, model components and other artifacts should be provided with richer semantic descriptions. The least disruptive way to do this is through annotation in which the artifacts refer to semantic models (e.g., a concept in an ontology). The fact that the Semantic Web is being developed and simulation artifacts can be semantically annotated, begs the question of why do it. This question relates to the basic motivation for having the Semantic Web and Semantic Web Services. For the M&S community, semantics represented in ontology provides standard terminology to the community and beyond, so that common understanding of concepts and relationships can be achieved, which, in turn, increases the potential for application interoperability and reuse of simulation artifacts. Semantic Web technology

[1]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[2]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[3]  John A. Miller,et al.  Ontology Based Representations of Simulation Models Following the Process Interaction World View , 2006, Proceedings of the 2006 Winter Simulation Conference.

[4]  Jeremy J. Carroll,et al.  Resource description framework (rdf) concepts and abstract syntax , 2003 .

[5]  Gerhard Gentzen,et al.  Investigations into Logical Deduction , 1970 .

[6]  George A. Miller,et al.  Introduction to WordNet: An On-line Lexical Database , 1990 .

[7]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[8]  Mike Dewar,et al.  Mathematical Service Matching Using Description Logic and OWL , 2004, MKM.

[9]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[10]  Suleyman Guleyupoglu Extensible Modeling and Simulation Framework ( XMSF ) Technical Opportunities Workshop COLLABORATIVE ENGINEERING ENTERPRISE , 2002 .

[11]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[12]  Ruslan Mitkov,et al.  The Oxford handbook of computational linguistics , 2003 .

[13]  John A. Miller,et al.  Ontologies for modeling and simulation: issues and approaches , 2004, Proceedings of the 2004 Winter Simulation Conference, 2004..

[14]  A. Alan B. Pritsker Introduction to simulation and SLAM II (2nd ed.) , 1984 .

[15]  David C. Kuncicky Introduction to Word , 1998 .

[16]  Amit P. Sheth,et al.  Adding Semantics to Web Services Standards , 2003, ICWS.

[17]  Christopher Strachey,et al.  Toward a mathematical semantics for computer languages , 1971 .

[18]  François E. Cellier,et al.  Continuous system modeling , 1991 .

[19]  Amit P. Sheth,et al.  Web Service Semantics - WSDL-S , 2005 .

[20]  Ekkart Kindler,et al.  The Petri Net Markup Language , 2003, Petri Net Technology for Communication-Based Systems.

[21]  A. Alan B. Pritsker,et al.  Introduction to simulation and SLAM II , 1979 .

[22]  Jacek Kopecky,et al.  Semantic Annotations for WSDL , 2007 .

[23]  Amit P. Sheth,et al.  Semantics for the Semantic Web: The Implicit, the Formal and the Powerful , 2005, Int. J. Semantic Web Inf. Syst..

[24]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[25]  John A. Miller,et al.  Simulation and the semantic Web , 2005, Proceedings of the Winter Simulation Conference, 2005..

[26]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[27]  M. Gordon Knowledge Representation: Logical, Philosophical, and Computational Foundations [Book Review] , 2004, IEEE Distributed Systems Online.

[28]  Mário J. Silva,et al.  Using the Semantic Web for Web Searches , 2004 .