Blending rules and ontology in argumentation
暂无分享,去创建一个
[1] Grigoris Antoniou,et al. DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web , 2007, IEEE Transactions on Knowledge and Data Engineering.
[2] Ian Horrocks,et al. Reducing OWL Entailment to Description Logic Satisfability , 2003, Description Logics.
[3] Ian Horrocks,et al. Description logic programs: combining logic programs with description logic , 2003, WWW '03.
[4] Guillermo Ricardo Simari,et al. Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming , 2007, Inteligencia Artif..
[5] Georgios Meditskos,et al. A Rule-Based Object-Oriented OWL Reasoner , 2008, IEEE Transactions on Knowledge and Data Engineering.
[6] Dorian Gaertner,et al. CaSAPI : a system for credulous and sceptical argumentation , 2007 .
[7] Anthony Hunter,et al. Harnessing Ontologies for Argument-Based Decision-Making in Breast Cancer , 2007, 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007).
[8] Grigoris Antoniou,et al. DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web , 2005, AAAI.
[9] James A. Hendler,et al. Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..
[10] Peter F. Patel-Schneider,et al. Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.
[11] Tran Cao Son,et al. Nonmonotonic Inheritance, Argumentation and Logic Programming , 1995, LPNMR.