Bibsonomy :: author  :: Tobies ::

bookmarks

publications

(3)

• Practical Reasoning for Very Expressive Description Logics
  I. Horrocks and U. Sattler and S. Tobies Logic Journal of the IGPL 8 239--263 (2000)
  to imported by vrandezo and 4 other people on 2008-04-02 15:35:07
  | BibTeX  
• Practical Reasoning for Very Expressive Description Logics
  Ian Horrocks and Ulrike Sattler and Stephan Tobies Journal of the IGPL 8 239--263 (2000)
  to imported by ramaz and 4 other people on 2007-11-23 14:13:20
  | BibTeX  
• Practical Reasoning for Expressive Description Logics
  Ian Horrocks and Ulrike Sattler and Stephan Tobies Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99) 161--180 (1999)
  to imported by ramaz and 3 other people on 2007-11-23 14:13:20
  | BibTeX