Skip to main content
SpringerLink
Log in

On the Capabilities and Limitations of OWL Regarding Typecasting and Ontology Design Pattern Views

  • Conference paper
  • First Online:
Book cover Ontology Engineering (OWLED 2015)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 9557))

Included in the following conference series:

Abstract

In ontology engineering, particularly when dealing with heterogeneous domains and their subfields, legacy data, various data models, existing standards, code lists, and so forth, there is a frequently recurring need to express certain types of axioms that allow diverse representational choices interoperate. Some of these axioms, which we call typecasting axioms, point to limitations of the Web Ontology Language (OWL), while others require best practice guides for the community. Here, we introduce these typecasting axioms and elaborate how such axioms can help the development of data integration using ontology and ontology patterns. We then conclude with a brief catalog of open research problems motivated by typecasting axioms, which may be of potential interest to both application developers and researchers working on logical foundations of OWL.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://ontologydesignpatterns.org/wiki/Submissions:AgentRole.

  2. 2.

    https://schema.org/Role.

  3. 3.

    In DL literature, properties are called roles, hence the term rolification; not to be confused with role as defined by the Agent Role pattern or schema.org.

References

  1. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI-2005, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, 30 July–5 August, 2005, pp. 364–369 (2005)

    Google Scholar 

  2. Beeri, C., Vardi, M.Y.: A proof procedure for data dependencies. J. ACM 31(4), 718–741 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  3. Calì, A., Gottlob, G., Kifer, M.: Taming the infinite chase: query answering under expressive relational constraints. J. Artif. Intell. Res. (JAIR) 48, 115–174 (2013)

    MathSciNet  MATH  Google Scholar 

  4. Carral, D., Feier, C., Grau, B.C., Hitzler, P., Horrocks, I.: EL-ifying ontologies. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol. 8562, pp. 464–479. Springer, Heidelberg (2014)

    Google Scholar 

  5. Carral, D., Wang, C., Hitzler, P.: Towards an efficient algorithm to reason over description logics extended with nominal schemas. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 65–79. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  6. Gangemi, A.: Ontology design patterns for semantic web content. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 262–276. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  7. Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.) OWL 2 Web Ontology Language: Primer. W3C Proposed Recommendation 22 September 2009 (2009). http://www.w3.org/TR/owl2-primer/

  8. Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. CRC Press, Chapman & Hall, Boca Raton (2010)

    Google Scholar 

  9. Hitzler, P., Parsia, B.: Ontologies and rules. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 111–132. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  10. Krisnadhi, A., et al.: The GeoLink modular oceanography ontology. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 301–309. Springer, Heidelberg (2015). doi:10.1007/978-3-319-25010-6_19

    Chapter  Google Scholar 

  11. Krisnadhi, A., Maier, F., Hitzler, P.: OWL and rules. In: Polleres, A., d’Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 382–415. Springer, Heidelberg (2011)

    Google Scholar 

  12. Krisnadhi, A.A., Hu, Y., Janowicz, K., Hitzler, P., Arko, R., Carbotte, S., Chandler, C., Cheatham, M., Fils, D., Finin, T., Ji, P., Jones, M., Karima, N., Lehnert, K., Mickle, A., Narock, T., O’Brien, M., Raymond, L., Shepherd, A., Schildhauer, M., Wiebe, P.: The GeoLink framework for pattern-based linked data integration. In: Proceedings of the ISWC 2015 Posters & Demonstrations Track a track within the 14th International Semantic Web Conference, ISWC 2015, Bethlehem, PA, USA, October 13, 2015 (2015)

    Google Scholar 

  13. Krötzsch, M., Maier, F., Krisnadhi, A., Hitzler, P.: A better uncle for OWL: nominal schemas for integrating rules and ontologies. In: Srinivasan, S., Ramamritham, K., Kumar, A., Ravindra, M.P., Bertino, E., Kumar, R. (eds.) Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 – 1 April, 2011, pp. 645–654. ACM (2011)

    Google Scholar 

  14. Mosurovic, N., Krdzavac, H., Graves, M., Zakharyaschev, M.: A decidable extension of SROIQ with complex role chains and unions. J. Artif. Intell. Res. 47, 809–851 (2013)

    MathSciNet  MATH  Google Scholar 

  15. Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. J. Web Semant. 3(1), 41–60 (2005)

    Article  Google Scholar 

  16. Noy, N. (ed.) Representing classes as property values on the semantic web. W3C Working Group Note, 5 April 2005. http://www.w3.org/TR/swbp-classes-as-values/

  17. Rodríguez-Doncel, V., Krisnadhi, A.A., Hitzler, P., Cheatham, M., Karima, N., Amini, R.: Pattern-based linked data publication: the linked chess dataset case. In: Hartig, O., Sequeda, J., Hogan, A. (eds.) Proceedings of the 6th International Workshop on Consuming Linked Data co-located with 14th International Semantic Web Conference (ISWC 2105), Bethlehem, Pennsylvania, US, October 12th, 2015, CEUR Workshop Proceedings, vol. 1426. CEUR-WS.org (2015)

    Google Scholar 

  18. Rudolph, S., Krötzsch, M., Hitzler, P.: All elephants are bigger than all mice. In: Baader, F., Lutz, C., Motik, B. (eds.) Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13–16, 2008, CEUR Workshop Proceedings, vol. 353. CEUR-WS.org (2008)

    Google Scholar 

  19. Steigmiller, A., Glimm, B., Liebig, T.: Reasoning with nominal schemas through absorption. J. Autom. Reasoning 53(4), 351–405 (2014)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work was supported by the National Science Foundation under award 1017225 III: Small: TROn – Tractable Reasoning with Ontologies and award 1440202 EarthCube Building Blocks: Collaborative Proposal: GeoLink – Leveraging Semantics and Linked Data for Data Sharing and Discovery in the Geosciences.

Author information

Authors and Affiliations

  1. Wright State University, Dayton, OH, USA

    Adila A. Krisnadhi & Pascal Hitzler

  2. University of California, Santa Barbara, CA, USA

    Krzysztof Janowicz

  3. Universitas Indonesia, Depok, Indonesia

    Adila A. Krisnadhi

Authors
  1. Adila A. Krisnadhi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pascal Hitzler
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Krzysztof Janowicz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Adila A. Krisnadhi .

Editor information

Editors and Affiliations

  1. University of Liverpool, Liverpool, United Kingdom

    Valentina Tamma

  2. Fondazione Bruno Kessler, Povo, Trento, Italy

    Mauro Dragoni

  3. BMIR, Stanford Center for Biomedical Inf, Stanford, California, USA

    Rafael Gonçalves

  4. Poznan University of Technology, Poznan, Poland

    Agnieszka Ławrynowicz

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Krisnadhi, A.A., Hitzler, P., Janowicz, K. (2016). On the Capabilities and Limitations of OWL Regarding Typecasting and Ontology Design Pattern Views. In: Tamma, V., Dragoni, M., Gonçalves, R., Ławrynowicz, A. (eds) Ontology Engineering. OWLED 2015. Lecture Notes in Computer Science(), vol 9557. Springer, Cham. https://doi.org/10.1007/978-3-319-33245-1_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-33245-1_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-33244-4

  • Online ISBN: 978-3-319-33245-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation