Psychologie Lexikon der ArgumenteHome | |||
| |||
Beschreibungslogik - Psychologie Lexikon der Argumente | |||
Beschreibungslogik: Die Beschreibungslogik (DL) ist eine Familie von formalen Wissensrepräsentationssprachen. Sie ist eine Teilmenge der Logik erster Ordnung, aber sie ist aussagekräftiger als die Aussagenlogik. DLs werden verwendet, um die relevanten Konzepte einer Anwendungsdomäne (bekannt als terminologisches Wissen) zu beschreiben und darüber nachzudenken. DLs sind besonders wichtig für die Bereitstellung eines logischen Formalismus für Ontologien und das Semantic Web. Die Web Ontology Language (OWL) und ihre Profile beruhen auf DLs. Siehe auch Wissensrepräsentation._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Weitere Begriffe zu Autor | |
---|---|---|---|
KI-Forschung | Beschreibungslogik | KI-Forschung | |
Hg. Martin Schulz |