Sciweavers

61 search results - page 13 / 13
» Tableau Methods for PA-Processes
Sort
View
SWAP
2007
13 years 7 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