Foundations for the Logical Difference of EL-TBoxes
暂无分享,去创建一个
[1] Shasha Feng,et al. The Logical Difference for EL: From Terminologies Towards TBoxes , 2015, IWOST-1.
[2] Dirk Walther,et al. The Concept Difference for EL-Terminologies using Hypergraphs , 2013, DChanges.
[3] Franz Baader,et al. Pushing the EL Envelope , 2005, IJCAI.
[4] Dirk Walther,et al. The Logical Difference for ℰℒℋr-Terminologies using Hypergraphs , 2014, ECAI.
[5] Boris Konev,et al. The Logical Difference for the Lightweight Description Logic EL , 2012, J. Artif. Intell. Res..
[6] Sebastian Brandt,et al. Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else? , 2004, ECAI.
[7] Carsten Lutz,et al. Deciding inseparability and conservative extensions in the description logic EL , 2010, J. Symb. Comput..
[8] Maurizio Lenzerini,et al. A Uniform Framework for Concept Definitions in Description Logics , 1997, J. Artif. Intell. Res..
[9] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[10] Boris Konev,et al. The Logical Difference Problem for Description Logic Terminologies , 2008, IJCAR.
[11] Martin Hofmann. Proof-theoretic approach to description-logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).