Correctness of Solving Query-Answering Problems Using Satisfiability Solvers
暂无分享,去创建一个
[1] A Bottom-Up Algorithm for Solving Query-Answering Problems , 2011 .
[2] Ian Horrocks,et al. OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..
[3] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[4] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[5] Boris Motik,et al. Query Answering for OWL-DL with Rules , 2004, SEMWEB.
[6] Joao Marques-Silva,et al. GRASP: A Search Algorithm for Propositional Satisfiability , 1999, IEEE Trans. Computers.
[7] Kiyoshi Akama,et al. Meaning-preserving Skolemization , 2011, KEOD.
[8] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[9] Roberto J. Bayardo,et al. Using CSP Look-Back Techniques to Solve Real-World SAT Instances , 1997, AAAI/IAAI.
[10] Eyas El-Qawasmeh,et al. Informatics Engineering and Information Science , 2011 .