%0 Conference Paper %1 IA %A Horrocks, Ian %B Proc. of the 2nd International Semantic Web Conference (ISWC) %D 2003 %K DLs OWL %T Reducing OWL entailment to description logic satisfiability %U citeseer.ist.psu.edu/article/horrocks03reducing.html

@inproceedings{IA, added-at = {2008-02-20T04:58:09.000+0100}, author = {Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/269e5e1d0a0c4cf5d4e8213f0036a7f4d/marciomr}, booktitle = {Proc. of the 2nd International {Semantic Web} Conference (ISWC)}, interhash = {bf66070aebeb2be820a2265cf5b87a4d}, intrahash = {69e5e1d0a0c4cf5d4e8213f0036a7f4d}, keywords = {DLs OWL}, timestamp = {2008-02-20T05:09:56.000+0100}, title = {Reducing {OWL} entailment to description logic satisfiability}, url = {citeseer.ist.psu.edu/article/horrocks03reducing.html}, year = 2003 }