Sciweavers

61 search results - page 13 / 13
» Tableau Methods for PA-Processes
Sort
View
86
Voted
SWAP
2007
14 years 10 months ago
Reasoning with Instances of Heterogeneous Ontologies
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
Luciano Serafini, Andrei Tamilin