Home > Search Results: Blaško, Miroslav
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 2 records found  Search took 0.01 seconds. 
Modelling n-ary relations in description logics
 Blaško, Miroslav ; Zavoral, Filip (advisor) ; Vojtáš, Peter (referee)
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 NDL, a subset of DLR, for which we believe that native reasoning can be provided. Based on the existing approaches, we transform NDL to binary description logics for which the current of state-of-art of reasoners exist. New transformations will be analysed both theoretically and empirically. N-ary data for benchmark will be created from existing OWL ontologies by transformation of opposite direction. This benchmark can be used for comparison of native reasoning and reasoning by transformation to binary DLs.
Detailed record
Modelling n-ary relations in description logics
 Blaško, Miroslav ; Vojtáš, Peter (referee) ; Zavoral, Filip (advisor)
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 NDL, a subset of DLR, for which we believe that native reasoning can be provided. Based on the existing approaches, we transform NDL to binary description logics for which the current of state-of-art of reasoners exist. New transformations will be analysed both theoretically and empirically. N-ary data for benchmark will be created from existing OWL ontologies by transformation of opposite direction. This benchmark can be used for comparison of native reasoning and reasoning by transformation to binary DLs.
Detailed record

See also: similar author names
1 Blaško, Martin
2 Blaško, Michal
Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English