Standards modeling language

Journal of Computing in Civil Engineering

Volumn 12, Issue 3, 1998, Pages 129-135

  Kiliccote, Han ^a,b   Garrett Jr , James H ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUILDING CODES; COMPUTER AIDED DESIGN; FORMAL LANGUAGES; STANDARDS;

STANDARDS MODELING LANGUAGE;

STRUCTURAL DESIGN;

DESIGN CODE; STANDARDS;

EID: 0032122286     PISSN: 08873801     EISSN: None     Source Type: Journal    
DOI: 10.1061/(ASCE)0887-3801(1998)12:3(129)     Document Type: Article

References (24)

1. Bench-Capon, T., and Coenen, F. (1991) Exploiting isomorphism: Development of a KBS to support British Coal insurance claims. Proc., 3rd Int. Conf. on Artificial Intelligence and Law. Oxford, U.K., 62-68.
2. Berman, D., and Hafner, C. (1988) "Obstacles to the development of logic-based models of legal reasoning. Computing Power and Legal Language, C. Walter, ed., Greenwood Press, Westport, Conn.
3. BOCA (Building Officials and Code Administrators). (1993). BOCA National Building Code 1993, 12th Ed. Country Club Hills, 111.
4. Brill, D. (1993). LOOM reference manual, Version 2.0. ISX Corp.
5. Davis, E. (1990). Representations of commonsense knowledge. Morgan Kaufmann Publishers, San Mateo, Calif.
6. Fenves, S. J., Wright, R. N., Stahl, F. I., and Reed, K. A. (1987) Introduction to SASE: Standard analysis, synthesis and expression. Tech. Rep. NBSIR 872513. Nat. Bureau of Standards. Washington, D.C.
7. Garrett, J. H., Jr., and Hakim, M. M. (1992) Object-oriented model of engineering design standards. J. Computing in Civ. Engrg., 6(3), 323-347.
8. Garrett, J. H., Jr., and Hakim, M. M. (1994) Creating computable models of engineering design standards using description logic. Proc., 1994 Design and Manufacturing Grantees Conf., Nat. Sei. Found., Boston, Mass., 33-34.
9. Guha, R. V., and Lenat, D. B. (1990). "Cyc: A mid-term report" AI Mag., 11(3). 31-59.
10. Hanion, R. L., and Connell, L. M. (1993a). User's guide for ENVSTD24 program version 2.4. Pacific Northwest Lab., Richland, Wash.
11. Hanlon, R. L., and Connell, L. M. (1993b). User's guide for LTGMAN24 program version 2.4. Pacific Northwest Lab., Richland, Wash.
12. ISO. (1996). Introduction to ISO. http://www.iso.ch/infoe/intro.html.
13. Jain, D., Law, K. H., and Krawinkler, H. (1989) On processing standards with predicate calculus. Proc., 6th Conf. on Computing in Civ. Engrg., ASCE, Reston, Va., 259-266.
14. Kiliccote, H., Garrett, J. H., Jr., Chmielenski, T., and Reed, K. A. (1994) The context-oriented model: An improved modeling approach for representing and processing design standards. Proc., 1st Cong. in Computing in Civ. Engrg., K. Khozeimeh, ed., ASCE, Reston, Va., 145152.
15. Kiliccote, H. (1997) A standards processing framework," PhD thesis, Dept. of Civ. Engrg., Carnegie Mellon Univ., Pittsburgh, Pa.
16. Law, K. H., and Yabuki, N. (1992) An integrated system for design standards processing. Proc., 1992 Computer and Building Standards Workshop. Univ. of Montreal, Montreal, Canada.
17. Lloyd, J. W. (1987). Foundations of logic programming, 2nd Ed. Springer-Verlag. New York, N.Y.
18. McCarthy, J., Hayes, P. J. (1960) Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, B. Meltzer and D. Michie, eds.. University Press, Edinburgh, Scotland.
19. Rasdorf, W. J., and Lakmazaheri, S. (1990) Logic-based approach for modeling organization of design standards. J. Computing in Civ. Engrg., 4(2), 102-123.
20. Routen, T. (1989) Hierarchically organised formalisations. Proc., 2nd Int. Conf. on Artificial Intelligence and Law, Vancouver, B.C., Canada, 242-250.
21. Shapiro, S. C. (1991) Cables, paths, and 'subconscious' reasoning in prepositional semantic networks. Principles of semantic networks, J. F. Sowa, ed., Morgan Kauffmann, San Mateo, Calif., 137-156.
22. Sowa, J. F. (1991) Current issues in semantic networks. Principles of semantic networks, J. F. Sowa, ed., Morgan Kauffmann, San Mateo, Calif., 13-43.
23. Woods, W. A. (1990) Understanding subsumption and taxonomy: A framework for progress. Tech. Rep. TR-19-90. Harvard Univ., Cambridge, Mass.
24. Yabuki, N., and Law, K. H. (1993). "An object-logic model for the representation and processing of design standards. Engineering with Computers, 9, 133-159.