Hybrid Logics and Ontology Languages
Ian Horrocks an Birte Glimm and Ulrike Sattler
Journal
Electronic Notes in Theoretical Computer Science
Note
Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)
Number
6
Pages
3−14
Volume
174
Year
2007