Query answering in description logics with transitive roles

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 759-764

  Eiter, Thomas ^a   Lutz, Carsten ^b   Ortiz, Magdalena ^a   Šimkus, Mantas ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES;

CONJUNCTIVE QUERIES; DESCRIPTION LOGIC; EXPTIME; NEW SOURCES; QUERY ANSWERING; ROLE HIERARCHY;

DATA DESCRIPTION;

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

References (12)

1. D. Calvanese, T. Eiter, and M. Ortiz. Answering regular path queries in expressive description logics: An automata-theoretic approach. In Proc. AAAI 2007, pp. 391-396.
2. A.K. Chandra, D.C. Kozen, and L.J. Stockmeyer. Alternation. Journal of the ACM, 28(1):114-133, 1981.
3. T. Eiter, C. Lutz, M. Ortiz, and M. Šimkus. Query answering in description logics with transitive roles. INFSYS RR-1843-09-02. TU Vienna, 2009.
4. B. Glimm, I. Horrocks, and U. Sattler. Unions of conjunctive queries in SHOQ. In Proc. KR 2008, pp. 252-262, 2008.
5. B. Glimm, C. Lutz, I. Horrocks, and U. Sattler. Answering conjunctive queries in the SHIQ description logic. J. Artificial Intelligence Research, 31:150-197, 2008.
6. C. Lutz. The complexity of conjunctive query answering in expressive description logics. In Proc. IJCAR 2008, LNAI 5195, pp. 179-193. Springer, 2008.
7. M. Ortiz, D. Calvanese, and T. Eiter. Data complexity of query answering in expressive description logics via tableaux. J. Automated Reasoning, 41(1):61-98, 2008.
8. M. Ortiz,M. Šimkus, and T. Eiter. Conjunctive query answering in SH using knots. In Proc. DL 2008, CEUR Workshop Proc., vol 353, 2008.
9. M. Ortiz, M. Šimkus, and T. Eiter. Worst-case optimal conjunctive query answering for an expressive description logic without inverses. In Proc. AAAI'08, pp. 504-510, 2008.
10. V.R. Pratt. Models of program logics. In Proc. IEEE FOCS 79, pp. 115-122, 1979.
11. U. Sattler. Description logics for the representation of aggregated objects. In Proc. ECAI 2000, pp. 239-243, 2000.
12. S. Tessaris. Questions and Answers: Reasoning and Querying in Description Logic. PhD thesis, Univ. Manchester, CS Dept, April 2001.