Logika opisowa
term_id: description_logic
Category: engineering_practice
Definition
Logiki opisowe (DL) to decydowalne fragmenty logiki pierwszego rzędu, które stanowią teoretyczną podstawę dla ontologii, szczególnie Języka Ontologii Sieci Webowej (OWL). Pozwalają one na precyzyjne definiowanie pojęć i relacji między nimi, umożliwiając automatyczne wnioskowanie o strukturze wiedzy.
Summary
Rodzina formalnych języków reprezentacji wiedzy służących do przedstawiania i rozumowania nad strukturalną koncepcją domen.
Key Concepts
- Ontologia
- Wnioskowanie
- Podporządkowanie (Subsumption)
- Hierarchia pojęć
Use Cases
- Budowanie ontologii Semantycznego Webu
- Grafy wiedzy medycznej
- Systemy automatycznej klasyfikacji