Introducing nominals to the combined query answering approaches for EL

CEUR Workshop Proceedings

Volumn 1014, Issue , 2013, Pages 962-974

  Stefanoni, Giorgio ^a   Motik, Boris ^a   Horrocks, Ian ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (21)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F., eds.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2007) ISBN 9780511717383.
2. Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL The next step for OWL. Journal of Web Semantics 6(4) (2008) 309-322
3. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive Query Answering for the Description Logic SHIQ. Journal of Artificial Intelligence Research 31 (2008) 151-198
4. Baader, F., Brandt, S., Lutz, C.: Pushing the EL Envelope. In Kaelbling, L.P., Saffiotti, A., eds.: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK, Morgan Kaufmann Publishers (July 30-August 5 2005) 364-369
5. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable Reasoningand Efficient Query Answering in Description Logics: The DL-Lite Family. Journal of Automated Reasoning 9(3) (2007) 385-429
6. Krötzsch, M., Rudolph, S., Hitzler, P.: Conjunctive queries for a tractable fragment of OWL 1.1. In Aberer, K., Choi, K.S., Noy, N., Allemang, D., Lee, K.I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P., eds.: Proceedings of the 6th International SemanticWeb Conference (ISWC'07). Volume 4825 of LNCS., Springer (2007) 310-323
7. Ortiz, M., Rudolph, S., Simkus, M.: Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. In Walsh, T., ed.: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, Spain, AAAI Press (July 16-22 2011) 1039-1044
8. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite Family and Relations. Journal of Artificial Intelligence Research 36 (2009) 1-69
9. Pérez-Urbina, H., Motik, B., Horrocks, I.: Tractable Query Answering and Rewriting under Description Logic Constraints. Journal of Applied Logic 8(2) (2010) 186-209
10. Eiter, T., Ortiz, M., Simkus, M., Tran, T.K., Xiao, G.: Query Rewriting for Horn-SHIQ Plus Rules. In: Proceedings of the 26th AAAI Conference on Artificial Intelligence, (AAAI 2012), AAAI Press (2012)
11. Rosati, R.: On Conjunctive Query Answering in EL. In Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A.Y., Tessaris, S., eds.: Proceedings of the 20th International Workshop on Description Logics (DL-2007). CEUR Workshop Proceedings, CEUR-WS.org (2007)
12. Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The Combined Approach to Ontology-Based Data Access. In Walsh, T., ed.: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), AAAI Press (2011)
13. Lutz, C., Toman, D., Wolter, F.: Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. In Boutilier, C., ed.: Proceedings of the 21st International Joint Conference on Artificial Intelligence, (IJCAI 2009), AAAI Press (2009) 2070-2075
14. Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL 2. In Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K., eds.: Proceedings of the 7th International Semantic Web Conference (ISWC'08). Volume 5318 of LNCS., Springer (2008) 649-664
15. Stefanoni, G., Motik, B., Horrocks, I.: Introducing Nominals to the Combined Query Answering Approaches for EL. CoRR abs/1303.7430 (2013)
16. Fitting, M.: First-order logic and automated theorem proving (2nd ed.). Springer-Verlag New York, Inc., Secaucus, NJ, USA (1996)
17. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Computing Surveys 33(3) (2001) 374-425
18. Lutz, C., Seylan, I., Toman, D., Wolter, F.: The Combined Approach to OBDA: Taming Role Hierarchies using Filters. In Fokoue, A., Liebig, T., Goodman, E., Weaver, J., Urbani, J., Mizell, D., eds.: Proceedings of the Joint Workshop on Scalable and High-Performance Semantic Web Systems (SSWS+HPCSW 2012). Volume 943 of CEUR Workshop Proceedings., CEUR-WS.org (2012) 16-31
19. Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. Journal of Web Semantics 3(2-3) (2005) 158-182
20. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)
21. Chen, W., Warren, D.S.: Query evaluation under the well-founded semantics. In: Proceedings of the 12th ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems. PODS '93, New York, NY, USA, ACM (1993) 168-179