%0 Journal Article %1 journals/ws/HorrocksP04 %A Horrocks, Ian %A Patel-Schneider, Peter F. %D 2004 %J J. Web Semant. %K dblp %N 4 %P 345-357 %T Reducing OWL entailment to description logic satisfiability. %U http://dblp.uni-trier.de/db/journals/ws/ws1.html#HorrocksP04 %V 1

@article{journals/ws/HorrocksP04, added-at = {2022-04-12T00:00:00.000+0200}, author = {Horrocks, Ian and Patel-Schneider, Peter F.}, biburl = {https://www.bibsonomy.org/bibtex/2755d01cd31fca6c86cfafd75ed9fdd5a/dblp}, ee = {https://www.wikidata.org/entity/Q56988859}, interhash = {a702dd236cd9a2ea7fd17c00701dbdfe}, intrahash = {755d01cd31fca6c86cfafd75ed9fdd5a}, journal = {J. Web Semant.}, keywords = {dblp}, number = 4, pages = {345-357}, timestamp = {2024-04-09T00:57:39.000+0200}, title = {Reducing OWL entailment to description logic satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/ws/ws1.html#HorrocksP04}, volume = 1, year = 2004 }