First Page | Document Content | |
---|---|---|
Date: 2009-07-07 04:46:34 | Consequence-Driven Reasoning for Horn SHIQ Ontologies Yevgeny Kazakov Oxford University Computing Laboratory 1Add to Reading ListSource URL: ceur-ws.orgDownload Document from Source WebsiteFile Size: 196,91 KBShare Document on Facebook |