@inproceedings{jimenez-ruiz2008safe,
  abstract = {Driven by application requirements and using well-understood theoretical results, we describe a novel methodology and a tool for modular ontology design. We support the user in the safe use of imported symbols and in the economic import of the relevant part of the imported ontology. Both features are supported in a well-understood way: safety guarantees that the semantics of imported concepts is not changed, and economic import guarantees that no difference can be observed between importing the whole ontology and importing the relevant part.},
  added-at = {2008-05-28T14:50:02.000+0200},
  address = {Berlin, Heidelberg},
  author = {Jimenez-Ruiz, Ernesto and Grau, Bernardo Cuenca and Sattler, Ulrike and Schneider, Thomas and Berlanga-Llavori, Rafael},
  biburl = {http://www.bibsonomy.org/bibtex/2a87c0da670998e2977d26a48b072870c/eswc2008},
  booktitle = {Proceedings of the 5th European Semantic Web Conference},
  editor = {Hauswirth, Manfred and Koubarakis, Manolis and Bechhofer, Sean},
  interhash = {6c2fe5fd8dd5ca0ed52e7158843e53af},
  intrahash = {a87c0da670998e2977d26a48b072870c},
  keywords = {safety reuse conservative ontology modularity locality extensions formal-languages-1},
  month = {June},
  publisher = {Springer Verlag},
  series = {LNCS},
  timestamp = {2008-05-28T14:50:02.000+0200},
  title = {Safe and Economic re-use of ontologies: a logic-based methodology and tool support},
  url = {http://data.semanticweb.org/conference/eswc/2008/papers/265},
  year = 2008
}

@inproceedings{castano2008mapping,
  abstract = {In the semantic web environment, where two or more independent ontologies can be used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the elements of one ontology and the elements of another ontology. Very often, mappings are not derived by the semantics of the ontologies that are compared, but, rather, by an evaluation of the similarity of the terminology used in the two ontologies or of their syntactic structure. Moreover, ontology mappings can be inaccurate, because ontology matching tools derive such mappings from inaccurate terminology or even because they are not specifically tailored for the domain at hand. In this paper, we propose a new mapping validation approach for interpreting similarity-based mappings as semantic relations, by coping also with inaccuracy situations. The idea is to see two independent ontologies as a unique distributed knowledge base and to assume a semantic interpretation of ontology mappings as probabilistic and hypothetical relations among ontology elements. We present and use a probabilistic reasoning tool in order to validate mappings and to possibly infer new relations among the ontologies.},
  added-at = {2008-05-28T14:49:55.000+0200},
  address = {Berlin, Heidelberg},
  author = {Castano, Silvana and Ferrara, Alfio and Lorusso, Davide and Näth, Tobias Henrik and Moeller, Ralf},
  biburl = {http://www.bibsonomy.org/bibtex/22042ef8759afd27e1d86a87c67e13e4f/eswc2008},
  booktitle = {Proceedings of the 5th European Semantic Web Conference},
  editor = {Hauswirth, Manfred and Koubarakis, Manolis and Bechhofer, Sean},
  interhash = {e340975182f17a894a325df85591b757},
  intrahash = {2042ef8759afd27e1d86a87c67e13e4f},
  keywords = {matching mapping probabilistic logics description ontology reasoning formal-languages-1},
  month = {June},
  publisher = {Springer Verlag},
  series = {LNCS},
  timestamp = {2008-05-28T14:49:55.000+0200},
  title = {Mapping Validation by Probabilistic Reasoning},
  url = {http://data.semanticweb.org/conference/eswc/2008/papers/90},
  year = 2008
}

@inproceedings{suntisrivaraporn2008module,
  abstract = {The description logic EL+ has recently proved practically useful in the life science domain with presence of several large-scale biomedical ontologies such as SNOMED CT. To deal with ontologies of this scale, standard reasoning of classification is essential but not sufficient. The ability to extract relevant fragments from a large ontology and to incrementally classify it has become more crucial to support ontology design, maintenance and re-use. In this paper, we propose a pragmatic approach to module extraction and incremental classification for EL+ ontologies and report on empirical evaluations of our algorithms which have been implemented as an extension of the CEL reasoner.},
  added-at = {2008-05-28T14:49:51.000+0200},
  address = {Berlin, Heidelberg},
  author = {Suntisrivaraporn, Boontawee},
  biburl = {http://www.bibsonomy.org/bibtex/23171f537650171bf487c8afdc4b90320/eswc2008},
  booktitle = {Proceedings of the 5th European Semantic Web Conference},
  editor = {Hauswirth, Manfred and Koubarakis, Manolis and Bechhofer, Sean},
  interhash = {e1f2379bcbf256f19e2269367bef5877},
  intrahash = {3171f537650171bf487c8afdc4b90320},
  keywords = {ontology logic description extraction classification module incremental formal-languages-1},
  month = {June},
  publisher = {Springer Verlag},
  series = {LNCS},
  timestamp = {2008-05-28T14:49:51.000+0200},
  title = {Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies},
  url = {http://data.semanticweb.org/conference/eswc/2008/papers/14},
  year = 2008
}