Extending carin to the description logics of the SH family

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5293 LNAI, Issue , 2008, Pages 324-337

  Ortiz, Magdalena ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

BLOCKING CONDITIONS; DATA COMPLEXITIES; DATALOG RULES; DESCRIPTION LOGICS; HYBRID LANGUAGES; KNOWLEDGE BASES; KNOWLEDGE REPRESENTATION LANGUAGES; QUERY ANSWERING; WORK STUDIES;

ARTIFICIAL INTELLIGENCE; COMPUTABILITY AND DECIDABILITY; INFORMATION THEORY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; LINGUISTICS; RECURSIVE FUNCTIONS; SEMANTIC WEB; THEOREM PROVING;

DATA DESCRIPTION;

EID: 56649123163     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87803-2_27     Document Type: Conference Paper

References (21)

1. Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of KR 2006, pp. 260-270 (2006)
2. Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics: An automata-theoretic approach. In: Proc. of AAAI 2007, pp. 391-396 (2007)
3. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: Proc. KR 2004, pp. 141-151 (2004)
4. Eiter, T., Gottlob, G., Ortiz, M., Simkus, M.: Query Answering in the Description Logic Horn-SHIQ. In: Proc. of JELIA (to appear, 2008)
5. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. In: Proc. of IJCAI 2007, pp. 399-404 (2007)
6. Glimm, B., Horrocks, I., Sattler, U.: Conjunctive query entailment for SHOQ. In: Proc. of DL 2007, vol. 250, pp. 65-75 (2007)
7. Glimm, B., Horroeks, I., Sattler, U.: Deciding SHOQ plus role conjunction knowledge base consistency using alternating automata. In: Proc. of DL 2008 (2008)
8. Heymans, S., Vermeir, D.: Integrating ontology languages and answer set programming. In: Proceedings DEXA Workshops 2003, pp. 584-588. IEEE Computer Society, Los Alamitos (2003)
9. Hladik, J.: A tableau system for the description logic SHIO. In: Proceedings of IJCAR Doctoral Programme. CEUR Workshop Proceedings, vol. 106, CEUR-WS.org (2004)
10. Horrocks, I., Kutz, O., Sattler, U.: The irresistible SRIQ (2005)
11. Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 448-453 (2005)
12. Kazakov, Y: SRIQ and SROIQ are harder than SHOIQ. In: Proc. DL 2008 (2008)
13. Krisnadhi, A., Lutz, C.: Data complexity in the EL family of description logics. In: Proc. of DL 2007 (2007)
14. Krötzsch, M., Rudolph, S., Hitzler, P.: Conjunctive queries for a tractable fragment of OWL 1.1. In: Proc. of ISWC/ASWC 2007, pp. 310-323 (2007)
15. Levy, A.Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2), 165-209 (1998)
16. Ortiz, M., Calvanese, D., Eiter, T.: Data Complexity of Query answering in Expressive Description Logics via Tableaux. INFSYS Research Report 1843-07-07. Vienna University of Technology (November 2007)
17. Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. In: J. of Automated Reasoning (June 2008)
18. Ortiz, M., Calvanese, D., Eiter, T.: Characterizing data complexity for conjunctive query answering in expressive description logics. In: Proc. of AAAI 2006 (2006)
19. Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Proc. of KR 2006, pp. 68-98 (2006)
20. Rosati, R.: On conjunctive query answering in EL. In: Proc. of DL 2007 (2007)
21. Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen (2001)