Application of Ontology Engineering in Simulation Verification

Yong Chen; Qi Lin

doi:10.4028/www.scientific.net/AMM.380-384.1374

Paper Titles

An Environmental Personalized Tag Recommendation Model
p.1358

Research on Network Routing Optimisation Based on Improved Genetic Algorithm
p.1362

Bayesian Network Structure Learning Based on Unconstrained Optimization and Genetic Algorithm
p.1366

GMDH Network Model Based on Simulated Annealing and Genetic Algorithm
p.1370

Application of Ontology Engineering in Simulation Verification
p.1374

Agent-Based Simulation Method of Complex System
p.1378

A Study of Representation of Spatiotemporal Data with Information Granules
p.1382

Parallel Modeling and Simulation Environment for C⁴ISR System
p.1386

Research of Background Modeling Algorithm Method Based on Multi-Frame Average Method in Moving Target Detection
p.1390

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 380-384Application of Ontology Engineering in Simulation...

Application of Ontology Engineering in Simulation Verification

Abstract:

Researches on simulation are always heavily dependent on a kind of particular techniques or tools so that it is difficult to perform horizontal comparison and integration. Most of all, there is no formal description for the simulation objects, which leads to the lack of semantic support in the simulation. In order to solve these problems, it is required to apply ontology engineering to provide correctness verification of simulation and to prove the consistency of simulation project itself. A method based on ontology engineering is proposed. Based on the idea of how to apply the approach, a test is performed as to a specific simulation task in which the ontology-based method and purely experimental method are compared.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 380-384)

Pages:

1374-1377

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.380-384.1374

Citation:

Cite this paper

Online since:

August 2013

Authors:

Yong Chen, Qi Lin

Keywords:

Ontology, Semantic, Simulation, Verification

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Hoare, C.A.R., An Axiomatic Basis for Computer Programming, Communications of the ACM, 1999, 12(10), pp, 576-583.

Google Scholar

[2] Natalya F. Noy and Deborah L. McGuinness (2001) Ontology Development 101: A Guide to Creating Your First Ontology, http: /protege. stanford. edu/publications/ontology_development/ontology101. html.

Google Scholar

[3] Matthew Horridge, Holger Knublauch, etc, A Practical Guide To Building OWL Ontologies Using The Protege, The University Of Manchester, 2004. 4.

Google Scholar

[4] Lloyd Wood, George Pavlou, and Barry Evans, Effects on TCP of routing strategies in satellite constellations, IEEE Communications Magazine, 2011, 39(3), pp, 172-181.

DOI: 10.1109/35.910605

Google Scholar

[5] I.F. Akyildiz, , E. Ekici, and M.D. Bender. MLSR: a novel routing algorithm for multilayered satellite IP networks, IEEE/ACM Transactions on Networking, 2012, 10(3). pp, 411-424.

DOI: 10.1109/tnet.2002.1012371

Google Scholar

[6] E, Frazzoli, G, B, Palmerini, and F, Graziani, Debris Cloud Evolution: Mathematical Modeling And Application To Satellite Constellation Design, Acta Astronautica, 1996, 39(6), pp, 439-445.

DOI: 10.1016/s0094-5765(96)00156-7

Google Scholar