Skip to main content
SpringerLink
Log in

Semantics ⊓ scalability ⊨ ⊥?

  • Perspective
  • Published:
Journal of Zhejiang University SCIENCE C Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M., 2009. The DL-Lite family and relatives. J. Artif. Intell. Res., 36:1–69.

    MathSciNet  MATH  Google Scholar 

  • 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.

    Chapter  Google Scholar 

  • 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. [doi:10.1007/s10817-007-9078-x]

    Article  MATH  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

  • 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.

  • Golbreich, C., Zhang, S., Bodenreider, O., 2006. The foundational model of anatomy in OWL: experience and perspectives. J. Web Semant., 4(3):181–195. [doi:10.1016/j.websem.2006.05.007]

    Article  Google Scholar 

  • Goodwin, J., 2005. Experiences of Using OWL at the Ordnance Survey. Proc. 1st OWL Experiences and Directions Workshop.

  • Haarslev, V., Möller, R., 2001. RACER system description. LNCS, 2083:701–705. [doi:10.1007/3-540-45744-5_59]

    Google Scholar 

  • 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.

  • Horrocks, I., Tessaris, S., 2002. Querying the Semantic Web: a formal approach. LNCS, 2342:177–191. [doi:10.1007/3-540-48005-6_15]

    Google Scholar 

  • 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. [doi:10.1016/j.websem.2003.07.001]

    Article  Google Scholar 

  • Kazakov, Y., Krötzsch, M., Simančík, F., 2011. Concurrent Classification of EL Ontologies. Proc. 10th Int. Semantic Web Conf., p. 305–320.

  • 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.

  • 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.

  • Motik, B., Shearer, R., Horrocks, I., 2009. Hypertableau reasoning for description logics. J. Artif. Intell. Res., 36:165–228. [doi:10.1613/jair.2811]

    MathSciNet  MATH  Google Scholar 

  • 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.

  • 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.

  • Pérez-Urbina, H., Horrocks, I., Motik, B., 2009. Efficient query answering for OWL 2. LNCS, 5823:489–504. [doi:10.1007/978-3-642-04930-9_31]

    Google Scholar 

  • 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.

  • 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.

  • 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. [doi:10.1016/j.websem.2007.03.004]

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Tsarkov, D., Horrocks, I., 2006. FaCT++ description logic reasoner: system description. LNCS, 4130:292–297. [doi:10.1007/11814771_26]

    MathSciNet  Google Scholar 

  • 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. [doi:10.1016/j.websem.2011.05.004]

    Article  Google Scholar 

  • 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].

  • 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].

Recommended reading

  • Horrocks, I., 2008. Ontologies and the Semantic Web. Commun. ACM, 51(12):58–67. [doi:10.1145/1409360.1409377]

    Article  Google Scholar 

  • Krötzsch, M., Simancik, F., Horrocks, I., 2012. A Description Logic Primer. CoRR, abs/1201.4089.

  • Baader, F., Horrocks, I., Sattler, U., 2008. Description Logics. In: van Harmelen, F., Lifschitz, V., Porter, B. (Eds.), Handbook of Knowledge Representation, Chapter 3. Elsevier, p.135–180.

  • Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U., 2008. OWL 2: the next step for OWL. J. Web Semant., 6(4):309–322. [doi:10.1016/j.websem.2008.05.001]

    Article  Google Scholar 

  • 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.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Oxford University, Oxford, UK

    Ian Horrocks

Authors
  1. Ian Horrocks
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ian Horrocks.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Horrocks, I. Semantics ⊓ scalability ⊨ ⊥?. J. Zhejiang Univ. - Sci. C 13, 241–244 (2012). https://doi.org/10.1631/jzus.C1101001

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1631/jzus.C1101001

Keywords

Search

Navigation