Conjunction-Based Clauses for Equivalent Transformationof Query-Answering Problems
暂无分享,去创建一个
[1] Kiyoshi Akama,et al. Meaning-preserving Skolemization , 2011, KEOD.
[2] Boris Motik,et al. Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.
[3] Kiyoshi Akama,et al. Formalization of the Equivalent Transformation Computation Model , 2006, J. Adv. Comput. Intell. Intell. Informatics.
[4] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[5] Ian Horrocks,et al. OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..
[6] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.