Ontologies of Time and Time-based Reasoning for MBSE of Cyber-Physical Systems-Reference-Cited by-同舟云学术

Ontologies of Time and Time-based Reasoning for MBSE of Cyber-Physical Systems

Published:2013 Issue: Volume:16 Page:403-412
ISSN:1877-0509
Container-title:Procedia Computer Science
language:en
Short-container-title:Procedia Computer Science

Author:

Petnga Leonard,Austin Mark

Publisher

Elsevier BV

Subject

General Engineering

Reference22 articles.

1. Laboratory for Applied Ontologies (2005), The Ontology of Time: Formal Ontology for Knowledge Representation and Natural Language, Processing – ICT School Doctorate Course, May 2005.

2. Hayes(1994), A catalog of temporal theories, 1994.

3. Gruber et al. (1994), An ontology for engineering mathematics. In Doyle, Torasso, & Sandewall, Eds., Fourth International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann.

4. Hatala et al. (2005), Rules and ontologies in support of real-time ubiquitous application, Journal of Web Semantics.(2005).

5. Grunninger (2003), Ontology of the Process Specification Language, in Handbook on Ontologies, Staab et al.(eds).(2004).

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A systematic literature review on the mathematical underpinning of model‐based systems engineering;Systems Engineering;2024-08-27

2. Multi-Domain Semantic Model and Real-Time Planning Approach to Safe and Efficient Airport Taxiway Operations;IEEE Transactions on Intelligent Transportation Systems;2024-07

3. Towards a Framework for Modeling and Simulating Complex Enterprises: The Case of an Academic Research Laboratory;AIAA SCITECH 2024 Forum;2024-01-04

4. A time feature modeling and expression method for vague geographic processes;International Journal of Digital Earth;2023-12-28

5. Actionable Contextual Explanations for Cyber-Physical Systems;2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2023-11-01