Aprakstošās loģikas un secinātāji
(Description Logics and Reasoners)

 This work is licensed under a Creative Commons License and is copyrighted © 2006-2016 by me, Karlis Podnieks.

Saturs

1. Ievads

• 1.1. Ko lasīt

• 1.2. Zināšanu formalizācija, izmantojot predikātu loģiku

• 1.3. Aprakstošā loģika ALC
  1.4. Vienkāršākie ALC paplašinājumi

2. Aprakstošo loģiku teorija

• 2.1. T-Box, A-Box un R-Box

• 2.2. Tipiskie secināšanas uzdevumi

• 2.3. Acikliskās terminoloģijas

• 2.4. Fiksētā punkta semantika

• 2.5. Slēgtās un atvērtās pasaules semantika
  2.6. Raibā pasaule virs ALC

  2.7. Aprakstošās loģikas un semantiskais tīmeklis

3. Tablo algoritms

• 3.1. Tablo algoritms izteikumu valodai

• 3.2. Tablo algoritms predikātu valodām

• 3.3. Tablo algoritms loģikai ALC

• 3.4. Tablo algoritms ALC paplašinājumiem

4. Aprakstošās loģikas un semantiskais tīmeklis

• 4.1. Raibā pasaule virs ALC

• 4.2. OWL-Lite, OWL-DL un OWL 1.1

• 4.3. OWL DL ontoloģijas un datorlingvistika (3 MB, prof. Gunta Bārzdiņa lekcijas slaidi 29.03.2006)

5. Eksperimenti ar secinātājiem

6. Secināšana UML klašu diagrammās

• 6.1. Sarežģītības apakšējais novērtējums - EXPTIME

• 6.2. Sarežģītības augšejais novērtējums