Sciweavers

2845 search results - page 48 / 569
» Constraints over Ontologies
Sort
View
TCS
2008
13 years 8 months ago
Verification of qualitative Z constraints
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
Stéphane Demri, Régis Gascon
ECML
2007
Springer
14 years 3 months ago
Conceptual Clustering Applied to Ontologies
Abstract. A clustering method is presented which can be applied to semantically annotated resources in the context of ontological knowledge bases. This method can be used to discov...
Floriana Esposito, Nicola Fanizzi, Claudia d'Amato
SEMWEB
2007
Springer
14 years 3 months ago
Learning Subsumption Relations with CSR: a Classification based Method for the Alignment of Ontologies
In this paper we propose the "Classification-Based Learning of Subsumption Relations for the Alignment of Ontologies" (CSR) method. Given a pair of concepts from two onto...
Vassilis Spiliopoulos, Alexandros G. Valarakos, Ge...
DEXAW
2002
IEEE
107views Database» more  DEXAW 2002»
14 years 1 months ago
Semi-Automated Extraction of Ontological Knowledge from XML Datasources
In the paper we present a methodology for the semiautomated extraction of ontological knowledge from XML data sources in a given domain. We consider an interconnection scenario ov...
Silvana Castano, Valeria De Antonellis, Sabrina De...
WOB
2007
116views Bioinformatics» more  WOB 2007»
13 years 10 months ago
Validating Gene Clusterings by Selecting Informative Gene Ontology Terms with Mutual Information
Abstract. We propose a method for global validation of gene clusterings. The method selects a set of informative and non-redundant GO terms through an exploration of the Gene Ontol...
Ivan G. Costa, Marcílio Carlos Pereira de S...