Modelování n-árních relací v deskripčních logikách
DLR is an expressive description logic with support of n-ary relations. Currently, there is no known algorithm for native reasoning within DLR. However there are two approaches that allow to delegate reasoning services of DLR to binary description logics. In this work we de ne new description logic...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | English |
| Published: |
2008
|
| Online Access: | http://www.nusl.cz/ntk/nusl-290980 |