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)
Siehe auch
Frame-Logik, Aussagenlogik, Prädikatenlogik
Weblinks
