More is Sometimes Less: Succinctness in EL
暂无分享,去创建一个
[1] Bernardo Cuenca Grau,et al. OWL 2 Web Ontology Language: Profiles , 2009 .
[2] Carsten Lutz,et al. Deciding inseparability and conservative extensions in the description logic EL , 2010, J. Symb. Comput..
[3] Ralf Küsters,et al. Rewriting Concepts Using Terminologies , 2000, KR.
[4] Meghyn Bienvenu,et al. Prime Implicates and Prime Implicants: From Propositional to Modal Logic , 2009, J. Artif. Intell. Res..
[5] Carsten Lutz,et al. Conservative Extensions in Expressive Description Logics , 2007, IJCAI.
[6] Sebastian Rudolph,et al. ExpExpExplosion: Uniform Interpolation in General EL Terminologies , 2012, ECAI.
[7] Frank Wolter,et al. Can You Tell the Difference Between DL-Lite Ontologies? , 2008, KR.
[8] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[9] Jens Wissmann,et al. Elimination of Redundancy in Ontologies , 2011, ESWC.
[10] Boris Konev,et al. Semantic Modularity and Module Extraction in Description Logics , 2008, ECAI.
[11] Birte Glimm,et al. Hitting the Sweetspot: Economic Rewriting of Knowledge Bases , 2012, SEMWEB.
[12] Franz Baader,et al. Pushing the EL Envelope , 2005, IJCAI.
[13] Carsten Lutz,et al. Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics , 2006, KR.
[14] Boris Konev,et al. Formal Properties of Modularisation , 2009, Modular Ontologies.