Finding all justifications of owl dl entailments
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|finding all justifications of owl dl entailments }}
- [[]]
bibtex
{{#vardefine:pagename|Finding all justifications of owl dl entailments }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about Finding all justifications of owl dl entailmentsRDF feed
| Author | Aditya Kalyanpur +, Bijan Parsia +, Matthew Horridge +, and Evren Sirin + |
| Bibtype | inproceedings + |
| Booktitle | ISWC/ASWC + |
| Doi | http://dx.doi.org/10.1007/978-3-540-76298-0_20 + |
| Key | dblp:conf/semweb/kalyanpurphs07 + |
| Pages | 267-280 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/semweb/KalyanpurPHS07 + |
| Tag | Computer science + |
| Title | Finding All Justifications of OWL DL Entailments + |
| Year | 2007 + |
