{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T18:07:05Z","timestamp":1764785225023,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031472428"},{"type":"electronic","value":"9783031472435"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T00:00:00Z","timestamp":1698364800000},"content-version":"vor","delay-in-days":299,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Every deployed DoD system undergoes certification (or qualification, for military) to assess the software system\u2019s fitness for use. Certification requires that human subject matter expert look over evidence and evaluate its conformance to standards such as DO-178C or the Risk Management Framework (RMF). Current practices are not keeping pace with the ever-increasing size of software systems and the amount of evidence required for their certification. This problem is further exasperated when platforms are comprised of systems of systems developed by multiple suppliers, each providing data generated by different tools, in different formats, and captured with different granularity. We demonstrate the application of W3C Semantic web technologies to perform efficient evidence curation under a military research program. This tech stack offers the right solutions for integrating data from heterogeneous sources and for performing graph-traversal queries across data that changes at a regular frequency.<\/jats:p>","DOI":"10.1007\/978-3-031-47243-5_19","type":"book-chapter","created":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T07:02:30Z","timestamp":1698822150000},"page":"345-361","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Aviation Certification Powered by the Semantic Web Stack"],"prefix":"10.1007","author":[{"given":"Paul","family":"Cuddihy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Russell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Mertens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kit","family":"Siu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Archer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jenny","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,27]]},"reference":[{"key":"19_CR1","unstructured":"ARCOS. https:\/\/www.darpa.mil\/program\/automated-rapid-certification-of-software.html. Accessed 14 Apr 2023"},{"key":"19_CR2","unstructured":"psac-template. https:\/\/studylib.net\/doc\/26041621\/psac-template. Accessed 28 July 2023"},{"key":"19_CR3","unstructured":"Overview of Rational\u00ae DOORS\u00ae. https:\/\/www.ibm.com\/docs\/en\/engineering-lifecycle-management-suite\/doors\/9.6.0?topic=overview-rational-doors. Accessed 28 July 2023"},{"key":"19_CR4","doi-asserted-by":"publisher","unstructured":"McMillan, C., Crapo, A., Durling, M., Li, M., et al.: Increasing development assurance for system and software development with validation and verification using ASSERT\u2122. SAE Technical Paper 2019-01-1370 (2019). https:\/\/doi.org\/10.4271\/2019-01-1370","DOI":"10.4271\/2019-01-1370"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Crapo, A., Moitra, A.: Toward a unified English-like representation of semantic. Int. J. Semant. Comput. 7(3), 215\u2013236 (2013)","DOI":"10.1142\/S1793351X13500025"},{"key":"19_CR6","unstructured":"SADL GitHub Page. https:\/\/github.com\/SemanticApplicationDesignLanguage\/sadl. Accessed 14 Apr 2023"},{"key":"19_CR7","unstructured":"OWL. https:\/\/www.w3.org\/OWL. Accessed 14 Apr 2023"},{"key":"19_CR8","unstructured":"Xtext. http:\/\/www.eclipse.org\/Xtext\/. Accessed 14 Apr 2023"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Moitra, A., et al.: A semantic reference model for capturing system development and evaluation. In: International Conference on Semantic Computing (ICSC), Laguna Hills (2022)","DOI":"10.1109\/ICSC52841.2022.00035"},{"key":"19_CR10","unstructured":"Fuseki. https:\/\/jena.apache.org\/documentation\/fuseki2. Accessed 18 Apr 2023"},{"key":"19_CR11","unstructured":"Cuddihy, P., McHugh, J., Williams, J.W., Mulwad, V., Aggour, K.S.: SemTK: a semantics toolkit for user-friendly SPARQL generation and semantic data management. In: 17th International Semantic Web Conference (ISWC), Industry and Blue Sky Ideas Track, Monterey, CA (2018)"},{"key":"19_CR12","unstructured":"Semantics Toolkit GitHub age. https:\/\/github.com\/ge-semtk\/semtk. Accessed 18 Apr 2023"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Kumar, V.S., Cuddihy, P., Aggour, K.S.: NodeGroup: a knowledge-driven data management abstraction for industrial machine learning. In: Proceedings of the 3rd International Workshop on Data Management for End-to-End Machine Learning, pp. 1\u20134. (2019)","DOI":"10.1145\/3329486.3329497"},{"key":"19_CR14","unstructured":"Semtk-python GitHub Page. https:\/\/github.com\/ge-semtk\/semtk-python3. Accessed 18 Apr 2023"},{"key":"19_CR15","unstructured":"Jsoneditor GitHub Page. https:\/\/github.com\/josdejong\/jsoneditor. Accessed 13 Apr 2023"},{"key":"19_CR16","unstructured":"Shankar, N., et al.: DesCert: design for Certification. arXiv preprint arXiv:2203.15178 (2022)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Wang, T.E., Daw, Z., Nuzzo, P., Pinto, A.: Hierarchical contract-based synthesis for assurance cases. In: Proceedings of NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, pp. 175\u2013192 (2022)","DOI":"10.1007\/978-3-031-06773-0_9"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Oh, C., Naik, N., Daw, Z., Wang, T. E., & Nuzzo, P: ARACHNE: automated validation of assurance cases with stochastic contract networks. In: Proceedings of Computer Safety, Reliability, and Security: 41st International Conference (SAFECOMP 2022), Munich, Germany, pp. 65\u201381 (2022)","DOI":"10.1007\/978-3-031-14835-4_5"},{"key":"19_CR19","unstructured":"Bloomfield, R., Rushby, J.: Assurance 2.0: a manifesto. arXiv preprint arXiv:2004.10474 (2020)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2023"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47243-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T07:04:14Z","timestamp":1698822254000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47243-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031472428","9783031472435"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47243-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"27 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISWC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Semantic Web Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Athens","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 November 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"semweb2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iswc2023.semanticweb.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easy Chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"248","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"58","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}