Beskrivelseslogik

Der er ingen kildehenvisninger i denne artikel, hvilket er et problem. Du kan hjælpe ved at angive kilder til de påstande, der fremføres. Hvis ikke der tilføjes kilder, vil artiklen muligvis blive slettet.

Beskrivelseslogik (engelsk Description logic, tysk Beschreibungslogik) er en variant af modallogik, som anvendes til implementering af begrebshierarkier.

Litteratur

• 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 også

• Logik
• Semantisk web
• OWL

Eksterne henvisninger

• Description logic Arkiveret 27. september 2005 hos Wayback Machine
• Navigator on Description Logic Complexity

Spire Denne filosofiartikel er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.