Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies
暂无分享,去创建一个
Kewen Wang | Zhe Wang | Xiaowang Zhang | Rodney W. Topor | R. Topor | Kewen Wang | Zhe Wang | Xiaowang Zhang
[1] Willem Conradie,et al. Definitorially Complete Description Logics , 2006, KR.
[2] Jeff Z. Pan,et al. Concept and Role Forgetting in ALC Ontologies , 2009, ISWC 2009.
[3] J. Lang,et al. Propositional Independence - Formula-Variable Independence and Forgetting , 2011, J. Artif. Intell. Res..
[4] R. Reiter,et al. Forget It ! , 1994 .
[5] A. Visser. Uniform interpolation and layered bisimulation , 1996 .
[6] Ian Horrocks,et al. Optimizing Terminological Reasoning for Expressive Description Logics , 2007, Journal of Automated Reasoning.
[7] A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics , 2009, Description Logics.
[8] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[9] Kewen Wang,et al. Semantic forgetting in answer set programming , 2008, Artif. Intell..
[10] Enrico Motta,et al. Developing Ontologies in OWL: an Observational Study , 2006, OWLED.
[11] Boris Konev,et al. Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies , 2009, IJCAI.
[12] Jeff Z. Pan,et al. Forgetting Concepts in DL-Lite , 2008, ESWC.
[13] Frank Wolter,et al. Can You Tell the Difference Between DL-Lite Ontologies? , 2008, KR.
[14] Jeff Z. Pan,et al. Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies , 2009, International Semantic Web Conference.