Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe



 Beschreibungslogik - Philosophie 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,

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z