LATPub12

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Terminological Knowledge Representation: A Proposal for a Terminological Logic

F. BaaderF. Baader,  H.-J. BürckertH.-J. Bürckert,  J. HeinsohnJ. Heinsohn,  J. MüllerJ. Müller,  B. HollunderB. Hollunder,  B. NebelB. Nebel,  W. NuttW. Nutt,  H.-J. ProfitlichH.-J. Profitlich

Datei:DFKI-TM-90-04.ps.gz

• Download

F. Baader, H.-J. Bürckert, J. Heinsohn, J. Müller, B. Hollunder, B. Nebel, W. Nutt, H.-J. Profitlich
Terminological Knowledge Representation: A Proposal for a Terminological Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {TM}-90-04, 1990. {DFKI} Technical Memo

• Details
• Bibtex

• KurzfassungAbstract
  This paper contains a proposal for a terminological logic.

  The formalisms for representing knowledge as well as the needed

  inferences are described.
• Bemerkung: Note: Updated version, taking into account the results of a discussion at the ``International Worksop on Terminological Logics, Dagstuhl, May 1991.
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ DFKI-TM-90-04,
  author = {F. {Baader} and H.-J. {B\"urckert} and J. {Heinsohn} and J. {M\"uller} and B. {Hollunder} and B. {Nebel} and W. {Nutt} and H.-J. {Profitlich}},
  institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
  note = {Updated version, taking into account the results of a discussion at the ``International Worksop on Terminological Logics,'' Dagstuhl, May 1991.},
  number = {{TM}-90-04},
  title = {Terminological Knowledge Representation: A Proposal for a Terminological Logic},
  type = {{DFKI} Technical Memo},
  year = {1990},
}