%0 Journal Article %1 Horrocks04 %A Horrocks, Ian %A Patel-Schneider, Peter F. %D 2004 %J J. of Web Semantics %K DLs OWL impresso %N 1 %T Reducing OWL Entailment to Description Logic Satisfiability %U http://www.cs.man.ac.uk/~horrocks/Publications/download/2004/HoPa04b.pdf %V 4

@article{Horrocks04, added-at = {2008-02-20T03:42:09.000+0100}, author = {Horrocks, Ian and Patel-Schneider, Peter F.}, biburl = {https://www.bibsonomy.org/bibtex/2a6e56cf085a285139189030985faccbf/marciomr}, description = {Artigos e livros que tenho impresso}, interhash = {a702dd236cd9a2ea7fd17c00701dbdfe}, intrahash = {a6e56cf085a285139189030985faccbf}, journal = {J. of Web Semantics}, keywords = {DLs OWL impresso}, number = 1, owner = {Mauro}, timestamp = {2008-02-20T04:54:32.000+0100}, title = {Reducing {OWL} Entailment to Description Logic Satisfiability}, url = {http://www.cs.man.ac.uk/~horrocks/Publications/download/2004/HoPa04b.pdf}, volume = 4, year = 2004 }