AUGMENTING SUBSUMPTION PROPAGATION IN DISTRIBUTED DESCRIPTION LOGICS

REFERENCES

• Baader , F. , D. Calvanese , D. McGuinness , D. Nardi , and P. Patel-Schneider , (eds.) 2003 . The Description Logic Handbook . Cambridge University Press .
   Google Scholar
• Bao , J. , D. Caragea , and V. G. Honavar . 2006 . A distributed tableau algorithm for package-based description logics . In Proc. CRR 2006 , Riva del Garda , Italy .
   Google Scholar
• Berners-Lee , T. , J. Hendler , and O. Lassila . 2001 . The semantic web . Scientific American 284 ( 5 ): 34 – 43 .
   PubMed Web of Science ®Google Scholar
• Borgida , A. and L. Serafini . 2003 . Distributed description logics: Assimilating information from peer sources . Journal of Data Semantics 1 : 153 – 184 .
   Google Scholar
• Cuenca Grau , B. , B. Parsia , and E. Sirin . 2004 . Working with multiple ontologies on the semantic web . In: Proc. Third International Semantic Web Conference (ISWC 2004) . Vol. 3298 , LNCS , Springer .
   Google Scholar
• Ghidini , C. and F. Giunchiglia . 2001 . Local models semantics, or contextual reasoning = locality + compatibility . Artificial Intelligence 127 ( 2 ): 221 – 259 .
   Google Scholar
• Ghidini , C. , L. Serafini , and S. Tessaris . 2007 . On relating heterogeneous elements from different ontologies . In: Proc. Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT’07) . Vol. 4635 , LNCS , Springer .
   Google Scholar
• Homola , M. 2007 . Distributed description logics revisited . In: Proc. 20th International Workshop on Description Logics (DL-2007) . Vol. 250 , CEUR-WS .
   Google Scholar
• Homola , M. 2008 . Subsumption propagation between remote ontologies in distributed description logic . In: Proc. 21st International Workshop on Description Logics (DL2008) . Vol. 353 , CEUR-WS .
   Google Scholar
• Horrocks , I. , U. Sattler , and S. Tobies . 1999 . Practical reasoning for expressive description logics . In: Proc. 6th International Conference on Logic for Programming and Automated Reasoning (LPAR’99) , LNAI 1705 , 161 – 180 . Springer .
   Google Scholar
• Kutz , O. , C. Lutz , F. Wolter , and M. Zakharyaschev . 2004 . ℰ-connections of abstract description systems . Artificial Intelligence 156 ( 1 ): 1 – 73 .
   Google Scholar
• Loebe , F. 2006 . Requirements for logical modules . In: Proc. 1st International Workshop on Modular Ontologies (WoMO’06) . Vol. 232 , CEUR-WS .
   Google Scholar
• Schlicht , A. , and H. Stuckenschmidt . 2008 . Distributed resolution for alc . In: Proc. 21st International Workshop on Description Logics (DL2008) . Vol. 353 , CEUR-WS .
   Google Scholar
• Serafini , L. , A. Borgida , and A. Tamilin . 2005 . Aspects of distributed and modular ontology reasoning . In: Proc. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05) , 570 – 575 .
   Google Scholar
• Serafini , L. , and A. Tamilin . 2004 . Local tableaux for reasoning in distributed description logics . In: Proc. 2004 International Workshop on Description Logics (DL2004) . Vol. 104 , CEUR-WS .
   Google Scholar
• Serafini , L. , and A. Tamilin . 2005 . DRAGO: Distributed reasoning architecture for the semantic web . In: Proc. Second European Semantic Web Conference (ESWC’05) , Springer .
   Google Scholar
• Serafini , L. , and A. Tamilin . 2006 . Distributed instance retrieval in heterogeneous ontologies . In: Proc. 2nd Italian Semantic Web Workshop Semantic Web Applications and Perspectives (SWAP’05) , Trento , Italy .
   Google Scholar
• Tamilin , A. 2007 . Distributed ontological reasoning: Theory, algorithms, and applications, PhD thesis, University of Trento.
   Google Scholar
• Zimmermann , A. 2007 . Integrated distributed description logics . In: Proc. 20th International Workshop on Description Logics (DL-2007) . Vol. 250 , CEUR WS .
   Google Scholar
• Zimmermann , A. , and C. Le Duc . 2008 . Reasoning on a Network of Aligned Ontologies . In: Proc. Web Reasoning and Rule Systems, Second International Conference, RR 2008 , eds. D. Calvanese and G. Lausen , Vol. 5341 , 43 – 57 . Karlsruhe , Germany , LNCS , Springer .
   Google Scholar