Abstract
This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in AROM uses associations for describing links between classes instances. Secondly, AROM integrates an algebraic modeling language (AML) for describing operational knowledge (equations, constraints and queries) in a declarative way. AROM comes as a platform for knowledge representation and manipulation. It includes an interactive modeling environment, a Java API, an AML interpreter for processing queries and solving sets of equations, and a tool for consulting and editing knowledge bases on the Web.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Brachman, R. J., Schmolze, J. G.: An Overview of the KL-ONE Knowledge Representation System. Communications of the ACM, 31 (1988) 382–401
Bobrow, D., Winograd, T.: An Overview of KRL, Knowledge Representation Language. Cognitive Science, 1 (1977) 3–46
Filman, R. E.: Reasoning with worlds and truth maintenance in a knowledge-based programming environment, Cognitive Science, 9 (1985) 171–216
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley (1999)
SMECI: Ref. manual. ILOG S.A., 2 av. Galliéni, 94253 Gentilly Cédex, France (1991)
Tanzer, C.: Remarks on object-oriented modeling of associations. Journal of Object-Oriented Programming, 7(1995) 43–46.
Euzenat, J.: On a purely taxonomic and descriptive meaning for classes, 13th IJCAI Workshop on Object-Based Representation Systems, Chambéry, France (1993) 81–92
Fourer, R., Gay, D., Kernighan, B.: A Modeling Language for Mathematical Programming. Management Science, 36 (1990) 519–554
Page, M., Gensel, J., Boudis, M.: AMIA: An environment for knowledge-based discretetime simulation. 2nd IMACS Int. Conf. on Computational Engineering in Systems Applications, Hammamet, Tunisia (1998) 56–61
van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press (1999)
Horrocks, I., Sattler, U.: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. International Workshop on Description Logics, Trento, Italy (1998)
Calvanese, D., de Giacomo, G., Lenzerini, M.: Conjunctive Query Containment in Description Logics with n-ary Relations. Int. Workshop on Description Logics, Paris (1997) 5–9
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Page, M. et al. (2001). A New Approach in Object-Based Knowledge Representation: The AROM System. In: Monostori, L., Váncza, J., Ali, M. (eds) Engineering of Intelligent Systems. IEA/AIE 2001. Lecture Notes in Computer Science(), vol 2070. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45517-5_14
Download citation
DOI: https://doi.org/10.1007/3-540-45517-5_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42219-8
Online ISBN: 978-3-540-45517-2
eBook Packages: Springer Book Archive