Beschreibungslogik

Namespace:	http://de.wikipedia.org/wiki
Kommentar	Beschreibungslogiken (engl. description logics) sind eine Familie von Sprachen zur Wissensrepräsentation. Die meisten Beschreibungslogiken sind eine Untermenge der Prädikatenlogik erster Stufe, im Gegensatz zu dieser aber entscheidbar. Dies ermöglicht über eine Beschreibungslogik zu schließen, d.h. aus vorhandenem Wissen neues Wissen zu gewinnen.
Diagramm	SemTalk und OWL
Diagramm	Ontologie
Hyperlink	http://de.wikipedia.org/wiki/Beschreibungslogik
inv zur Erstellung von	OWL DL
inv besteht aus	Ontologie