Exploiting Partial Information in Taxonomy Construction
暂无分享,去创建一个
[1] Bernhard Nebel,et al. An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.
[2] Ian Horrocks,et al. Optimising Tableaux Decision Procedures For Description Logics , 1997 .
[3] György Turán,et al. Sorting and Recognition Problems for Ordered Sets , 1985, SIAM J. Comput..
[4] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[5] Boris Motik,et al. Optimized Reasoning in Description Logics Using Hypertableaux , 2007, CADE.
[6] Gerard Ellis,et al. Compiled hierarchical retrieval , 1992 .
[7] Franz Baader,et al. Pushing the EL Envelope , 2005, IJCAI.
[8] Volker Haarslev,et al. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics , 2001, IJCAR.
[9] Volker Haarslev,et al. High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study , 2000, IJCAI.
[10] Ian Horrocks,et al. Optimizing Terminological Reasoning for Expressive Description Logics , 2007, Journal of Automated Reasoning.
[11] Elchanan Mossel,et al. Sorting and Selection in Posets , 2007, SIAM J. Comput..