NOTICE: Due to a lapse in annual appropriations, most of this website is not being updated. Learn more.

Form submissions will still be accepted but will not receive responses at this time. Sections of this site for programs using non-appropriated funds (such as NVLAP) or those that are excepted from the shutdown (such as CHIPS and NVD) will continue to be updated.

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.

PUBLICATIONS

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
Pub Type
Conferences

Download Paper

https://doi.org/10.1007/978-3-030-69322-0_4
Local Download
Cyber-physical systems

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, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=930234 (Accessed October 15, 2025)

Issues

If you have any questions about this publication or are having problems accessing it, please contact [email protected].

Created February 14, 2021, Updated September 29, 2025
Was this page helpful?