Distributed instance retrieval in heterogeneous ontologies

CEUR Workshop Proceedings

Volumn 166, Issue , 2005, Pages

  Serafini, Luciano ^a   Tamilin, Andrei ^a,b  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; DISTRIBUTED DESCRIPTION LOGIC; HETEROGENEOUS ONTOLOGY; HETEROGENEOUS POPULATIONS; INSTANCE RETRIEVAL; ONTOLOGICAL QUERY; ONTOLOGY QUERY; PEER-TO-PEER PARADIGM; REASONER; RECENT RESEARCHES;

ALGORITHMS; FORMAL LANGUAGES; WORLD WIDE WEB;

DATA DESCRIPTION;

EID: 71049131500     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P.F. Patel-Schneider, editors. The Description Logic Handbook, Cambridge University Press, 2003.
2. L. Serafini and A. Tamilin, "DRAGO: Distributed Reasoning Architecture for the Semantic Web", In Proc. ESWC-2005, vol 3532 of LNCS, pages 361-376. Springer, 2005.
3. A. Borgida and L. Serafini. "Distributed description logics: Assimilating Information from Peer Sources", J. of Data Semantics, 1:153-184, 2003.
4. L. Serafini, A. Borgida and A. Tamilin. "Aspects of Distributed and Modular Ontology Reasoning", In Proc. of IJCAI-2005, 2005.
5. I. Horrocks, U. Sattler and S. Tobies. "Practical Reasoning for Expressive Description Logics", In Proc. LPAR-1999, vol. 1705 of LNAI, pages 161-180. Springer, 1999.
6. I. Horrocks, U. Sattler and S. Tobies. "Reasoning with Individuals for the Description Logic SHIQ", In Proc. CADE-2000, vol. 1831 of LNCS, pages 482-496. Springer, 2000.
7. I. Horrocks and U. Sattler. "Ontology Reasoning in the SHOQ(D) Description Logic", In Proc. IJCAI-2001, pages 199-204, 2001.
8. I. Horrocks and U. Sattler. "A Tableaux Decision Procedure fro SHOIQ", In Proc. IJCAI-2005, 2005.
9. V. Haarslev and R. Möller. "Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles", In Proc. KR-2000, 2000.
10. S. Tessaris. "Questions and Answers: Reasoning and Querying in Description Logic", PhD Thesis, Department of Computer Science, University of Manchester, 2001.
11. S. Tobies. "Complexity Results and Practical Algorithms for Logics in Knowledge Representation", PhD Thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany, 2001.
12. S. Tobies. "The Complexity of Reasoning with Cardinality Restrictions and Nom-inals in Expressive Description Logics", J. of Artificial Intelligence Research, vol. 12, pages 199-217, 2000.
13. S. Tessaris and I. Horrocks. "Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics", In Proc. LPAR-2002, 2002.
14. I. Horrocks and S. Tessaris. "Querying the Semantic Web: a Formal Approach", In Proc. ISWC-2002, 2002.
15. I. Horrocks, L. Li, D. Turi and S. Bechhofer. "The Instance Store: DL Reasoning with Large Numbers of Individuals", In Proc. DL-2004, 2004.
16. C. Chen, V. Haarslev and J. Wang. "LAS: Extending Racer by a Large Abox Store", In Proc. DL-2005, 2005.
17. V. Haarslev and R. Möller. "RACER System Description", In Proc. IJCAR-2001, vol. 2083 of LNAI, pages 701-705. Springer, 1998.
18. I. Horrocks and P. F. Patel-Schneider. "FaCT and DLP: Automated Reasoning with Analytic Tableaux and related Methods", In Proc. TABLEAUX-1998, pages 27-30, 1998.
19. E. Sirin and B. Parsia. "Pellet: An OWL DL Reasoner", In Proc. ISWC-2004, 2004. http://www.mindswap.org/2003/pellet/index.shtml
20. F. Goasdoué and M-C. Rousset. "Querying Distributed Data through Distributed Ontologies: a Simple but Scalable Approach", In J. Intelligent Systems, vol.18 no.5, pages 60-65. IEEE, 2003.
21. M-C. Rousset. "Small can be beautiful in the Semantic Web", In Proc. ISWC-2004, vol.3298 of LNCS, pages 6-16. Springer, 2004.
22. A. Halevy, Z. Ives, P. Mork and I. Tatarinov. "Piazza: Data Management Infrastructure for Semantic Web Applications", In Proc. of WWW-2003, 2003.
23. 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", In J. on Distributed and Parallel Databases, vol. 8 n. 2, pages 223-272, 2000.
24. P. Pothipruk and G. Governatori. "A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web", In Proc. WISE-2005, pages 119-132, 2005.