CLC number:
On-line Access: 2024-08-27
Received: 2023-10-17
Revision Accepted: 2024-05-08
Crosschecked: 0000-00-00
Cited: 3
Clicked: 4439
Ian Horrocks. Semantics ⊓ scalability ⊧ ⊥?[J]. Journal of Zhejiang University Science C, 2012, 13(4): 241-244.
@article{title="Semantics ⊓ scalability ⊧ ⊥?",
author="Ian Horrocks",
journal="Journal of Zhejiang University Science C",
volume="13",
number="4",
pages="241-244",
year="2012",
publisher="Zhejiang University Press & Springer",
doi="10.1631/jzus.C1101001"
}
%0 Journal Article
%T Semantics ⊓ scalability ⊧ ⊥?
%A Ian Horrocks
%J Journal of Zhejiang University SCIENCE C
%V 13
%N 4
%P 241-244
%@ 1869-1951
%D 2012
%I Zhejiang University Press & Springer
%DOI 10.1631/jzus.C1101001
TY - JOUR
T1 - Semantics ⊓ scalability ⊧ ⊥?
A1 - Ian Horrocks
J0 - Journal of Zhejiang University Science C
VL - 13
IS - 4
SP - 241
EP - 244
%@ 1869-1951
Y1 - 2012
PB - Zhejiang University Press & Springer
ER -
DOI - 10.1631/jzus.C1101001
Abstract: So-called ‘semantic technologies’ are rapidly becoming mainstream technologies, with RDF and OWL now being deployed in diverse application domains, and with major technology vendors starting to augment their existing systems accordingly. This is, however, only the first step for Semantic Web research; we need to demonstrate that the semantic technologies we are developing can (be made to) exhibit robust scalability if deployments in large scale applications are to be successful. In this paper I will briefly review the evolution of semantic technologies to date, examine the scalability challenges arising from deployment in large scale applications, and discuss ongoing research aimed at addressing them.
[1]Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M., 2009. The DL-Lite family and relatives. J. Artif. Intell. Res., 36:1-69.
[2]Baader, F., Horrocks, I., Sattler, U., 2008. Description Logics. In: Harmelen, F., Lifschitz, V., Porter, B. (Eds.), Handbook of Knowledge Representation. Elsevier, London, p.135-180.
[3]Calvanese, D., de Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R., 2007a. Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason., 39(3):385-429.
[4]Calvanese, D., de Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R., 2007b. MASTRO-I: Efficient Integration of Relational Data Through DL Ontologies. Proc. 20th Int. Workshop on Description Logics, 250:227-234.
[5]Cuenca Grau, B., Motik, B., Stoilos, G., Horrocks, I., 2011. Completeness guarantees for incomplete ontology reasoners: theory and practice. J. Artif. Intell. Res., in press.
[6]Derriere, S., Richard, A., Preite-Martinez, A., 2006. 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.
[7]Golbreich, C., Zhang, S., Bodenreider, O., 2006. The foundational model of anatomy in OWL: experience and perspectives. J. Web Semant., 4(3):181-195.
[8]Goodwin, J., 2005. Experiences of Using OWL at the Ordnance Survey. Proc. 1st OWL Experiences and Directions Workshop.
[9]Haarslev, V., Möller, R., 2001. RACER system description. LNCS, 2083:701-705.
[10]Haarslev, V., Möller, R., Wessel, M., 2004. Querying the Semantic Web with Racer + nRQL. Proc. KI-2004 Int. Workshop on Applications of Description Logics.
[11]Horrocks, I., Tessaris, S., 2002. Querying the Semantic Web: a formal approach. LNCS, 2342:177-191.
[12]Horrocks, I., Patel-Schneider, P.F., Harmelen, F., 2003. From SHIQ and RDF to OWL: the making of a Web Ontology Language. J. Web Semant., 1(1):7-26.
[13]Kazakov, Y., Krötzsch, M., Simančík, F., 2011. Concurrent Classification of EL Ontologies. Proc. 10th Int. Semantic Web Conf., p.305-320.
[14]Lacy, L., Aviles, G., Fraser, K., Gerber, W., Mulvehill, A., Gaskill, R., 2005. Experiences Using OWL in Military Applications. Proc. 1st Int. Workshop on OWL Experiences and Directions, 188.
[15]Lutz, C., Toman, D., Wolter, F., 2009. Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. Proc. 21st Int. Joint Conf. on Artificial Intelligence, p.2070-2075.
[16]Motik, B., Shearer, R., Horrocks, I., 2009. Hypertableau reasoning for description logics. J. Artif. Intell. Res., 36:165-228.
[17]Motik, B., Horrocks, I., Kim, S.M., 2012. Delta-Reasoner: a Semantic Web Reasoner for an Intelligent Mobile Platform. Proc. 21st Int. World Wide Web Conf.
[18]Pan, Z., Heflin, J., 2003. DLDB: Extending Relational Databases to Support Semantic Web Queries. Proc. ISWC Workshop on Practical and Scaleable Semantic Web Systems, p.109-113.
[19]Pérez-Urbina, H., Horrocks, I., Motik, B., 2009. Efficient query answering for OWL 2. LNCS, 5823:489-504.
[20]Rodriguez-Muro, M., Calvanese, D., 2011. Dependencies: Making Ontology Based Data Access Work. Proc. 5th Alberto Mendelzon Int. Workshop on Foundations of Data Management, 749.
[21]Sidhu, A., Dillon, T., Chang, E., Sidhu, B.S., 2005. Protein Ontology Development Using OWL. Proc. 1st Int. Workshop on OWL Experiences and Directions, 188.
[22]Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y., 2007. Pellet: a practical OWL-DL reasoner. J. Web Semant., 5(2):51-53.
[23]Soergel, D., Lauser, B., Liang, A., Fisseha, F., Keizer, J., Katz, S., 2004. Reengineering thesauri for new applications: the AGROVOC example. J. Dig. Inform., 4(4):1-23.
[24]Tsarkov, D., Horrocks, I., 2006. FaCT++ description logic reasoner: system description. LNCS, 4130:292-297.
[25]Urbani, J., Kotoulas, S., Maassen, J., Harmelen, F., Bal, H., 2012. WebPIE: a Web-scale parallel inference engine using MapReduce. J. Web Semant., 10(1):59.
[26]W3C OWL Working Group, 2009a. OWL 2 Web Ontology Language Overview. Available from http://www.w3.org/TR/owl2-overview/ [Accessed on Feb. 19, 2012].
[27]W3C OWL Working Group, 2009b. OWL 2 Web Ontology Language Profiles. Available from http://www.w3.org/TR/owl2-profiles/ [Accessed on Feb. 19, 2012].
Open peer comments: Debate/Discuss/Question/Opinion
<1>