Beskrivningslogik

term_id: description_logic

Category: engineering_practice

Definition

Beskrivningslogiker (DL) är avgörbara fragment av förstordningens logik som utgör den teoretiska grunden för ontologier, särskilt Web Ontology Language (OWL). De möjliggör precis definiering

Summary

En familj av formella språk för kunskapsrepresentation som används för att representera och resonera om den konceptuella strukturen i domäner.

Key Concepts

  • Ontologi
  • Resonemang
  • Subsumtion
  • Koncepthierarki

Use Cases

  • Byggande av semantiska webbontologier
  • Medicinska kunskapsgrafer
  • Automatiserade klassificeringssystem