Search
Now showing items 1-10 of 3085
Link prediction using a probabilistic description logic
(Netherlands, 2014-03-11)
Due to the growing interest in social networks,
link prediction has received significant attention. Link prediction
is mostly based on graph-based features, with some
recent approaches focusing on domain semantics. We ...
Caracterizando el desacuerdo lógico.
(2015-06-30)
En este artículo, ofrezco una caracterización del desacuerdo lógico. Según
mi noción, los desacuerdos meramente verbales en lógica son inusuales.
La mayoría de los desacuerdos lógicos son simplemente desacuerdos
descriptivos ...
Description logics : foundations of propositional logic
(Departament of Computer Science. University of Manchester, 2011)
Description logics : foundations of first order logic
(Departament of Computer Science. University of Manchester, 2011)
Description logics : deduction in propositional logic
(Departament of Computer Science. University of Manchester, 2011)
Description logics : using first order logic
(Departament of Computer Science. University of Manchester, 2011)
A Non-Monotonic Description Logics Model for Merging Terminologies
(Asociación Española para la Inteligencia Artificial, 2007-10)
In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch ...
Intuitionistic logic and legal ontologies
(Ios Press, 2010)
This paper briefly shows how Intuitionistic Description Logic can be considered a good alternative to classical ALC as far as formalizing legal knowledge is concerned.