Browse wiki
From korrekt.org
| Description Logic Reasoning with Decision Diagrams |
| Author1 | Sebastian Rudolph + |
|---|---|
| Author2 | Markus Krötzsch + |
| Author3 | Pascal Hitzler + |
| Bibtex |
{{{bibtex}}} |
| Booktitle | Proceedings of the 7th International Semantic Web Conference (ISWC-08) + |
| Date | 2008 + |
| Editor1 | Amit Sheth + |
| Editor2 | Steffen Staab + |
| Editor3 | Mike Dean + |
| Editor4 | Massimo Paolucci + |
| Editor5 | Diana Maynard + |
| Editor6 | Timothy Finin + |
| Editor7 | Krishnaprasad Thirunarayan + |
| Last update | 10 July 2008 + |
| Modification dateThis property is a special property in this wiki. | 23 March 2009 15:15:40 + |
| Publication type | Conference paper + |
| Published at | ISWC2008 + |
| Publisher | Springer + |
| Title | Description Logic Reasoning with Decision Diagrams – Compiling SHIQ to Disjunctive Datalog + |
| Topic | Description logics +, Logic programming + |
| URL | http://korrekt.org/papers/RudophKroetzschHitzler_Datalog-SHIQ-Abox-OBDD_2008.pdf + |
| Categories | Publication |
| hide properties that link here |
| No properties link to this page. |
