36 search results - page 8 / 8 » Bisimulation Equivalence is Decidable for all Context-Free P... |
171
click to vote
ESWS
2009
Springer
16 years 15 days ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...