BibSonomy :: bibtex  ::

publications

(5)

• 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 on 2008-04-02 15:35:07
  | BibTeX  
• Practical Reasoning for Very Expressive Description Logics
  Ian Horrocks and Ulrike Sattler and Stephan Tobies CoRR cs.LO/0005013 (2000)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | 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 on 2007-11-23 14:13:20
  | BibTeX  
• Practical Reasoning for Very Expressive Description Logics
  I. Horrocks and U. Sattler and S. Tobies Logic Journal of the IGPL 8 239--264 (2000)
  to logic reasoning by thau on 2007-10-26 19:46:26
  | URL | BibTeX  
• Practical Reasoning for Very Expressive Description Logics.
  Ian Horrocks and Ulrike Sattler and Stephan Tobies Logic Journal of the IGPL 8 (2000)
  to dblp by dblp on 2003-09-19 00:00:00
  | URL | BibTeX