|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 15 of 24 found articles
| Title: |
Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬 |
| Author: |
Farsiniamarj, Nasim Haarslev, Volker |
| Appeared in: |
AI communications |
| Paging: | Volume 23 (2010) nr. 2-3 pages 205-240 |
| Year: |
2010-03-04 |
| Contents: |
This article presents a hybrid Abox tableau calculus for 𝒮ℋ𝒬 which extends the basic description logic 𝒜ℒ𝒞 with role hierarchies, transitive roles, and qualified number restrictions. The prominent feature of our hybrid calculus is that it reduces reasoning about qualified number restrictions to integer linear programming. The calculus decides 𝒮ℋ𝒬 Abox consistency w.r.t. a Tbox containing general axioms. The presented approach ensures a more informed calculus which adequately handles the interaction between numerical and logical restrictions in 𝒮ℋ𝒬 concept and individual descriptions. A prototype reasoner for deciding 𝒜ℒ𝒞ℋ𝒬 concept satisfiability has been implemented. An empirical evaluation of our hybrid reasoner and its integrated optimization techniques for a set of synthesized benchmarks featuring qualified number restrictions clearly demonstrates the effectiveness of our hybrid calculus. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 15 of 24 found articles
| << previous | next >> |