Integration of web-based forms with ontologies in the semantic web

Abstract

La noción de formularios como una manera de organizar y presentar datos ha sido usada desde el comienzo de la World Wide Web. Los formularios web han evolucionado junto con el desarrollo de nuevos lenguajes de marcado, en los cuales es posible proveer guiones de validación como parte del código del formulario para verificar si el significado pretendido del formulario es correcto. Sin embargo, para el diseñador del formulario, parte de este significado pretendido involucra otros atributos que no son restricciones por sí mismas, sino más bien atributos emergentes del formulario, los cuales brindan conclusiones plausibles en el contexto de información incompleta y potencialmente contradictoria. Como el valor de tales atributos puede cambiar en presencia de nuevo conocimiento, los llamamos atributos rebatibles. En trabajos previos, extendimos los formularios web tradicionales para incorporar atributos rebatibles como parte del conocimiento que puede ser codificado por el diseñador del formulario. En este artículo, adaptamos tal acercamiento para hacerlo adecuado para la iniciativa de la Web Semántica; entonces proponemos la especificación de atributos rebatibles por medio de ontologías expresadas en Lógicas para la Descripción posiblemente inconsistentes conocidas como -ontologías. El valor de tales atributos rebatibles sería asociado a la pertenencia de un individuo a un concepto particular. Como las ontologías involucradas en la definición de atributos rebatibles pueden ser inconsistentes, un análisis dialéctico sería realizado para tomar en cuenta todas las razones a favor y en contra del valor del atributo rebatible.

The notion of forms as a way of organizing and presenting data has been used since the beginning of the World Wide Web. Web-based forms have evolved together with the development of new markup languages, in which it is possible to provide validation scripts as part of the form code to test whether the intended meaning of the form is correct. However, for the form designer, part of this intended meaning frequently involves other features which are not constraints by themselves, but rather attributes emerging from the form, which provide plausible conclusions in the context of incomplete and potentially inconsistent information. As the value of such attributes may change in presence of new knowledge, we call them defeasible attributes. In previous works, we extended traditional web-based forms to incorporate defeasible attributes as part of the knowledge that can be encoded by the form designer. In this article, we recast that approach to make it suitable for the Semantic Web initiative; we then propose the specification of defeasible attributes by means of possibly inconsistent Description Logics ontologies known as -ontologies. Thus the value of a defeasible attribute will be associated to the membership of an individual to a certain concept. As the ontologies involved in the definition of defeasible attributes may be inconsistent, a dialectical analysis will be performed to take into account all the reasons in favor and against the value of such defeasible attributes.