Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bechhofer, S., Möller, R., Crowther, P.: The DIG description logic interface. In: International Workshop on Description Logics (DL2003), Rome (September 2003)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Davies, J., Studer, R., Warren, P. (eds.): Semantic Web Technologies: Trends and Research in Ontology-based Systems. John Wiley and Sons, Ltd., Chichester (2006)
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)
Huang, Z., Stuckenschmidt, H.: Reasoning with multiversion ontologies. Project Deliverable D3.5.1, SEKT (2005)
Huang, Z., Stuckenschmidt, H.: Reasoning with multiversion ontologies: a temporal logic approach. In: Proceedings of the 2005 International Semantic Web Conference (2005)
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)
Huang, Z., Visser, C.: Extended DIG description logic interface support for PROLOG. Deliverable D3.4.1.2, SEKT (2004)
Rescher, N., Urquhart, A.: Temporal Logic. Springer, Heidelberg (1971)
van Benthem, J.: The Logic of Time, 2nd edn. Kluwer Academic Press, Dordrecht (1991)
van Benthem, J.: Temporal logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, pp. 241–350. Clarendon Press, Oxford (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huang, Z., Schlobach, S., van Harmelen, F., Casellas, N., Casanovas, P. (2008). Dynamic Aspects of OPJK Legal Ontology. In: Casanovas, P., Sartor, G., Casellas, N., Rubino, R. (eds) Computable Models of the Law. Lecture Notes in Computer Science(), vol 4884. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85569-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-85569-9_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85568-2
Online ISBN: 978-3-540-85569-9
eBook Packages: Computer ScienceComputer Science (R0)