Design Repositories on the Semantic Web with Description-Logic Enabled Services

Proceedings of the 1st International Conference on Semantic Web and Databases, SWDB 2003

Volumn , Issue , 2003, Pages 333-340

  Kopena, Joseph B ^a   Regli, William C ^b  

^a Drexel University   (United States)

^b Department of Mechanical Engineering ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER CIRCUITS; DATA DESCRIPTION; DATABASE SYSTEMS; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION;

DESCRIPTION LOGIC; DESIGN REPOSITORY; ENGINEERING FIRMS;

SEMANTIC WEB;

EID: 84863596489     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Ullman, D.G.: The Mechanical Design Process. McGraw-Hill, Inc. (1997)
2. Szykman, S., Bochenek, C., Racz, J.W., Senfaute, J., Sriram, R.D.: Design repositories: Engineering designs new knowledge base. IEEE Intelligent Systems 15 (2000) 48-55
3. Szykman, S., Sriram, R.D., Regli, W.C.: The role of knowledge in next-generation product development systems. Journal of Comp. and Inf. Science in Engineering 1 (2001) 3-11
4. Fowler, J.E.: Variant design for mechanical artifacts: A state-of-The-Art survey. Engineering with Computers 12 (1996) 1-15
5. Lee, K., Andrews, G.: Inference of the positions of components in an assembly: part 2. Computer Aided Design (1985) 20-24
6. Hoffmann, C.M., Joan-Arinyo, R.: Symbolic constraints in constructive geometric constraint solving. In: Journal of Symbolic Computation. (1997) 287-300
7. Anantha, R., Kramer, G.A., Crawford, R.H.: Assembly modelling by geometric constraint satisfaction. Computer-Aided Design 28 (1996) 707-722
8. Pahl, G., Beitz, W.: Eng. Design-A Systematic Approach. 2nd edn. Springer (1996)
9. Szykman, S., Racz, J.W., Sriram, R.D.: The representation of function in computer-based design. In: ASME Design Engineering Technical Conferences, 11th International Conference on Design Theory and Methodology, New York, NY, USA, ASME, ASME Press (1999)
10. Hirtz, J., Stone, R., McAdams, D., S, S., Wood, K.: Evolving a functional basis for engineering design. In: ASME Design Engineering Technical Conferences, 13th conference on Design Theory and Methodology, New York, NY, USA, ASME, ASME Press (2001)
11. Kirschman, C., Fadel, G., Jara-Almonte, C.: Classifying functions for mechanical design. In: ASME Design Engineering Technical Conferences, 8th conference on Design Theory and Methodology, New York, NY, USA, ASME, ASME Press (1996)
12. Faltings, B.: Qualitative kinematics in mechanisms. A.I Journal 44 (1990) 89-119
13. Kuipers, B.: Commonsense reasoning about causality: Deriving behavior from structure. Artificial Intelligence Journal 24 (1984) 169-204
14. Forbus, K.: Qualitative process theory. Artificial Intelligence Journal 24 (1984) 85-168
15. Subramanian, D., Wang, C.: Kinematic synthesis with configuration spaces. In: Proceedings of Qualitative Reasoning 93, . (1993) 228-239
16. Joskowicz, L., Neville, D.: A representation language for mechanical behavior. Artificial Intelligence in Engineering (1996) 109-116
17. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: The Description Logic Handbook. Cambridge University Press (2002)
18. Cohen, W.W., Borgida, A., Hirsh, H.: Computing least common subsumers in description logics. In Rosenbloom, P., Szolovits, P., eds.: Proceedings of the Tenth National Conference on Artificial Intelligence, Menlo Park, California, AAAI Press (1993) 754-761
19. Baader, F., Küsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In Dean, T., ed.: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI99), Morgan Kaufmann (1999) 96-101
20. Küsters, R., Molitor, R.: Computing least common subsumers in ALEN. In Nebel, B., ed.: Seventeenth IJCAI, Morgan Kaufmann (2001) 219-224
21. Brandt, S., Turhan, A.Y.: Using non-standard inferences in description logics-what does it buy me? In: KI Workshop on Applications of Description Logics. (2001)
22. W3C: Resource Description Framework (RDF) model and syntax specification. http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/(1999)
23. DARPA: DAML march 2001 specifications (DAML+OIL). http://www.daml.org/2001/03/daml+oil-index (2001)
24. Greenwald, L.G., Kopena, J.B.: On achieving educational and research goals with small, low-cost mobile robot platforms. IEEE Robots and Automation, Special Issue on Robotics in Education (To appear 2003)
25. Kopena, J.B., Regli, W.C.: DAMLJessKB: A tool for reasoning with the semantic web. In: International Semantic Web Conference. (To appear 2003)