CiteSeer.IST Home   Multiple matching documents

Document: Details   Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies (1999) Ian Horrocks, Ulrike Sattler, Stephan Tobies

Document: Details   Practical Reasoning for Expressive Description Logics (1999) Ian Horrocks, Ulrike Sattler, Stephan Tobies

CiteSeer.IST - Copyright Penn State and NEC