Search
Now showing items 1-8 of 8
Presentation
Learning Services Based on Formal Concept Reasoning
(IADIS: International Association for Development of the Information Society, 2007)
A formal foundation of automated service discovering for Semantic Web is proposed. The approach is based on the formalization of the problem using an agent oriented programming language (ConGolog), as well as on the use ...
Presentation
Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo
(Universidad de Castilla-La Mancha, Departamento de Sistemas Informáticos, 2006)
La evolución de las ontologías es un problema clave en la Integración del Conocimiento, cuya resolución es imprescindible en el proyecto de la Web Semántica. Algunas aproximaciones adolecen de confianza lógica, y otras ...
Presentation
Visual Ontology Cleaning: Cognitive Principles and Applicability
(Springer, 2006)
In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We discuss the logical limitations of the mereotopological approach to the visual ontology cleaning, ...
Presentation
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web
(Springer, 2007)
Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. In this framework, it is previsible unprecise information (with respect to an ontology) is retrieved ...
Presentation
Extension of Ontologies Assisted by Automated Reasoning Systems
(Springer, 2005)
A method to extend ontologies with the assistance of automated reasoning systems and preserving a kind of completeness with respect to their associate conceptualizations is presented. The use of such systems makes ...
Chapter of Book
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies
(Springer, 2008)
A logical formalism to support the insertion of uncertain concepts in formal ontologies is presented. It is based on the search of extensions by means of two automated reasoning systems (ARS), and it is driven by what ...
Presentation
Presentation
A Formally Verified Prover for the ALC Description Logic
(Springer, 2007)
The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a family of logical formalisms for representing and reasoning about conceptual and terminological ...