%0 Conference Paper %1 ghidiniserafini:AIMSA:08 %A Ghidini, Chiara %A Serafini, Luciano %B Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'08) %D 2008 %E Dochev, D. %E Pistore, M. %E Traverso, P. %I Springer Berlin / Heidelberg %K Description Distributed Logic %P 181-193 %T Mapping properties of heterogeneous ontologies %V 5253/2008 %X In recent papers, we have proposed an extension of the formalism of Distributed Description Logic (DDL) to represent a wide set of homogeneous and heterogeneous mappings involving relations and concepts. Here we investigate in depth how to provide an effective reasoning algorithm for reasoning within this logic in the case of homogeneous mappings.

@inproceedings{ghidiniserafini:AIMSA:08, abstract = {In recent papers, we have proposed an extension of the formalism of Distributed Description Logic (DDL) to represent a wide set of homogeneous and heterogeneous mappings involving relations and concepts. Here we investigate in depth how to provide an effective reasoning algorithm for reasoning within this logic in the case of homogeneous mappings.}, added-at = {2009-06-02T16:23:00.000+0200}, author = {Ghidini, Chiara and Serafini, Luciano}, biburl = {https://www.bibsonomy.org/bibtex/22697cb6cd2cc01ad577b6ce40cf94191/cghidini}, booktitle = {Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'08)}, date-added = {2008-07-08 13:39:42 +0200}, date-modified = {2008-08-27 09:16:26 +0200}, editor = {Dochev, D. and Pistore, M. and Traverso, P.}, interhash = {fd611a8891572a45d1c1c13a7eb84980}, intrahash = {2697cb6cd2cc01ad577b6ce40cf94191}, keywords = {Description Distributed Logic}, pages = {181-193}, publisher = {Springer Berlin / Heidelberg}, series = {LNCS}, timestamp = {2009-06-02T16:38:30.000+0200}, title = {Mapping properties of heterogeneous ontologies}, volume = {5253/2008}, year = 2008 }