DRAGO: Distributed reasoning architecture for the Semantic Web

Lecture Notes in Computer Science

Volumn 3532, Issue , 2005, Pages 361-376

  Serafini, Luciano ^a   Tamilin, Andrei ^b  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; LOGIC PROGRAMMING; PROBLEM SOLVING; SEMANTICS; WORLD WIDE WEB;

DISTRIBUTED REASONING ARCHITECTURE; ONTOLOGY; SEMANTIC MAPPINGS; SEMANTIC WEBS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 26444469981     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11431053_25     Document Type: Conference Paper

References (21)

1. G. Antoniou and F. van Harmelen. Web Ontology Language: OWL. In Handbook on Ontologies in Information Systems, pages 67-92, 2003.
2. A. Borgida and L. Serafini. Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics, pages 153-184, 2003.
3. P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt. C-OWL: Contextualizing Ontologies. In Proc. of the 2d International Semantic Web Conference (ISWC2003), pages 164-179, 2003.
4. F.Baader, D.Calvanese, D.McGuinness, D.Nardi, and P.F.Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
5. C. Ghidini and F. Giunchiglia. Local Model Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence, 127(2):221-259, 2001.
6. C. Ghidini and L. Serafini. Distributed First Order Logics. In Proc. of the Frontiers of Combining Systems, pages 121-139, 2000.
7. F. Giunchiglia. Contextual Reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345-364, 1993.
8. F. Giunchiglia and L. Serafini. Multilanguage Hierarchical Logics (or: How we can do without modal logics). Artificial Intelligence, 65(1):29-70, 1994.
9. B. C. Grau, B. Parsia, and E. Sirin. Working with Multiple Ontologies on the Semantic Web. In Proc. of the 3d International Semantic Web Conference (ISWC2004), 2004.
10. V. Haarslev and R. Moller. RACER System Description. In Proc. of the International Joint Conference on Automated Reasoning (IJCAR2001), pages 701-706, 2001.
11. A. Halevy, Z. Ives, P. Mork, and I. Tatarinov. Piazza: Data Management Infrastructure for Semantic Web Applications. In Proc. of the 12th International World Wide Web Conference (WWW 2003), 2003.
12. I. Horrocks and P. F. Patel-Schneider. FaCT and DLP. In Proc. of the Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'98), pages 27-30, 1998.
13. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics, 1(1):7-26, 2003.
14. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for very Expressive Description Logics. Logic Journal of IGPL, 8(3):239-263, 2000.
15. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. ε-connections of Abstract Description Systems. Artificial Intelligence, 156(1):1-73, 2004.
16. A. Maedche, B. Motik, N. Silva, and R. Volz. MAFRA - a Mapping Framework for Distributed Ontologies. In Proc. of Knowledge Engineering and Knowledge Management (EKAW-02), volume 2473 of Lecture Notes in Computer Science. Springer, 2002.
17. E. Mena, A. Illarramendi, V. Kashyap, and A. Sheth. OBSERVER: An Approach for Query Processing in Global Information Systems based on Interoperation across Pre-existing Ontologies. International Journal on Distributed and Parallel Databases (DAPD), ISSN 0926-8788, 8(2):223-272, April 2000.
18. B. Omelayenko. RDFT: A Mapping Meta-Ontology for Business Integration. In Proc. of the Workshop on Knowledge Transformation for the Semantic Web at the 15th European Conference on Artificial Intelligence (KTSW2002), pages 77-84, 2002.
19. L. Serafini, A. Borgida, and A. Tamilin. Distributed Reasoning in SHIQ Ontology Space. Technical Report T05-02-03, ITC-IRST, 2005.
20. L. Serafini and F. Giunchiglia. ML Systems: A Proof Theory for Contexts. Journal of Logic, Language and Information, 11(4):471-518, 2002.
21. L. Serafini and A. Tamilin. Local Tableaux for Reasoning in Distributed Description Logics. In Proc. of the 2004 International Workshop on Description Logics (DL'04), CEUR-WS, 2004.