%0 Journal Article %1 HoPa04b %A Horrocks, Ian %A Patel-Schneider, Peter %D 2004 %J Journal of Web Semantics %K owl %N 4 %P 345--357 %T Reducing OWL entailment to description logic satisfiability %V 1

@article{HoPa04b, added-at = {2008-10-10T16:39:57.000+0200}, author = {Horrocks, Ian and Patel-Schneider, Peter}, biburl = {https://www.bibsonomy.org/bibtex/267018d1d5ee049b780c4a663678dd29f/deynard}, interhash = {a702dd236cd9a2ea7fd17c00701dbdfe}, intrahash = {67018d1d5ee049b780c4a663678dd29f}, issn = {1570-8268}, journal = {Journal of Web Semantics}, keywords = {owl}, number = 4, pages = {345--357}, timestamp = {2008-10-10T16:39:57.000+0200}, title = {Reducing {OWL} entailment to description logic satisfiability}, volume = 1, year = 2004 }