FOLLOWUS
- 关于EITEE
- 期刊简介
- 编委会
- 通讯专家
- 期刊动态
- 期刊荣誉
- 联系我们
- 文章在线
- 当期目录
- 过刊浏览
- 专题浏览
- 虚拟专辑
- 亮点文章
- 录用文章
- 作者中心
- 我要投稿
- 征稿通知
- 投稿指南
- 伦理规范
- 费用资助
- 下载中心
- 审者中心
- 审稿指南
- 伦理规范
- 致谢卡
- 特色资源
- 前沿论坛
- 工程前沿
- 文章视频
- 编辑之窗
- 其他资源
- 订阅与服务
- 订阅
- 服务
Semantics ⊓ scalability ⊧ ⊥?
Semantics ⊓ scalability ⊧ ⊥?
- 信息与电子工程前沿（英文） 2012年13卷第4期 页码：241-244
- Affiliations：
Department of Computer Science, Oxford University, Oxford, UK
- Author bio：
[ "Ian HORROCKS, E-mail: Ian.Horrocks@comlab.ox.ac.uk" ]
- Funds：
DOI：10.1631/jzus.C1101001
中图分类号：-
纸质出版：2012-04
- Accepted：
Scan QR Code
Semantics ⊓ scalability ⊧ ⊥?[J]. 信息与电子工程前沿（英文）, 2012,13(4):241-244.
Ian HORROCKS. Semantics ⊓ scalability ⊧ ⊥?[J]. Frontiers of Information Technology & Electronic Engineering, 2012, 13(4): 241-244.
Semantics ⊓ scalability ⊧ ⊥?[J]. 信息与电子工程前沿（英文）, 2012,13(4):241-244. DOI： 10.1631/jzus.C1101001.
Ian HORROCKS. Semantics ⊓ scalability ⊧ ⊥?[J]. Frontiers of Information Technology & Electronic Engineering, 2012, 13(4): 241-244. DOI： 10.1631/jzus.C1101001.
摘要
Abstract
关键词
Keywords
references
A. Artale , , , D. Calvanese , , , R. Kontchakov , , , M. Zakharyaschev . . The DL-Lite family and relatives . . J. Artif. Intell. Res. , , 2009 . . 36 1 - - 69 . . . .
F. Baader , , , I. Horrocks , , , U. Sattler . . Description Logics . . In : Harmelen F., Lifschitz V., Porter, B. (Eds.), Handbook of Knowledge Representation. Elsevier, London , , 2008 . . p.135 - - 180 . . . .
D. Calvanese , , , G. de Giacomo , , , D. Lembo , , , M. Lenzerini , , , R. Rosati . . Tractable reasoning and efficient query answering in description logics: the DL-Lite family . . J. Autom. Reason. , , 2007a . . 39 ( ( 3 ): ): 385 - - 429 . . DOI: 10.1007/s10817-007-9078-x http://doi.org/10.1007/s10817-007-9078-x . .
D. Calvanese , , , G. de Giacomo , , , D. Lembo , , , M. Lenzerini , , , A. Poggi , , , R. Rosati . . MASTRO-Ⅰ: Efficient Integration of Relational Data Through DL Ontologies . . Proc. 20th Int. Workshop on Description Logics , , 2007b . . 250 227 - - 234 . . . .
Grau B. Cuenca , , , B. Motik , , , G. Stoilos , , , I. Horrocks . . Completeness guarantees for incomplete ontology reasoners: theory and practice . . J. Artif. Intell. Res., in press. , , 2011 . . .
S. Derriere , , , A. Richard , , , A. Preite-Martinez . . An Ontology of Astronomical Object Types for the Virtual Observatory . . Proc. Special Session 3 of the 26th Meeting of the IAU: Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities. , , 2006 . . .
C. Golbreich , , , S. Zhang , , , O. Bodenreider . . The foundational model of anatomy in OWL: experience and perspectives . . J. Web Semant. , , 2006 . . 4 ( ( 3 ): ): 181 - - 195 . . DOI: 10.1016/j.websem.2006.05.007 http://doi.org/10.1016/j.websem.2006.05.007 . .
J. Goodwin . . Experiences of Using OWL at the Ordnance Survey . . Proc. 1st OWL Experiences and Directions Workshop. , , 2005 . . .
V. Haarslev , , , R. Möller . . RACER system description . . LNCS , , 2001 . . 2083 701 - - 705 . . DOI: 10.1007/3-540-45744-5_59 http://doi.org/10.1007/3-540-45744-5_59 . .
V. Haarslev , , , R. Möller , , , M. Wessel . . Querying the Semantic Web with Racer + nRQL . . Proc. KI-2004 Int. Workshop on Applications of Description Logics. , , 2004 . . .
I. Horrocks , , , S. Tessaris . . Querying the Semantic Web: a formal approach . . LNCS , , 2002 . . 2342 177 - - 191 . . DOI: 10.1007/3-540-48005-6_15 http://doi.org/10.1007/3-540-48005-6_15 . .
I. Horrocks , , , P.F. Patel-Schneider , , , F. Harmelen . . From $\mathcal{SHIQ}$ and RDF to OWL: the making of a Web Ontology Language . . J. Web Semant. , , 2003 . . 1 ( ( 1 ): ): 7 - - 26 . . DOI: 10.1016/j.websem.2003.07.001 http://doi.org/10.1016/j.websem.2003.07.001 . .
Y. Kazakov , , , M. Krötzsch , , , F. Simančík . . Concurrent Classification of EL Ontologies . . Proc. 10th Int. Semantic Web Conf. , , 2011 . . p.305 - - 320 . . . .
L. Lacy , , , G. Aviles , , , K. Fraser , , , W. Gerber , , , A. Mulvehill , , , R. Gaskill . . Experiences Using OWL in Military Applications . . Proc. 1st Int. Workshop on OWL Experiences and Directions , , 2005 . . 188 . .
C. Lutz , , , D. Toman , , , F. Wolter . . Conjunctive Query Answering in the Description Logic EL Using a Relational Database System . . Proc. 21st Int. Joint Conf. on Artificial Intelligence , , 2009 . . p.2070 - - 2075 . . . .
B. Motik , , , R. Shearer , , , I. Horrocks . . Hypertableau reasoning for description logics . . J. Artif. Intell. Res. , , 2009 . . 36 165 - - 228 . . DOI: 10.1613/jair.2811 http://doi.org/10.1613/jair.2811 . .
B. Motik , , , I. Horrocks , , , S.M. Kim . . Delta-Reasoner: a Semantic Web Reasoner for an Intelligent Mobile Platform . . Proc. 21st Int. World Wide Web Conf. , , 2012 . . .
Z. Pan , , , J. Heflin . . DLDB: Extending Relational Databases to Support Semantic Web Queries . . Proc. ISWC Workshop on Practical and Scaleable Semantic Web Systems , , 2003 . . p.109 - - 113 . . . .
H. Pérez-Urbina , , , I. Horrocks , , , B. Motik . . Efficient query answering for OWL 2 . . LNCS , , 2009 . . 5823 489 - - 504 . . DOI: 10.1007/978-3-642-04930-9_31 http://doi.org/10.1007/978-3-642-04930-9_31 . .
M. Rodriguez-Muro , , , D. Calvanese . . Dependencies: Making Ontology Based Data Access Work . . Proc. 5th Alberto Mendelzon Int. Workshop on Foundations of Data Managemen , , 2011 . . 749 . .
A. Sidhu , , , T. Dillon , , , E. Chang , , , B.S. Sidhu . . Protein Ontology Development Using OWL . . Proc. 1st Int. Workshop on OWL Experiences and Directions , , 2005 . . 188 . .
E. Sirin , , , B. Parsia , , , Grau B. Cuenca , , , A. Kalyanpur , , , Y. Katz . . Pellet: a practical OWL-DL reasoner . . J. Web Semant. , , 2007 . . 5 ( ( 2 ): ): 51 - - 53 . . DOI: 10.1016/j.websem.2007.03.004 http://doi.org/10.1016/j.websem.2007.03.004 . .
D. Soergel , , , B. Lauser , , , A. Liang , , , F. Fisseha , , , J. Keizer , , , S. Katz . . Reengineering thesauri for new applications: the AGROVOC example . . J. Dig. Inform. , , 2004 . . 4 ( ( 4 ): ): 1 - - 23 . . . .
D. Tsarkov , , , I. Horrocks . . FaCT++ description logic reasoner: system description . . LNCS , , 2006 . . 4130 292 - - 297 . . DOI: 10.1007/11814771_26 http://doi.org/10.1007/11814771_26 . .
J. Urbani , , , S. Kotoulas , , , J. Maassen , , , F. Harmelen , , , H. Bal . . WebPIE: a Web-scale parallel inference engine using MapReduce . . J. Web Semant. , , 2012 . . 10 ( ( 1 ): ): 59 DOI: 10.1016/j.websem.2011.05.004 http://doi.org/10.1016/j.websem.2011.05.004 . .
W3C OWL Working Group . . OWL 2 Web Ontology Language Overview . . Available from , , http://www.w3.org/TR/owl2-overview/ http://www.w3.org/TR/owl2-overview/ , , 2009a . . [Accessed on Feb. 19, 2012] . .
W3C OWL Working Group . . OWL 2 Web Ontology Language Profiles . . Available from , , http://www.w3.org/TR/owl2-profiles/ http://www.w3.org/TR/owl2-profiles/ , , 2009b . . [Accessed on Feb. 19, 2012] . .
I. Horrocks . . Ontologies and the Semantic Web . . Commun. ACM , , 2008 . . 51 ( ( 12 ): ): 58 - - 67 . . DOI: 10.1145/1409360.1409377 http://doi.org/10.1145/1409360.1409377 . .
M. Krötzsch , , , F. Simancik , , , I. Horrocks . . A Description Logic Primer . . CoRR, abs/1201 , , 2012 . . 4089 . .
F. Baader , , , I. Horrocks , , , U. Sattler . . Description Logics . . In : van Harmelen F., Lifschitz V., Porter, B. (Eds.), Handbook of Knowledge Representation, Chapter 3. Elsevier , , 2008 . . p.135 - - 180 . . . .
Grau B. Cuenca , , , I. Horrocks , , , B. Motik , , , B. Parsia , , , P. PatelSchneider , , , U. Sattler . . OWL 2: the next step for OWL . . J. Web Semant. , , 2008 . . 6 ( ( 4 ): ): 309 - - 322 . . DOI: 10.1016/j.websem.2008.05.001 http://doi.org/10.1016/j.websem.2008.05.001 . .
B. Cuenca Grau , , , B. Motik , , , G. Stoilos , , , I. Horrocks . . Completeness guarantees for incomplete ontology reasoners: theory and practice . . J. Artif. Intell. Res. , , 2011 . . in press . .
- Meta-XML下载
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
关联资源
相关文章
相关作者
相关机构
Chat- 地址：浙江杭州 天目山路148号，浙江大学出版社 邮编：310028
- 联系电话：+86-571-88273162 Email：fitee@zju.edu.cn
- 浙江大学出版社 © 2000—2025 京ICP备09064830号-19
京公网安备11010802024621 - 本系统建议在Chrome、 IE9+ 以上版本浏览器阅读本站内容，360浏览器请切换至极速模式
- Cookies帮助我们提供服务并提供个性化体验。使用本网站，即表示您同意我们使用Cookies
