- About EITEE
- Articles Online
- For Authors
- For Reviewers
- Features
- Subscription & Service
- Personal Center
- Logout
FOLLOWUS
- About EITEE
- Introduction
- Editorial Board
- Corresponding Experts
- Events
- Honors
- Contact Us
- Articles Online
- Current Issue
- Archive
- Special Issues
- Virtual Issues
- Highlights
- In Press
- For Authors
- Submit
- Call for papers
- Guide for Authors
- Ethics & Disclosures
- Fee & Funding
- Downloads
- For Reviewers
- Guide for Reviewers
- Ethics & Disclosures
- Thanks card
- Features
- FITEE Forum
- Engineering Front
- Paper Videos
- Editors’ Corner
- Other Resources
- Subscription & Service
- Subscription
- Services
Semantics ⊓ scalability ⊧ ⊥?
- Semantics ⊓ scalability ⊧ ⊥?
- Frontiers of Information Technology & Electronic Engineering Vol. 13, Issue 4, Pages: 241-244(2012)
- 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
CLC：-
Published：2012-04
- Accepted：
Scan QR Code
Ian HORROCKS. Semantics ⊓ scalability ⊧ ⊥?[J]. Frontiers of Information Technology & Electronic Engineering, 2012, 13(4): 241-244.
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-XMLDownload
- BibTeXDownload
- EndnoteDownload
- RefMan Download
- NoteExpressDownload
- NoteFirstDownload
Publicity Resources
Related Articles
Related Author
Related Institution
Chat- Address：Zhejiang University Press, 148 Tianmushan Road, Hangzhou, China Postal code：310028
- Tel：+86-571-88273162 Email：fitee@zju.edu.cn
- Copyright © 2000 - 2025, Zhejiang University Press 京ICP备09064830号-19
京公网安备11010802024621 - It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
- Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.
