Tableau-based reasoning for description logics with inverse roles and number restrictions
The tableaux algorithm is a general technique for deciding concept satisfiability problems in description logics (DLs). It is useful not only for practical implementations, but also for studying the correctness and complexity of concrete decision procedures. There is a family of DLs that currently...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2008
|
| Online Access: | http://spectrum.library.concordia.ca/975830/1/NR37744.pdf Ding, Yu <http://spectrum.library.concordia.ca/view/creators/Ding=3AYu=3A=3A.html> (2008) Tableau-based reasoning for description logics with inverse roles and number restrictions. PhD thesis, Concordia University. |