Buscar
Mostrando ítems 21-30 de 30
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 ...
Tesis Doctoral
Ponencia
Extending Attribute Exploration by Means of Boolean Derivatives
(CEUR-WS, 2008)
We present a translation of problems of Formal Context Analysis into ideals problems in F2[x] through the Boolean derivatives. The Boolean derivatives are introduced as a kind of operators on propositional formulas which ...
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
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 ...
Libro
Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)
(Kronos, 2002)
Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog como un sistema de deducción automática y la construcción en Prolog de sistemas de deducción ...
Ponencia
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
(Springer, 2003)
Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We must then deal withinconsistencies and, in general, withanomalies of several types. In this paper we ...
Ponencia
Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático
(Universidad de Sevilla - Fundación El Monte, 2001)