Sciweavers

224 search results - page 9 / 45
» Ontology Verification with Repositories
Sort
View
CAISE
2004
Springer
14 years 2 months ago
Facing Document-Provider Heterogeneity in Knowledge Portals
Knowledge portals aim at facilitating the location, sharing and dissemination of information by sitting ontologies at the core of the system. For heterogeneous environments where c...
Jon Iturrioz, Oscar Díaz, Sergio Fern&aacut...
QSIC
2007
IEEE
14 years 3 months ago
An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
Xin Peng, Wenyun Zhao
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
14 years 28 days ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
ACL
2006
13 years 10 months ago
Ontologizing Semantic Relations
Many algorithms have been developed to harvest lexical semantic resources, however few have linked the mined knowledge into formal knowledge repositories. In this paper, we propos...
Marco Pennacchiotti, Patrick Pantel
SAMT
2007
Springer
130views Multimedia» more  SAMT 2007»
14 years 3 months ago
EASAIER Semantic Music Retrieval Portal
—The vision of the Semantic Web is to lift the current Web into semantic repositories where heterogeneous data can be queried and different services can be mashed up. Ontology or...
Michael Luger, Ying Ding, François Scharffe...