%0 Journal Article %1 horrocks2004shoin %A Horrocks, Ian %A Patel-Schneider, Peter %C Amsterdam, The Netherlands, The Netherlands %D 2004 %I Elsevier Science Publishers B. V. %J Journal of Web Semantics %K description logic owl semantic shoin web %N 4 %P 345--357 %R 10.1016/j.websem.2004.06.003 %T Reducing OWL Entailment to Description Logic Satisfiability %U http://www.cs.man.ac.uk/~horrocks/Publications/download/2004/HoPa04b.pdf %V 1

@article{horrocks2004shoin, acmid = {1741330}, added-at = {2017-09-06T10:38:36.000+0200}, address = {Amsterdam, The Netherlands, The Netherlands}, author = {Horrocks, Ian and Patel-Schneider, Peter}, biburl = {https://www.bibsonomy.org/bibtex/236b4ea3075005388cb75a7b51095c857/porta}, doi = {10.1016/j.websem.2004.06.003}, interhash = {a702dd236cd9a2ea7fd17c00701dbdfe}, intrahash = {36b4ea3075005388cb75a7b51095c857}, issn = {1570-8268}, issue_date = {October, 2004}, journal = {Journal of Web Semantics}, keywords = {description logic owl semantic shoin web}, month = oct, number = 4, numpages = {13}, pages = {345--357}, publisher = {Elsevier Science Publishers B. V.}, timestamp = {2017-09-06T10:38:36.000+0200}, title = {Reducing OWL Entailment to Description Logic Satisfiability}, url = {http://www.cs.man.ac.uk/~horrocks/Publications/download/2004/HoPa04b.pdf}, volume = 1, year = 2004 }