Reducing owl entailment to description logic satisfiability
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|reducing owl entailment to description logic satisfiability }}
- [[]]
bibtex
{{#vardefine:pagename|Reducing owl entailment to description logic satisfiability }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about Reducing owl entailment to description logic satisfiabilityRDF feed
| Author | Ian Horrocks +, and Peter F. Patel-Schneider + |
| Bibtype | inproceedings + |
| Booktitle | International Semantic Web Conference + |
| Doi | http://springerlink.metapress.com/openurl.asp?genre=article \& issn=0302-9743 \& volume=2870 \& spage=17 + |
| Key | dblp:conf/semweb/horrocksp03 + |
| Pages | 17-29 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/semweb/HorrocksP03 + |
| Tag | Semantic web +, and Computer science + |
| Title | Reducing OWL Entailment to Description Logic Satisfiability + |
| Year | 2003 + |
