Extending the \it hoiq(d) tableaux with dl-safe rules: first results
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|extending the \it hoiq(d) tableaux with dl-safe rules: first results }}
- [[]]
bibtex
{{#vardefine:pagename|Extending the \it hoiq(d) tableaux with dl-safe rules: first results }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about Extending the \it hoiq(d) tableaux with dl-safe rules: first resultsRDF feed
| Author | Vladimir Kolovski +, Bijan Parsia +, and Evren Sirin + |
| Bibtype | inproceedings + |
| Booktitle | Description Logics + |
| Doi | http://www.ceur-ws.org/Vol-189/submission_26.pdf + |
| Key | dblp:conf/dlog/kolovskips06 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/dlog/KolovskiPS06 + |
| Tag | Computer science + |
| Title | Extending the \it HOIQ(D) Tableaux with DL-safe Rules: First Results + |
| Year | 2006 + |
