Sciweavers

FOIS
2010
13 years 6 months ago
Ontology Verification with Repositories
Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of represe...
Michael Grüninger, Torsten Hahmann, Ali Hashe...
ICFCA
2007
Springer
13 years 8 months ago
On Multi-adjoint Concept Lattices: Definition and Representation Theorem
Several fuzzifications of formal concept analysis have been proposed to deal with uncertainty or incomplete information. In this paper, we focus on the new paradigm of multi-adjoin...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...