Buscar
Mostrando ítems 11-20 de 22
Ponencia
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, ...
Ponencia
Repairing Conceptual Relations in Ontologies by means of an Interactive Visual Reasoning: Cognitive and Design Principles
(IEEE Computer Society, 2012)
The technologies of visual representation are a great help for understanding items of information and the relations among them, especially, for non-expert users on Knowledge Based Systems, e.g. ontologies, which represent ...
Ponencia
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 ...
Ponencia
Ontology Cleaning by Mereotopological Reasoning
(IEEE Computer Society, 2004)
A mereotopological semantics to manage ontologies is presented. The aim is to provide a formal basis for ontology cleaning. It allows us to arrange, in a consistent manner, the concepts in early steps of the building ...
Ponencia
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 ...
Ponencia
Specifying and Verifying Meta-Security by Means of Semantic Web Methods
(Springer, 2014)
In order to achieve a systematic treatment of security protocols, organizations release a number of technical briefings for describing how security incidents have to be managed. These documents can suffer semantic ...
Capítulo de Libro
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 ...
Ponencia
Ponencia
On the Use of Automated Reasoning Systems in Ontology Integration.
(CEUR-WS, 2009)
Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the envisioned Semantic Web. Some approximations suffer from logical confidence, and others are hard to ...
Ponencia
Semantic Geodemography and Urban Interoperability
(Springer, 2012)
Nowadays there exists an increasing interest on the use of the information collected by cities coming from different resources as data with dynamic nature like the one provided by sensor networks, as static data associated ...