Basic concepts and distinctions for an aerospace ontology of functions, entities and problems

IEEE Aerospace Conference Proceedings

Volumn , Issue , 2007, Pages

  Malin, Jane T ^a   Throop, David R ^b  

^a NASA JOHNSON SPACE CENTER   (United States)

^b BOEING COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; MATHEMATICAL MODELS; ONTOLOGY; SEMANTICS;

MATHEMATICAL ABSTRACTIONS; TEXT ANALYSIS;

AEROSPACE ENGINEERING;

EID: 34548707894     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2007.352806     Document Type: Conference Paper

References (41)

1. Answers.com website http://www.answers.com
2. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr, "Basic Concepts and Taxonomy of Dependable and Secure Computing," Dependable ad Secure Computing, 1:11-33, 2004.
3. Janez Brank, Marko Grobelnik and Dunja Mladenić, "A survey of ontology evaluation techniques," In: SIKDD 2005 at Multiconference IS 2005, Slovenia, October 2005.
4. O. Corby, R. Dieng-Kuntz, and C. Faron-Zucker. Querying the semantic web with the corese search engine. In Proc. 15th ECAI/PAIS, Valencia (ES), August 2004.
5. FrameNet website http://framenet.icsi.berkeley.edu
6. Aldo Gangemi, Nicola Guarino, Claudio Masolo, Alessandro Oltramari, "Sweetening WordNet with DOLCE," AI Magazine, 24 (3): 13-24, September 2003.
7. Aldo Gangemi and Peter Mika, "Understanding the Semantic Web through Descriptions and Situations," Lecture Notes in Computer Science Vol. 2888/2003: On the Move to Meaningful Internet Systems 2003: CoopIS, DOA and ODBASE. pp. 689-706, 2003.
8. H. Gehman, S. Turcotte, J. Barry, K. Hess, J. Hallock, S. Wallace, D. Deal, S. Hubbard, R. Tetrault, S. Widnall, D. Osheroff, S. Ride, and J. Logsdon. Columbia Accident Investigation Board (CAIB), Volume 1. NASA, Aug 2003.
9. D. C. Hendershot, R. L. Post, P. F. Valerio, J. W. Vinson, D. K. Lorenzo and D. A. Walker, "Putting the 'OP' Back in 'HAZOP'," MAINTECH South '98 Conference and Exhibition, December 1998.
10. Julie Hirtz, Robert B. Stone, Daniel A. McAdams, Simon Szykman, Kristin L. Wood, "A functional basis for engineering design: Reconciling and evolving previous efforts," Research in Engineering Design, 13(2): 65-82, March 2002.
11. E. Hollnagel, "Accident Analysis and Barrier Functions," Halden, Norway: Institute for Energy Technology, 1999.
12. A. Kiryakov, B. Popov, I. Terziev, D. Manov, D. Ognyanoff, "Semantic Annotation, Indexing, and Retrieval." In Proc. ISWC 2003, pp. 484-499, Oct. 2003.[13] Y. Kitamura and R. Mizoguchi, "Meta-functions of Artifacts," Papers of the 13th International Workshop on Qualitative Reasoning (QR-99), 136-145, 1999.
13. E. Letier and A. van Lamsweerde, "Deriving Operational Software Specifications from System Goals", Proc. FSE'10: 10th ACM S1GSOFT Symp: Foundations of Software Engineering, November 2002.
14. Nancy Leveson, Safeware: System Safety and Computers. Reading, MA: Addison-Wesley, 1995.
15. J. T. Malin, D. R. Throop, L. Fleming and L. Flores, "Computer-Aided Identification of System Vulnerabilities and Safeguards during Conceptual Design," 2004 IEEE Aerospace Conference Proceedings, March 2004.
16. J. T. Malin, D. R. Throop, L. Fleming and L. Flores, "Transforming Functional Requirements and Risk Information into Models for Analysis and Simulation," 2005 IEEE Aerospace Conference Proc., March 2005.
17. M. W. McGreevy, "Reporter concerns in 300 mode-related incident reports from NASA's Aviation Safety Reporting System." NASA TM-110413, Ames Research Center, 1996.
18. Peter Mika, Daniel Oberle, Aldo Gnagemi and Marta Sabou, "Foundations for service ontologies: aligning OWL-S to DOLCE," Proc. 13th international conference on World Wide Web, pp. 563-572, New York, 2004.
19. M. Modarres, "Functional Modeling of Physical Systems Using the Goal Tree Framework," In AAAI-98 Workshop: Functional Modeling and Teleological Reasoning, July 1998.
20. NASA Engineering & Safety Center Working Group Report #RP-06-11 ("Taxonomy Working Group Final Report"), 2006.
21. I. Niles and A. Pease, A., "Origins of the Standard Upper Merged Ontology: A Proposal for the IEEE Standard Upper Ontology." In Working Notes of IJCAI-2001 Workshop: IEEE Standard Upper Ontology, Seattle, Washington, August 2001. SUMO website http://suo.ieee.org/SUO/SUMO/index.html
22. D. A. Norman, "Categorization of Action Slips," Psychological Review, 88(1): 1-15, 1981.
23. N. F. Noy, Semantic integration: a survey of ontology-based approaches, ACM SIGMOD Record, 33 (4): 65-70, December 2004
24. N. F. Noy, M. Sintek, S. Decker, M. Crubezy, R. W. Fergerson, and M. A. Musen. "Creating semantic web contents with Protege-2000," IEEE Intelligent Systems, 16(2): 60-71, 2001.
25. OpenCyc website http://www.opencyc.org
26. Alan R. Rector, "Modularization of domain ontologies implemented in description logics and related formalisms including OWL," Proc. 2nd Intl. Conf. on Knowledge Capture, pp. 121-128, Sanibel Island, FL, 2003.
27. J. Rogers, A. Roberts and D. Solomon, "GALEN ten years on: tasks and supporting tools". In MedInfo 2001 Studies in Health Technology and Informatics, Haux R, Rogers R, Patel V (eds). IOS Press: Amsterdam, pp. 256-260, 2001.
28. Nicolas F. Rouquette, Gary M. Wasserman, and Vanessa D. Carson. "OWL for Space Mission Systems development at JPL with semantic architecture styles," Proc. OWL: Experiences and Directions, Galway, Ireland, November 2005.
29. Simple Bio Upper Ontology website http://www.cs.man.ac.uk/~rector/ ontologies/simple-top-bio/
30. R. Sinha, C. Paredis and P. K. Khosla. "Interaction Modeling in System Design," Proceedings of DETC '01, 2001 ASME Design Engineering Technical Conferences, September 2001, Pittsburgh, PA.
31. A.W.M. Smeulders, Worring. M., Santini. S., Gupta. A. and Jain, R. "Content-based image retrieval at the end of the early years." IEEE Trans. on Pattern Analysis and Machine Intelligence, 22(12): 1349-1380, Dec 2000.
32. Ashok N. Srivastava and Brett Zane-Ulman, "Discovering Recurring Anomalies in Text Reports Regarding Complex Space Systems," 2005 IEEE Aerospace Conference Proceedings, March 2005.
33. Y. Sure, S. Staab and R. Studer, Methodology for development and employment of ontology based knowledge management applications. ACM SIGMOD Record, 31(4): 18-23, Dec 2002.
34. D. Throop, "Reconciler: Matching Terse English Phrases," Proceedings of 2004 Virtual Iron Bird Workshop, NASA Ames Research Center, April, 2004.
35. I. Turner, Stone, R., and Bell, D., "Requirements for a Failure Mode Taxonomy for use in Conceptual Design", Proc. International Conf. on Engineering Design, ICED, Stockholm, #1612, 2003.[37] S. Uder, I. Y. Turner and R. B. Stone, "Failure analysis in sub-system design for space missions," Proc. DETC '04, Salt Lake City, Utah, September 2004.
36. UIMA website http://www.research.ibm.com/UIMA/
37. V. Venkatasubramanian, J. Zhao and S. Viswanathan. "Intelligent Systems for HAZOP Analysis of Complex Process Plants," Computers and Chemical Engineering, 24: 2291-2302, 2000.
38. VerbNet website http://seasrc.th.net/vnet/ (not the original site, but provides search access)
39. Dominic Widdows, "Unsupervised methods for developing taxonomies by combining syntactic and statistical information," Proc. 2003 Conf. North American Chapter of Assoc. for Computational Linguistics on Human Language Technology, 1: 197-204. Edmonton, Canada, 2003.
40. WonderWeb website http://wonderweb.semanticweb.org
41. WordNet website http://wordnet.princeton.edu