Computer Science ›› 2015, Vol. 42 ›› Issue (1): 249-252.doi: 10.11896/j.issn.1002-137X.2015.01.055

Previous Articles     Next Articles

Research on Locality Rules of Description Logic SHJF for Module Reusing

XU De-zhi, LIAO Hui-huan and XU Lian-jun   

  • Online:2018-11-14 Published:2018-11-14

Abstract: The extraction of ontology module is an essential step in ontology reuse.Compared to the structural approaches based on ontology hierarchy used in traditional engineering and applications,the logic approaches can make full use of the semantic information that ontologies provide.The extracted modules are more integrated and consistent.Based on conservative extension and locality rules of SHOJQ-based ontologies proposed by Grua B C,this paper provided and proved a SEMLOC rule and a SYNLOC rule for description logic SHJF-based ontologies,which can provide theoretical basis for extracting reusable ontology module.

Key words: Ontologyresuing,Module extraction,Description logic SHJF,Semantic locality,Syntactic locality

[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] Krtzsch 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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!