Skip to main content
SpringerLink
Log in

A New Approach in Object-Based Knowledge Representation: The AROM System

  • Conference paper
  • First Online:
Engineering of Intelligent Systems (IEA/AIE 2001)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2070))

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.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brachman, R. J., Schmolze, J. G.: An Overview of the KL-ONE Knowledge Representation System. Communications of the ACM, 31 (1988) 382–401

    Article  Google Scholar 

  2. Bobrow, D., Winograd, T.: An Overview of KRL, Knowledge Representation Language. Cognitive Science, 1 (1977) 3–46

    Article  Google Scholar 

  3. Filman, R. E.: Reasoning with worlds and truth maintenance in a knowledge-based programming environment, Cognitive Science, 9 (1985) 171–216

    Article  Google Scholar 

  4. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley (1999)

    Google Scholar 

  5. SMECI: Ref. manual. ILOG S.A., 2 av. Galliéni, 94253 Gentilly Cédex, France (1991)

    Google Scholar 

  6. Tanzer, C.: Remarks on object-oriented modeling of associations. Journal of Object-Oriented Programming, 7(1995) 43–46.

    Google Scholar 

  7. 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

    Google Scholar 

  8. Fourer, R., Gay, D., Kernighan, B.: A Modeling Language for Mathematical Programming. Management Science, 36 (1990) 519–554

    Article  MATH  Google Scholar 

  9. 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

    Google Scholar 

  10. van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press (1999)

    Google Scholar 

  11. Horrocks, I., Sattler, U.: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. International Workshop on Description Logics, Trento, Italy (1998)

    Google Scholar 

  12. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INRIA Rhäne-Alpes, Action Romans, ZIRST, 655, av. de l"Europe Montbonnot, 38334, Saint Ismier Cedex, France

    Michel Page, Jéräme Gensel, Christophe Bruley, Philippe Genoud, Danielle Ziébelin, Daniel Bardou & Véronique Dupierris

  2. Université Pierre Mendès-France, BP 47, 38040, Grenoble Cedex 9, France

    Michel Page, Jéräme Gensel & Daniel Bardou

  3. Université Joseph Fourier, Grenoble, BP 53, 38041, Grenoble Cedex 9, France

    Philippe Genoud & Danielle Ziébelin

  4. Univ. de Provence, Labo. d"Informatique de Marseille, 163 av. de Luminy, 13288, Marseille Cedex 9, France

    Cécile Capponi

Authors
  1. Michel Page
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jéräme Gensel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Cécile Capponi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Christophe Bruley
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Philippe Genoud
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Danielle Ziébelin
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Daniel Bardou
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Véronique Dupierris
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Hungarian Academy of Sciences, Intelligent Manufacturing and Business Processes Computer and Automation Research Institute, Kende utca 13-17, 1111, Budapest, Hungary

    László Monostori  & József Váncza  & 

  2. Department of Computer Science 601 University Drive, Southwest Texas State University, San Marcos, TX, 78666-4616, USA

    Moonis Ali

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation