Browse wiki
From Semantic Portal Wiki
| Reducing owl entailment to description logic satisfiability |
| Author | Ian Horrocks +, Peter F. Patel-Schneider + |
|---|---|
| Bibtype | inproceedings + |
| Booktitle | International Semantic Web Conference + |
| Doi | http://springerlink.metapress.com/openurl.asp?genre=article%20%5C&%20issn=0302-9743%20%5C&%20volume=2870%20%5C&%20spage=17 + |
| Key | dblp:conf/semweb/horrocksp03 + |
| Modification dateThis property is a special property in this wiki. | 25 February 2009 15:03:41 + |
| Pages | 17-29 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/semweb/HorrocksP03 + |
| Tag | Semantic web +, Computer science + |
| Title | Reducing OWL Entailment to Description Logic Satisfiability + |
| Year | 2003 + |
| Categories | Proceeding Paper, Publication |
| hide properties that link here |
| No properties link to this page. |
