Skip Navigation


Journal of Logic and Computation Advance Access originally published online on August 22, 2008
Journal of Logic and Computation 2009 19(5):791-806; doi:10.1093/logcom/exn044
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Geldart, J.
Right arrow Articles by Song, W.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2008. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

This article appears in the following Journal of Logic and Computation issue: Special Issue: Recent Advances in Ontology Dynamics [View the issue table of contents]

Original Articles

Category-based Equational Reasoning: An Approach to Ontology Integration

Joe Geldart and William Song

University of Durham, United Kingdom, DH1 3LE E-mail: j.r.c.geldart{at}durham.ac.uk,w.w.song{at}durham.ac.uk

Received 31 October 2007.

Incorporating dynamic, general computational knowledge into Semantic Web ontologies is becoming increasingly important. The Semantic Web is now being used to model the behaviour of highly dynamic domains such as web-services, but current approaches to ontologies [such as Web Ontology Language (OWL)] are static and crisp. This article develops a new semantics for Resource Description Framework (RDF) based upon ideas from category theory. In so doing, we not only decouple RDF's semantics from crisp set theory, opening the door to easy adoption of models of uncertainty, but also allow the use of equational reasoning in a principled fashion within RDF. We demonstrate the abilities of equational reasoning, whilst explaining its semantic principles in terms of our RDF category, using an example from the domain of genealogy. We further develop an algebra of (equational) ontologies which allows us to express fine relations between ontologies and to build more complex ontologies out of simpler ones.

Keywords: Equational reasoning; category theory; ontology integration; semantic web



References

  1. Barr M, Wells C. Category Theory for Computing Science (1990) 1st. New Jersey: Prentice Hall.
  2. Bauderon M. Auniform approach to graph rewriting: the pull back approach. (1995) Springer, Berlin, Germany. 101–115. Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science. Vol. 1017 of Lecture Notes in Computer Science.
  3. Berners-Lee T, Hendler J, Lassila O. The semantic web. Scientific American (2001) 284:28–37.[Web of Science][Medline]
  4. Berners-Lee T, Connolly D, Kagal L, Scharf Y, Hendler J. N3Logic: A logical framework for the World Wide Web. Theory and Practice of Logic Programming (2008) 8:249–269.[Web of Science]
  5. Cousineau G, Curien P-L, Mauny M. The categorical abstract machine. Science of Computer Programming (1987) 6:173–202.
  6. Diskin Z, Cadish B. Algebraic graph-based approach to management of multidatabase systems. In. In: Next Generation Information Technologies and Systems—Motro A, Tenneholtz M, eds. (1995) Israel: Naharia. 69–79.
  7. Firat A, Madnick S, Grosof B. Financial information integration in the presence of equational ontological conflicts. In. In: Proceedings of the 12th Workshop on Information Technology and Systems (WITS-2002) (2002) Barcelona, Spain: Technical University of Barcelona.
  8. Franconi E, Rabito V. A relation-based description logic. In. In: Working Notes of the 1994 Description Logic Workshop (1994) Bonn, Germany. 55–60.
  9. Goguen JA. A categorical manifesto. Mathematical Structures in Computer Science (1991) 1:49–67.[CrossRef]
  10. Goguen J, Burstall R. Introducing institutions. In. Springer. 221–256. Proceeding of the Logic of Programs Carnegie-Mellon University, USA, June 1983. Vol. 164 of Lecture Notes in Computer Science.
  11. Goguen J. Mathematical models of cognitive space and time. In Reasoning and Cognition. Andler D, Ogawa Y, Okada M, Watanabe S, eds. (2005) Keio University, Japan. Proceedings of the Interdisciplinary Conference Series on Reasoning Studies.
  12. Grey JW. The Category of Sketches as a Model for Algebraic Semantics. In: In Contemporary Mathematics (1989) 92. American Mathematical Society. 109–135.
  13. Guha R. Semantic Negotiation: Co-identifying objects across data sources. In. (2004) Stanford University, Stanford, California. AAAI Spring Symposium on Semantic Web Services, 22nd-–24th March, 2004.
  14. Horrocks I, Patel-Schneider PF. A proposal for an OWL rules language. In. (2004) ACM Press, New York, USA. 723–731. Proceedings of the 13th International Conference on the World Wide Web.
  15. Kolovsky V, Parsia B, Sirin E. Extending the SHOIQ(D) tableaux with DL-safe rules: first results. In. Parsia B, Sattler U, Toman D, eds. (2006) UK: Windermere, Lake District. Available from http://sunsite.informatik.rwth-aachen.de/Publications/CEURWS/Vol-189/Proceedings of the International Workshop on Description Logics, Vol. 189 of CEUR Workshop Proceedings.
  16. Lucanu D, Li YF, Dong JS. RDF framework institutions. The Proceedings of the Romanian Academy (2004) 7.
  17. Lutz C, Haarslev V, Moller R. A concept language with role-forming predicate restrictions. In: Technical Report FBI-HH-M-276/97 (1997) Hamburg, Germany: Department of Computer Science, University of Hamburg.
  18. McLarty C. Elementary Categories, Elementary Toposes (1996) Oxford, UK: Oxford University Press.
  19. Quan D, Huynh DF, Sinha V, Karger D. Adenine: a metadata programming language. In. In: Proceedings of the Student OxygenWorkshop 2002 (2002) MIT, Cambridge, MA. Available from http://sow.csail.mit.edu/2002/proceedings.html.
  20. Quan D, Huynh D, Karger D. Haystack: a platform for authoring end user semantic web applications. In: Lecture Notes in Computer Science (2003) 2870. Berlin, Germany: Springer-Verlag. 738–753.[Web of Science]
  21. Shinavier J. Functional programs as linked data. In. Available from http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-248/Proceedings of the Third Workshop on Scripting for the Semantic Web at ESWC. Vol. 248 of CEUR Workshop Proceedings, 2007.
  22. Sirin E, Parsia B. Planning for semantic web services. In. (2004) Available from http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-119/ Proceedings of the Semantic Web Services Workshop at 3rd International Semantic Web Conference.
  23. van Eekelen MCJD, Smetsers S, Plasmeijer MJ. Graph rewriting semantics for functional programming languages. (1996) Springer, Berlin, Germany. 106–128. Proceedings of the Selected Papers from the 10th International Conference on Computer Science Logic. Vol. 1258 of Lecture Notes in Computer Science.
  24. Wadler P. Monads for functional programming. Jeuring J, Meijer E, eds. (1995) 925. Springer-Verlag. 24–52. Proceedings of the Advanced Functional Programmingof Lecture Notes in Computer Science.
  25. Wang P. Rigid flexibility: the logic of intelligence (Applied logic series), In. In: Applied Logic—Gabbay Dov M, ed. (2006) 34. Springer-Verlag New York, Inc.
  26. Wells C. Sketches: outline with references. (Last accessed on 4 April 2008). Available from http://www.case.edu/artsci/math/wells/pub/pdf/sketch.pdf.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Geldart, J.
Right arrow Articles by Song, W.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?