36 search results - page 8 / 8 » Bisimulation Equivalence is Decidable for all Context-Free P... |
ESWS
2009
Springer
14 years 6 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 ...