Sciweavers

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