Dynamic Aspects of OPJK Legal Ontology

  • Zhisheng Huang
  • Stefan Schlobach
  • Frank van Harmelen
  • Núria Casellas
  • Pompeu Casanovas
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4884)


The OPJK (Ontology of Professional Judicial Knowledge) is a legal ontology developed to map questions of junior judges to a set of stored frequently asked questions. In this paper, we investigate dynamic and temporal aspects of one of the SEKT legal ontologies, by subjecting the ontology OPJK to MORE, a multi-version ontologies reasoning System. MORE is based on a temporal logic approach. We show how the temporal logic approach can be used to obtain a better understanding of dynamic and temporal evolution of legal ontologies.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bechhofer, S., Möller, R., Crowther, P.: The DIG description logic interface. In: International Workshop on Description Logics (DL2003), Rome (September 2003)Google Scholar
  2. 2.
    Benjamins, V.R., Contreras, J., Blázquez, M., Rodrigo, L., Casanovas, P., Poblet, M.: The sekt use legal case components: ontology and architecture. In: Gordon, T.B. (ed.) Legal Knowledge and Information Systems, pp. 69–77. IOS Press, Amsterdam (2004)Google Scholar
  3. 3.
    Blazquez, M., Pena-Ortiz, R., Contreras, J., Benjamins, R., Casanovas, P., Vallbe, J.J., Casellas, N.: Legal case study: Prototype. Project Deliverable D10.3.1, SEKT (2005)Google Scholar
  4. 4.
    Casanovas, P., Casellas, N., Vallbe, J.-J., Poblet, M., Benjamins, V.R., Blazquez, M., Pena-Ortiz, R., Contreras, J.: Semantic web: A legal case study. In: Davies, J., Studer, R., Warren, P. (eds.) Semantic Web Technologies: Trends and Research in Ontology-based Systems, pp. 259–280. John Wiley & Sons, Chichester (2006)Google Scholar
  5. 5.
    Casanovas, P., Casellas, N., Vallbe, J.J., Poblet, M., Blazquez, M., Contreras, J., Benjamins, V.R., Lopez-Cobo, J.-M.: After analysis: First steps of the iuriservice implementation at the spanish judicial school. Project Deliverable D10.4.1, SEKT (2007)Google Scholar
  6. 6.
    Casanovas, P., Poblet, M., Casellas, N., Contreras, J., Benjamins, V.R., Blazquez, M.: Supporting newly-appointed judges: a legal knowledge management case study. Journal of Knowledge Management 9(5), 7–27 (2005)CrossRefGoogle Scholar
  7. 7.
    Casanovas, P., Poblet, M., Casellas, N., Vallbé, J.-J., Ramos, F., Benjamins, V.R., Blázquez, M., Contreras, J., Gorronogoitia, J.: Legal scenario. case study intelligent integrated decision support for legal professionals. Project Deliverable D10.2.1, SEKT (2005)Google Scholar
  8. 8.
    Casanovas, P., Casellas, N., Tempich, C., Vrandecic, D., Benjamins, V.R.: Opjk and diligent: ontology modeling in a distributed environment, vol. 15, pp. 171–186 (2007)Google Scholar
  9. 9.
    Benjamins, V.R., Casanovas, P., Contreras, J., López-Cobo, J.M., Lemu, L.: Iuriservice: An intelligent frequently asked questions system to assist newly appointed judges. In: Benjamins, V.R., et al. (eds.) Law and the Semantic Web, pp. 205–522. Springer, London (2005)Google Scholar
  10. 10.
    Casellas, N., Blazquez, M., Kiryakov, A., Casanovas, P., Poblet, M., Benjamins, R.: OPJK into PROTON: Legal domain ontology integration into an upper-level ontology. In: Meersman, A.R., et al. (eds.) OTM-WS 2005. LNCS, vol. 3762, pp. 846–855. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Davies, J., Studer, R., Warren, P. (eds.): Semantic Web Technologies: Trends and Research in Ontology-based Systems. John Wiley and Sons, Ltd., Chichester (2006)Google Scholar
  12. 12.
    Huang, Z., Schlobach, S., van Harmelen, F., Klein, M., Casellas, N., Casanovas, P.: Reasoning with multiversion ontologies: Evaluation. Project Deliverable D3.5.2, SEKT (2006)Google Scholar
  13. 13.
    Huang, Z., Stuckenschmidt, H.: Reasoning with multiversion ontologies. Project Deliverable D3.5.1, SEKT (2005)Google Scholar
  14. 14.
    Huang, Z., Stuckenschmidt, H.: Reasoning with multiversion ontologies: a temporal logic approach. In: Proceedings of the 2005 International Semantic Web Conference (2005)Google Scholar
  15. 15.
    Huang, Z., ten Teije, A., van Harmelen, F.: MORE2: An extended reasoning and management system for multi-version ontologies. Project Deliverable D3.5.3, SEKT (2007)Google Scholar
  16. 16.
    Huang, Z., Visser, C.: Extended DIG description logic interface support for PROLOG. Deliverable D3.4.1.2, SEKT (2004)Google Scholar
  17. 17.
    Rescher, N., Urquhart, A.: Temporal Logic. Springer, Heidelberg (1971)MATHGoogle Scholar
  18. 18.
    van Benthem, J.: The Logic of Time, 2nd edn. Kluwer Academic Press, Dordrecht (1991)MATHGoogle Scholar
  19. 19.
    van Benthem, J.: Temporal logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, pp. 241–350. Clarendon Press, Oxford (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Zhisheng Huang
    • 1
  • Stefan Schlobach
    • 1
  • Frank van Harmelen
    • 1
  • Núria Casellas
    • 2
  • Pompeu Casanovas
    • 2
  1. 1.Vrije Universiteit AmsterdamThe Netherlands
  2. 2.Universitat Autonoma de BarcelonaSpain

Personalised recommendations