Import-by-query: Ontology reasoning under access limitations

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 727-732

  Cuenca Grau, Bernardo ^a   Motik, Boris ^a   Kazakov, Yevgeny ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ONTOLOGY;

ONTOLOGY REASONINGS; ONTOLOGY REUSE; QUERY ALGORITHMS; REASONER; WEB ONTOLOGY LANGUAGE;

QUERY PROCESSING;

EID: 78751695669     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. F. Baader, C. Lutz, H. Sturm, and F.Wolter. Fusions of Description Logics and Abstract Description Systems. Journal of Artificial Intelligence Research, 16:1-58, 2002.
2. F. Baader, S. Brandt, and C. Lutz. Pushing the EL Envelope. In Proc. IJCAI,, pages 364-369, 2005.
3. 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, 2nd edition, 2007.
4. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. What to Ask to a Peer: Ontolgoy-based Query Reformulation. In Proc. KR, pages 469-478, 2004.
5. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. Journal of Automated Reasoning, 9:385-429, 2007.
6. B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Modular Reuse of Ontologies: Theory and Practice. Journal of Artificial Intelligence Research, 31:273-318, 2008.
7. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239-263, 2000.
8. U. Hustadt, B. Motik, and U. Sattler. Data Complexity of Reasoning in Very Expressive Description Logics. In Proc. IJCAI, pages 466-471, 2005.
9. Y. Kazakov. RIQandSROIQare Harder than SHOIQ. In Proc. KR, pages 274-284, 2008.
10. O. Kutz, I. Horrocks, and U. Sattler. The Even More Irresistible SROIQ. In Proc. KR, pages 68-78, 2006.
11. M. Lenzerini. Data Integration: A Theoretical Perspective. In Proc. PODS, pages 233-246, 2002.
12. C. Lutz, D. Walther, and F. Wolter. Conservative Extensions in Expressive Description Logics. In Proc. IJCAI, pages 453-458, 2007.
13. I. Pratt-Hartmann. Complexity of the Two-Variable Fragment with Counting Quantifiers. Journal of Logic, Language and Information, 14(3):369-395, 2005.