Beskrivelseslogik: Forskelle mellem versioner
Content deleted Content added
Th (diskussion | bidrag) |
Th (diskussion | bidrag) mNo edit summary |
||
Linje 1:
'''Beskrivelseslogik''' ([[engelsk]] ''Decription logic'', [[tysk]] ''Beschreibungslogik'') er en variant af [[modallogik]], som anvendes til implementering af begrebshierarkier.
==
* F. Baader, D. Calvanese, D. L. McGuiness, D. Nardi, P. F. Patel-Schneider: ''The Description Logic Handbook: Theory, Implementation, Applications''. Cambridge University Press, Cambridge, UK, 2003. ISBN 0-521-78176-0
== Se i øvrigt ==
* [[logik]]
== Eksterne henvisninger ==
* [http://www.dl.kr.org/ Description logic]
{{stub}}
[[en:Description logic]]
| |||