Browse wiki
From korrekt.org
| Complexities of Horn Description Logics |
| Author1 | Markus Krötzsch + |
|---|---|
| Author2 | Sebastian Rudolph + |
| Author3 | Pascal Hitzler + |
| Bibtex |
@article{KRH:HornDLs2012, author = {Markus Kr{\"o}tzsch and Sebastian Rudolph and Pascal Hitzler}, title = {Complexities of {Horn} Description Logics}, journal = {ACM Trans. Comp. Log.}, year = {2012}, note = {To appear; preprint available at \url{http://tocl.acm.org/accepted.html}} } |
| Booktitle | ACM Transactions on Computational Logic (to appear) + |
| Date | 2012 + |
| Last update | 2 February 2012 + |
| Modification dateThis property is a special property in this wiki. | 10 February 2012 17:03:17 + |
| Publication type | Journal paper + |
| Published at | ACM Transactions on Computational Logic + |
| Publisher | ACM + |
| Title | Complexities of Horn Description Logics + |
| Topic | Description logics + |
| URL | http://tocl.acm.org/accepted/TOCL-2011-0035.pdf + |
| Categories | Publication, To appear |
| hide properties that link here |
| Horn description logics + | redirect page |
|---|