Hybrid Logics and Ontology Languages
Ian Horrocks‚ Birte Glimm and Ulrike Sattler
Details
| 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 |