PROLE 2009 A New Proposal for Using First-Order Theorem Provers to Reason with OWL DL Ontologies 1Mikel Alecha,Javier Alvez,Montserrat Hermo, E Laparra,Dpto Lenguajes,Sistemas Informaticos,Dpto Sistemas, Informaticos Computacionmag(2013)引用 23|浏览7暂无评分关键词theorem proving,first order logic,ontologiesAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要