Skip to main content
Springer Nature Link
Log in

Combining terminological and rule-based reasoning for abstraction processes

  • Technical Papers
  • Conference paper
  • First Online:
GWAI-92: Advances in Artificial Intelligence

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

  • 162 Accesses

Abstract

Terminological reasoning systems directly support the abstraction mechanisms generalization and classification. But they do not bother about aggregation and have some problems with reasoning demands such as concrete domains, sequences of finite but unbounded size and derived attributes. The paper demonstrates the relevance of these issues in an analysis of a mechanical engineering application and suggests an integration of a forward-chaining rule system with a terminological logic as a solution to these problems.

Supported by BMFT Research Project ARC-TEC (grant ITW 8902 C4).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and P. C. Kanellakis. Object identity as a query language primitive. In ACM SIGMOD, pages 159–173, 1989.

    Google Scholar 

  2. H. Ait-Kaci and R. Nasr. LOGIN: A logic programming language with built-in inheritance. JLP, 3:185–215, 1986.

    Google Scholar 

  3. F. Baader, H.-J. Bürckert, B. Nebel, W. Nutt, and G. Smolka. On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Research Report RR-91-01, DFKI, 1991.

    Google Scholar 

  4. F. Baader and Ph. Hanschke. A scheme for integrating concrete domains into concept languages. Research Report RR-91-10, DFKI / Kaiserslautern, 1991.

    Google Scholar 

  5. F. Baader and Ph. Hanschke. Extensions of concept languages for a mechanical engineering application. In GWAI-92, 1992.

    Google Scholar 

  6. C. Beeri and R. Ramakrishnan. On the power of magic. Journal of Logic Programming, 10:255–299, 1991.

    Article  Google Scholar 

  7. A. Bernardi, H. Boley, K. Hinkelmann, Ph. Hanschke, C. Klauck, O. Kühn, R. Legleitner, M. Meyer, M.M. Richter, G. Schmidt, F. Schmalhofer, and W. Sommer. ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge. In Expert Systems and their Applications: Tools, Techniques and Methods, Avignon, France, 1991.

    Google Scholar 

  8. H. Boley, Ph. Hanschke, K. Hinkelmann, and M. Meyer. COLAB: A hybrid konwoledge compialtion laboratory. submitted for publication, January 1991.

    Google Scholar 

  9. A. Borgida, J. Mylopoulos, and H. K. T. Wong. Generalization/spezialization as a basis for software specification. In On Conceptual Modelling. Springer, 1984.

    Google Scholar 

  10. R. Brachman, D. McGuinness, P. Pate-Schneider, and L. Resnick. Living with CLASSIC: When and how to use a Kl-one-like language. In Principles of Semantic Networks. Morgan Kaufmann, 1991.

    Google Scholar 

  11. J. Clancey, W. Heuristic classification. Artificial Intelligence, 27:289–350, 1985.

    Article  Google Scholar 

  12. J. Edelmann and B. Owsnicki. Data models in knowledge representation systems: A case study. In GWAI-86 and 2. österreichische Artificial-Intelligence Tagung, pages 69–74. Springer, 1986.

    Google Scholar 

  13. M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In ACM SIGMOD, pages 134–146, 1989.

    Google Scholar 

  14. Ch. Klauck, R. Legleitner, and A. Bernardi. FEAT-REP: Representing features in CAD/CAM. In 4th International Symposium on Artificial Intelligence: Applications in Informatics, 1991.

    Google Scholar 

  15. R. MacGregor. A deductive pattern matcher. In AAAI, pages 403–408, 1988.

    Google Scholar 

  16. B. Nebel. Reasoning and Revision in Hybrid Representation Systems. Springer, 1990.

    Google Scholar 

  17. A. Nixon, B., L. Chung, K., and D. Lauzon. Design of a compiler for a semantic data model. In Foundations of Knowledge Base Management. Springer, 1989.

    Google Scholar 

  18. F. Schmalhofer, O. Kühn, and G. Schmidt. Integrated knowledge acquisition from text, previously solved cases, and expert memories. Applied Artificial Intelligence, 5:311–337, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DFKI, Postfach 2080, W-6750, Kaiserslautern, Germany

    Philipp Hanschke & Knut Hinkelmann

Authors
  1. Philipp Hanschke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Knut Hinkelmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hanschke, P., Hinkelmann, K. (1993). Combining terminological and rule-based reasoning for abstraction processes. In: Jürgen Ohlbach, H. (eds) GWAI-92: Advances in Artificial Intelligence. Lecture Notes in Computer Science, vol 671. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019000

Download citation

  • DOI: https://doi.org/10.1007/BFb0019000

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56667-0

  • Online ISBN: 978-3-540-47626-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics