What happens when you merge two OWL ontologies
What happens when you merge two OWL ontologies? In OWL DL(1.0) you are not guaranteed that the result is an OWL DL ontology. Jeremy Carroll suggests that there are are manageable and unmanageable merge problems of this sort, and that n-ary datatypes are of the worse sort.
- ISSUE-5: n-ary datatypes - decidability on merging. Follow the thread...
Question: How do we make decisions about when we should consider this a reason not to include a feature?