Computer Science ›› 2015, Vol. 42 ›› Issue (1): 249-252.doi: 10.11896/j.issn.1002-137X.2015.01.055
Previous Articles Next Articles
XU De-zhi, LIAO Hui-huan and XU Lian-jun
| [1] Berners-Lee T.Semantic web road map[EB/OL].http://www.w3.org/DesignIssues/Semantic.html [2] Shvaiko P,Euzenat J.Ontology matching:state of the art and future challenges[J].Knowledge and Data Engineering,2012,5(1),158-176 [3] Stuckenschmidt H,Klein M.Structure-based partitioning oflarge concept hierarchies[M]∥The Semantic Web-ISWC 2004.Springer Berlin Heidelberg,2004:289-303 [4] Doran P,Tamma V,Iannone L.Ontology module extraction for ontology reuse:an ontology engineering perspective[C]∥Proceedings of the Sixteenth ACM Conference on Conference on Information and Knowledge Management.ACM,2007:61-70 [5] Seidenberg J,Rector A.Web ontology segmentation:analysis,classification and use[C]∥Proceedings of the 15th international conference on World Wide Web.ACM,2006:13-22 [6] Noy N F,Musen M A.Specifying ontology views by traversal[M]∥The Semantic Web-ISWC 2004.Springer Berlin Heidelberg,2004:713-725 [7] Krtzsch M,Simancik F,Horrocks I.A description logic primer[J/OL].http://arxiv.org/pdf/1202.4089.pdf [8] Grau B C,Parsia B,Sirin E,et al.Modularity and Web Ontologies[C]∥KR.2006:198-209 [9] Kontchakov R,Pulina L,Sattler U,et al.Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers[C]∥IJCAI.2009,9:836-841 [10] Horrocks I,Sattler U.A Tableau Decision Procedure for[J].Journal of Automated Reasoning,2007,39(3):249-276 [11] Horrocks I,Sattler U.A description logic with transitive and inverse roles and role hierarchies[J].Journal of logic and computation,1999,9(3):385-410 [12] Grau B C,Horrocks I,Kazakov Y,et al.Modular reuse of ontologies:Theory and practice[J].Journal of Artificial Intelligence Research,2008,31(1):273-318 [13] Armas Romero A,Cuenca Grau B,Horrocks I.Modular combination of reasoners for ontology classification[C]∥ 11th International Semantic Web conference.2012:1-16 |
| No related articles found! |
|
||
Home