Merging and Aligning Ontologies in dl-Programs
暂无分享,去创建一个
Abdul Sattar | Kewen Wang | Grigoris Antoniou | Rodney W. Topor | R. Topor | A. Sattar | G. Antoniou | Kewen Wang
[1] Francesco M. Donini,et al. AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.
[2] Ilkka Niemelä,et al. Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.
[3] Douglas B. Lenat,et al. CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.
[4] Norman Y. Foo,et al. Solving Logic Program Conflict through Strong and Weak Forgettings , 2005, IJCAI.
[5] Richard Fikes,et al. Distributed repositories of highly expressive reusable ontologies , 1999, IEEE Intell. Syst..
[6] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[7] Ian Horrocks,et al. Description logic programs: combining logic programs with description logic , 2003, WWW '03.
[8] Theresa Swift,et al. Deduction in Ontologies via ASP , 2004, LPNMR.
[9] Michael Gelfond,et al. Logic Programs with Classical Negation , 1990, ICLP.
[10] Ian Horrocks,et al. Combining logic programs with description logics , 2003, The Web Conference.
[11] Mark A. Musen,et al. An Algorithm for Merging and Aligning Ontologies: Automation and Tool Support , 1999 .
[12] B. Parsia,et al. Combining OWL Ontologies Using E-Connections , 2005 .
[13] Richard Fikes,et al. Large-Scale Repositories of Highly Expressive Reusable Knowledge , 1999 .
[14] L. Stein,et al. OWL Web Ontology Language - Reference , 2004 .
[15] Abdul Sattar,et al. A Theory of Forgetting in Logic Programming , 2005, AAAI.
[16] Gerd Wagner,et al. Rules and Defeasible Reasoning on the Semantic Web , 2003, RuleML.
[17] Gerald Pfeifer,et al. The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.