Completeness guarantees for incomplete ontology reasoners: Theory and practice

Journal of Artificial Intelligence Research

Volumn 43, Issue , 2012, Pages 419-476

  Grau, Bernardo Cuenca ^a   Motik, Boris ^a   Stoilos, Giorgos ^a   Horrocks, Ian ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DESIGN; APPLICATION DEVELOPERS; DATA SETS; LOGIC-BASED FRAMEWORKS; ONTOLOGY-BASED INFORMATION SYSTEMS; PRACTICAL FOUNDATIONS; QUERY ANSWERING; REASONER; SEMANTIC WEB APPLICATIONS; THEORY AND PRACTICE;

HEALTH CARE; SCALABILITY;

FORMAL LOGIC;

EID: 84862648069     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.3470     Document Type: Article

References (38)

1. Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., & Rosati, R. (2005). Quonto: Querying ontologies. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-05)., pp. 1670-1671. (Pubitemid 43006534)
2. Artale, A., Calvanese, D., Kontchakov, R., & Zakharyaschev, M. (2009). The DL-Lite family and relations. J. Artificial Intelligence Research (JAIR), 36, 1-69.
3. Baader, F., McGuinness, D., Nardi, D., & Patel-Schneider, P. (2002). The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press.
4. Baader, F., Brandt, S., & Lutz, C. (2005). Pushing the EL envelope. In Proceedings of the 19th International Joint Conference on AI (IJCAI-05), pp. 364-369.
5. Morgan-Kaufmann Publishers. Bishop, B., Kiryakov, A., Ognyanoff, D., Peikov, I., Tashev, Z., & Velkov, R. (2011). OWLIM: A family of scalable semantic repositories. Semantic Web, 2 (1), 33-42.
6. Broekstra, J., Kampman, A., & van Harmelen, F. (2002). Sesame: A generic architecture for storing and querying RDF and RDF Schema. In Proceedings of the 1st International Semantic Web Conference (ISWC 2002), pp. 54-68.
7. Cal̀?, A., Gottlob, G., Lukasiewicz, T., Marnette, B., & Pieris, A. (2010). Datalog+/-: A family of logical knowledge representation and query languages for new applications. In Proc. of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 228-242.
8. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2007). Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning, 39 (3), 385-429. (Pubitemid 47340922)
9. Ceri, S., Gottlob, G., & Tanca, L. (1989). What you always wanted to know about datalog (and never dared to ask). IEEE Trans. Knowledge Data Engineering, 1 (1), 146-166. (Pubitemid 20607001)
10. Cuenca Grau, B., Horrocks, I., Kazakov, Y., & Sattler, U. (2008a). Modular Reuse of Ontologies: Theory and Practice. Journal of Artificial Intelligence Research, 31, 273-318. (Pubitemid 351761989)
11. Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., & Sattler, U. (2008b). OWL 2: The next step for OWL. Journal of Web Semantics (JWS), 6 (4), 309-322.
12. Derriere, S., Richard, A., & Preite-Martinez, A. (2006). An Ontology of Astronomical Object Types for the Virtual Observatory. In Proc. of the 26th meeting of the IAU: Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities, pp. 17-18, Prague, Czech Republic.
13. Erling, O., & Mikhailov, I. (2009). RDF support in the virtuoso DBMS. In Pellegrini, T., Auer, S., Tochtermann, K., & Schaffert, S. (Eds.), Networked Knowledge-Networked Media, pp. 7-24.
14. Fitting, M. (1996). First-Order Logic and Automated Theorem Proving, 2nd Edition. Texts in Computer Science. Springer.
15. Glimm B, Horrocks, I., Lutz, C., & Sattler, U. (2007). Conjunctive query answering for the description logic SHIQ. In Proceedings of the International Joint Conference on AI (IJCAI), pp. 399-404.
16. Golbreich, C., Zhang, S., & Bodenreider, O. (2006). The Foundational Model of Anatomy in OWL: Experience and Perspectives. Journal of Web Semantics, 4 (3), 181-195. (Pubitemid 44331734)
17. Goodwin, J. (2005). Experiences of using OWL at the Ordnance Survey. In Proc. of the OWL: Experiences and Directions Workshop (OWLED 2005), Galway, Ireland.
18. Guo, Y., Pan, Z., & Heflin, J. (2005). LUBM: A Benchmark for OWL Knowledge Base Systems. Journal of Web Semantics, 3 (2), 158-182. (Pubitemid 41336740)
19. Haarslev, V., & M̈oller, R. (2001). RACER System Description. In Goŕe, R., Leitsch, A., & Nipkow, T. (Eds.), Proc. of the 1st Int. Joint Conf. on Automated Reasoning (IJCAR 2001), Vol. 2083 of LNAI, pp. 701-706, Siena, Italy. Springer. (Pubitemid 33291468)
20. Hayes, P. (2004). RDF Semantics. World Wide Web Consortium (W3C) Recommendation.
21. Horrocks, I., Patel-Schneider, PF., & van Harmelen, F. (2003). From SHIQ and RDF to OWL: the making of a web ontology language. Journal Web Semantics, 1 (1), 7-26. (Pubitemid 44914724)
22. Kiryakov, A., Ognyanov, D., & Manov, D. (2005). Owlim-A pragmatic semantic repository for owl.. In Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., & Sheng, Q. Z. (Eds.), WISE Workshops, pp. 182-192. (Pubitemid 43836908)
23. Lacy, L., Aviles, G., Fraser, K., Gerber,W., Mulvehill, A., & Gaskill, R. (2005). Experiences Using OWL inMilitary Applications. In Proc. of the OWL: Experiences and Directions Workshop (OWLED 2005), Galway, Ireland.
24. Lutz, C., Toman, D., & Wolter, F. (2009). Conjunctive query answering in the description logic EL using a relational database system. In Proceedings of the 21st International Joint Conference on AI (IJCAI), pp. 2070-2075.
25. Ma, L., Yang, Y., Qiu, Z., Xie, G. T., Pan, Y., & Liu, S. (2006). Towards a complete OWL ontology benchmark. In Proceedings of the 3rd European Semantic Web Conference (ESWC 2006), pp. 125-139. (Pubitemid 44071156)
26. McBride, Brian (2001). Jena: Implementing the RDF Model and Syntax Specification. In International Workshop on the Semantic Web 2001.
27. Meditskos, G., & Bassiliades, N. (2008). Combining a DL reasoner and a rule engine for improving entailment-based OWL reasoning. In Proceedings of the 7th International Semantic Web Conference (ISWC 2008), pp. 277-292.
28. Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., & Lutz, C. (2009a). OWL 2 Web Ontology Language Profiles. W3C Recommendation.
29. Motik, B., Shearer, R., & Horrocks, I. (2009b). Hypertableau Reasoning for Description Logics. J. Artificial Intelligence Research (JAIR), 173 (14), 1275-1309.
30. Ortiz, M., Calvanese, D., & Eiter, T. (2008). Data complexity of query answering in expressive description logics via tableaux. Journal of Automated Reasoning, 41 (1), 61-98.
31. Ṕerez-Urbina, H., Horrocks, I., & Motik, B. (2009). Efficient Query Answering for OWL 2. In Proceedings of the 8th International Semantic Web Conference (ISWC 2009), Vol. 5823 of LNCS, pp. 489-504.
32. Ṕerez-Urbina, H., Motik, B., & Horrocks, I. (2010). Tractable query answering and rewriting under description logic constraints. Journal of Applied Logic, 8 (2), 186-209.
33. Prud'hommeaux, E., & Seaborne, A. (2008). SPARQL query language for RDF. World Wide Web Consortium (W3C). W3C Recommendation.
34. Rector, A. L., & Rogers, J. (2006). Ontological and practical issues in using a description logic to represent medical concept systems: Experience from galen. In Barahona, P., Bry, F., Franconi, E., Henze, N., & Sattler, U. (Eds.), Reasoning Web, Second International Summer School 2006, pp. 197-231. (Pubitemid 44568366)
35. Sidhu, A., Dillon, T., Chang, E., & Sidhu, B. S. (2005). Protein Ontology Development using OWL. In Proc. of the OWL: Experiences and Directions Workshop (OWLED 2005), Galway, Ireland.
36. Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., & Katz, Y. (2007). Pellet: A practical OWL-DL reasoner. Journal of Web Semantics, 5 (2), 51-53. (Pubitemid 46856283)
37. Soergel, D., Lauser, B., Liang, A., Fisseha, F., Keizer, J., & Katz, S. (2004). Reengineering Thesauri for New Applications: The AGROVOC Example. J. of Digital Information, 4 (4).
38. Wu, Z., Eadon, G., Das, S., Chong, E. I., Kolovski, V., Annamalai, M., & Srinivasan, J. (2008). Implementing an inference engine for rdfs/owl constructs and user-defined rules in oracle. In Proceedings of the 2008 IEEE 24th International Conference on Data Engineering (ICDE '08), pp. 1239-1248.