ELP: Tractable Rules for OWL 2
暂无分享,去创建一个
[1] Boris Motik,et al. Data Complexity of Reasoning in Very Expressive Description Logics , 2005, IJCAI.
[2] Ian Horrocks,et al. A proposal for an owl rules language , 2004, WWW '04.
[3] Ian Horrocks,et al. Combining logic programs with description logics , 2003, The Web Conference.
[4] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[5] Boris Motik,et al. Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.
[6] Diego Calvanese,et al. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.
[7] Ian Horrocks,et al. The Even More Irresistible SROIQ , 2006, KR.
[8] Sebastian Rudolph,et al. On the Complexity of Horn Description Logics , 2006, OWLED.
[9] Ian Horrocks,et al. The Even More Irresistible $\mathcal{SROIQ}$ , 2006 .
[10] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[11] Riccardo Rosati,et al. On Conjunctive Query Answering in EL , 2007, Description Logics.
[12] Ian Horrocks,et al. Description logic programs: combining logic programs with description logic , 2003, WWW '03.
[13] Franz Baader,et al. Pushing the EL Envelope Further , 2008, OWLED.
[14] Georg Gottlob,et al. Complexity and expressive power of logic programming , 1997, Proceedings of Computational Complexity. Twelfth Annual IEEE Conference.
[15] Sebastian Rudolph,et al. Conjunctive Queries for a Tractable Fragment of OWL 1.1 , 2007, ISWC/ASWC.
[16] Hector Perez-Urbina. Rewriting Conjunctive Queries under Description Logic Constraints (Technical Report) , 2008 .
[17] Volker Haarslev,et al. Rewriting Rules into SROIQ Axioms , 2008, Description Logics.
[18] Sebastian Rudolph,et al. Description Logic Rules , 2010, ECAI.
[19] Sebastian Rudolph,et al. Complexity Boundaries for Horn Description Logics , 2007, AAAI.
[20] Boris Motik,et al. Rewriting Conjunctive Queries over Description Logic Knowledge Bases , 2008, SDKB.
[21] Saturation-based decision procedures for extensions of the guarded fragment , 2006 .
[22] Hector Perez-Urbina. Rewriting Conjunctive Queries under Description Logic Constraints , 2008 .
[23] Sebastian Rudolph,et al. All Elephants are Bigger than All Mice , 2008, Description Logics.
[24] Franz Baader,et al. Pushing the EL Envelope , 2005, IJCAI.