Please use this identifier to cite or link to this item: doi:10.22028/D291-25019
Title: Terminological knowledge representation : a proposal for a terminological logic
Author(s): Baader, Franz
Bürckert, Hans-Jürgen
Heinsohn, Jochen
Hollunder, Bernhard
Müller, Jürgen
Nebel, Bernhard
Nutt, Werner
Profitlich, Hans-Jürgen
Language: English
Year of Publication: 1990
OPUS Source: Kaiserslautern ; Saarbrücken : DFKI, 1990
SWD key words: Künstliche Intelligenz
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described.
Link to this record: urn:nbn:de:bsz:291-scidok-38575
Series name: Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071]
Series volume: 90-04
Date of registration: 5-Jul-2011
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
TM_90_04.pdf4,76 MBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.