Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Reasoning about Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP

Published

Author(s)

Edward Griffor, Thanh Nguyen, Matthew Bundas, Son Tran, Marcello Balduccini, Kathleen Garwood

Abstract

ulary and structure, which emphasizes CPS concerns but not to the exclusion of others. 2.3. Ontology Ontology stands for a formal specification of the domain, that is, a body of formally
Proceedings Title
11th International Conference on Formal Ontology in Information Systems
Conference Dates
September 14-17, 2020
Conference Location
Bolzano, IT
Conference Title
FOIS 2020

Citation

Griffor, E. , Nguyen, T. , Bundas, M. , Tran, S. , Balduccini, M. and Garwood, K. (2021), Reasoning about Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP, 11th International Conference on Formal Ontology in Information Systems, Bolzano, IT, [online], https://doi.org/10.1007/978-3-030-69322-0_4 (Accessed May 23, 2024)

Issues

If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.

Created February 14, 2021, Updated January 20, 2023