Simplifying query-answering problems by unfolding
暂无分享,去创建一个
[1] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[2] Boris Motik,et al. Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.
[3] A Bottom-Up Algorithm for Solving Query-Answering Problems , 2011 .
[4] Kiyoshi Akama,et al. Meaning-preserving Skolemization , 2011, KEOD.
[5] Ian Horrocks,et al. OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..
[6] Kiyoshi Akama,et al. Formalization of the Equivalent Transformation Computation Model , 2006, J. Adv. Comput. Intell. Intell. Informatics.
[7] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.