Die Terminologische-, Beschreibungs- oder Begriffslogik (englisch: terminological oder description logic), auch klassische Logik genannt, ist eine Logik, die auf Aristoteles zurückgeht. Sie basiert auf Begriffen, deren Inhalten und Umfängen und deren Beziehungen untereinander.

Beispiel

Computerbesitzer=HAT(Mensch,Computer)

Achtung: Seit 1980 hat sich der englische Begriff description logic durch die Entwicklung eines entsprechend benannten Konzeptes gewandelt. Die passende Übersetzung dieser neuen description logic ins Deutsche lautet Beschreibungslogik. Im Zuge des verstärkten Einsatzes von Ontologien ist demnach oft von der Verwendung in diesem Sinne auszugehen.

Siehe auch

Frame-Logik, Aussagenlogik, Prädikatenlogik

Weblinks

• http://www.begriffslogik.de/blogik.html
• heutige englische Description Logic: http://en.wikipedia.org/wiki/Description_logic