Contents
by Arbeitsbereich Kogs, Volker Haarslev, Volker Haarslev, Ralf Moller, Ralf Moller, Anni-yasmin Turhan, Anni-yasmin Turhan
http://kogs-www.informatik.uni-hamburg.de/~moeller/papers/report-FBI-289-99.ps.gz
Add To MetaCart
Abstract:
Version 1.1
Citations
| 46 | Expresive ABox reasoning with number restrictions, role hierarchies, and transitively closed roes – Haarslev, Moeller |
| 6 | Practical Reasoning for Description Logics with Functional Restrictions – Horrocks, Sattler, et al. - 1999 |
| 1 | Tobies, "A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions – Horrocks, Sattler, et al. - 1999 |
