Bossam: An Extended Rule Engine for OWL Inferencing
暂无分享,去创建一个
[1] William C. Regli,et al. DAMLJessKB: A Tool for Reasoning with the Semantic Web , 2003, IEEE Intell. Syst..
[2] Ian Horrocks. The FaCT System , 1998, TABLEAUX.
[3] José Júlio Alferes,et al. Semantic Web Logic Programming Tools , 2003, PPSWR.
[4] John Mylopoulos,et al. The Semantic Web - ISWC 2003 , 2003, Lecture Notes in Computer Science.
[5] Ian Horrocks,et al. Combining logic programs with description logics , 2003, The Web Conference.
[6] Roy Dyckhoff. Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.
[7] Gerd Wagner,et al. Web Rules Need Two Kinds of Negation , 2003, PPSWR.
[8] Timothy W. Finin,et al. SweetJess: Inferencing in Situated Courteous RuleML via Translation to and from Jess Rules , 2003 .
[9] Ian Horrocks,et al. Description logic programs: combining logic programs with description logic , 2003, WWW '03.
[10] François Fages,et al. Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings , 2005, PPSWR.