Ontologies as Theories

Marco A. Casanova, Angela Pinheiro, Jose Antonio F. Macedo, Eveline Sacramento, Vania M. P. Vidal


This position paper argues that certain familiar ontology design problems are profitably addressed by treating ontologies as theories and by defining a set of operations that create new ontologies, including their constraints, out of other ontologies. The paper first illustrates how to use the operations in the context of ontology reuse. It goes further and shows how to take advantage of the operations to compare different ontologies, or different versions of an ontology, and to design mediated schemas in a bottom up fashion. The discussion in this position paper is backed up by a tool that implements the operations and that offers other facilities to manipulate ontologies.


  1. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M., 2009. The DL-Lite family and relations. J. of Artificial Intelligence Research 36(1), 1-69.
  2. Baader, F., Nutt, W. 2003. Basic Description Logics. In: F. Baader, D. Calvanese, D.L. McGuiness, D. Nardi, P. F. Patel-Schneider (eds), The Description Logic Handbook: Theory, Implementation and Applications, Cambridge U. Press, Cambridge, UK, 43-95.
  3. Berners-Lee, T., 2006. Linked Data - Design Issues. W3C.
  4. Bizer, C., Cyganiak, R., Heath, T., 2007. How to publish Linked Data on the Web. http://www4.wiwiss.fuberlin.de/bizer/pub/LinkedDataTutorial/
  5. Brickley, D., Miller, L., 2010. FOAF Vocabulary Specification 0.98. Namespace Document 9. Marco Polo Edition.
  6. Casanova, M. A., Lauschner, T., Leme, L. A. P. P., Breitman, K. K., Furtado, A. L., Vidal, V. M. P., 2010. Revising the Constraints of Lightweight Mediated Schemas. Data & Knowledge Engineering 69(12), 1274-1301.
  7. Casanova, M. A., Breitman, K. K., Furtado, A. L., Vidal, V. M. P., Macêdo, J. A. F., 2011. The Role of Constraints in Linked Data. Proceedings of the Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Part II. Lecture Notes in Computer Science v.7045. Springer, 781-799.
  8. Casanova, M. A., Breitman, K. K., Furtado, A. L., Vidal, V. M. P., Macêdo, J. A. F., 2012a. An Efficient Proof Procedure for a Family of Lightweight Database Schemas. In: Michael G. Hinchey (ed.), Conquering Complexity, Springer, 431-461.
  9. Casanova, M. A., Macêdo, J. A. F., Sacramento, E., Pinheiro, A. M. A., Vidal, V. M. P., Breitman, K. K., Furtado, A. L., 2012b. Operations over Lightweight Ontologies. Proc. 11th International Conference on Ontologies, DataBases, and Applications of Semantics - ODBASE 2012 (Sept. 11-12, 2012), Rome. LNCS 7566, 646-663.
  10. Halpin, H., Hayes, P. J., 2010.When owl:sameAs isn't the same: An analysis of identity links on the semantic web. In Proc. Int'l. Workshop on Linked Data on the Web.
  11. Jaffri, A., Glaser, H., Millard, I., 2008. URI disambiguation in the context of linked data. In Proc. 1st Int'l. Workshop on Linked Data on the Web.
  12. Jain, P., Hitzler, P., Yeh, P. Z., Verma, K., Sheth, A. P., 2010. Linked Data is Merely More Data. In: Proc. AAAI Spring Symp. 'Linked Data Meets Artificial Intelligence', 82-86.
  13. McCusker, J., McGuinness, D.L., 2010. owl:sameAs considered harmful to provenance. In Proc. ISCB Conference on Semantics in Healthcare and Life Sciences.
  14. Noy N. F., Kunnatur, S., Klein, M. and Musen, M. A., 2004. Tracking changes during ontology evolution. In Sheila A. Mcilraith, Dimitris Plexousakis and Frank van Harmelen. In: Proc. 3rd International Semantic Web Conference, 259-273, Hiroshima, Japan.
  15. Pinheiro, A. M. A., 2013. “OntologyManagement Tool - Uma Ferramenta para Gerenciamento de Ontologias como Teorias Lógicas”. M.Sc. Dissertation, Dept. Computing, UFC.
  16. Prateek, J., Hitzler, P., Sheth, A. P., Verma, K., Yeh, P. Z., 2010. Ontology alignment for linked open data. In: Proc. 9th Int'l. Semantic Web Conf. Springer-Verlag, 402-417.
  17. Raimond, Y., Giasson, F., 2010. Music Ontology Specification. Specification Document.
  18. Ramos, J. A. Mezcla automática de ontologías y catálogos electrónicos, 2001, Final YearProject. Facultad de Informática de la Universidad Politécnica de Madrid. Spain.
  19. Tury, M. and Bieliková, M., 2006. An Approach to Detection Ontology Changes. In: Proc. 6th Internacional Conference on Web Engineering, 14, New York, NY, USA. ACM Press.
  20. Volz, R., Oberle, D. and Studer, R., 2003. Implementing Views for Light-Weight Web Ontologies. In: Proc. of Int'l Database Engineering and Application Symposium - IDEAS, 160-169, Hong Kong, China. IEEE Computer Society.
  21. Wang, Z., Zhang, X., Hou, L., Li, J. 2011. RiMOM2: A Flexible Ontology Matching Framework. In: Proc. ACM WebSci'11, Koblenz, Germany, 1-2.

Paper Citation

in Harvard Style

A. Casanova M., Pinheiro A., F. Macedo J., Sacramento E. and M. P. Vidal V. (2013). Ontologies as Theories . In Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8565-60-0, pages 317-322. DOI: 10.5220/0004562603170322

in Bibtex Style

author={Marco A. Casanova and Angela Pinheiro and Jose Antonio F. Macedo and Eveline Sacramento and Vania M. P. Vidal},
title={Ontologies as Theories},
booktitle={Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},

in EndNote Style

JO - Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Ontologies as Theories
SN - 978-989-8565-60-0
AU - A. Casanova M.
AU - Pinheiro A.
AU - F. Macedo J.
AU - Sacramento E.
AU - M. P. Vidal V.
PY - 2013
SP - 317
EP - 322
DO - 10.5220/0004562603170322