Kuvauslogiikka
term_id: description_logic
Category: engineering_practice
Definition
Kuvauslogiikat (DL) ovat ratkaistavia osajoukkoja ensimmäisen kertaluvun logiikasta, ja ne muodostavat teoreettisen perustan ontologioille, erityisesti Web Ontology Language (OWL):lle. Ne mahdollistavat tarkat määritelmät…
Summary
Muotoisen tiedon esityskielten perhe, jota käytetään alueiden käsitteellisen rakenteen esittämiseen ja päättelyyn sen suhteen.
Key Concepts
- Ontologia
- Päättely
- Sisällyttäminen (Subsumption)
- Käsitehierarkia
Use Cases
- Semanttisen verkon ontologioiden rakentaminen
- Lääketieteelliset tietokaaviot
- Automaattiset luokittelujärjestelmät