Sequoia: A Consequence Based Reasoner for SROIQMarkDavid Tena CucalaBernardo Cuenca Grau[0]Ian Horrocks[0]2019.Cited by: 0|Bibtex|Views73EI Other Links: dblp.uni-trier.de|academic.microsoft.comCode: Data: Full Text (Upload PDF)PPT (Upload PPT)Upload PDFUpload PPTYour rating :0 TagsCommentsSubmit