Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
We present an approach for performing instance checking in possibilistic description logic programming ontologies by accruing arguments that support the membership of individuals to concepts. Ontologies are interpreted as possibilistic logic programs where accruals of arguments as regarded as vertex...
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
Postgraduate Office, School of Computer Science, Universidad Nacional de La Plata
2017-10-01
|
| シリーズ: | Journal of Computer Science and Technology |
| 主題: | |
| オンライン･アクセス: | https://journal.info.unlp.edu.ar/JCST/article/view/440 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|