Skip to main content

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