Reasoning over ontologies with hidden content: The import-by-query approach

Journal of Artificial Intelligence Research

Volumn 45, Issue , 2012, Pages 197-255

  Grau, Bernardo Cuenca ^a   Motik, Boris ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

QUERY INTERFACES; REASONING ALGORITHMS;

ARTIFICIAL INTELLIGENCE;

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

References (29)

1. Baader, F., Brandt, S., & Lutz, C. (2005). Pushing the EL Envelope. In Kaelbling, L. P., & Saffiotti, A. (Eds.), Proc. of the 19th Int. Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 364-369, Edinburgh, UK. Morgan Kaufmann Publishers.
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., & Patel-Schneider, P. F. (Eds.). (2007). The Description Logic Handbook: Theory, Implementation and Applications (2nd edition). Cambridge University Press.
3. 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, 9 (3), 385-429.
4. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2004). What to Ask to a Peer: Ontolgoy-based Query Reformulation. In Dubois, D., Welty, C. A., & Williams, M.-A. (Eds.), Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004), pp. 469-478. AAAI Press.
5. Cuenca Grau, B., Horrocks, I., Kazakov, Y., & Sattler, U. (2007). A Logical Framework for Modularity of Ontologies. In Veloso, M. M. (Ed.), Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 298-303, Hyderabad, India.
6. Cuenca Grau, B., Horrocks, I., Kazakov, Y., & Sattler, U. (2008). Modular Reuse of Ontologies: Theory and Practice. Journal of Artificial Intelligence Research, 31, 273-318.
7. Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., & Sattler, U. (2008). OWL 2: The next step for OWL. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 6 (4), 309-322.
8. Doran, P., Tamma, V. A. M., & Iannone, L. (2007). Ontology module extraction for ontology reuse: an ontology engineering perspective. In Silva, M. J., Laender, A. H. F., Baeza- Yates, R. A., McGuinness, D. L., Olstad, B., Olsen, Ø. H., & Falc̃ao, A. O. (Eds.), Proc. of the 16th ACM Conference on Information and Knowledge Management (CIKM 2007), pp. 61-70, Lisbon, Portugal. ACM.
9. Horrocks, I., Patel-Schneider, P. F., & van Harmelen, F. (2003). From SHIQ and RDF to OWL: the making of a Web Ontology Language. Journal of Web Semantics, 1 (1), 7-26.
10. Horrocks, I., & Sattler, U. (1999). A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Journal of Logic and Computation, 9 (3), 385-410.
11. Horrocks, I., & Sattler, U. (2005). A Tableaux Decision Procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 448-453, Edinburgh, UK. Morgan Kaufmann Publishers.
12. Hustadt, U., Motik, B., & Sattler, U. (2005). Data Complexity of Reasoning in Very Expressive Description Logics. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 466-471, Edinburgh, UK. Morgan Kaufmann Publishers.
13. Jiménez-Ruiz, E., Cuenca Grau, B., Sattler, U., Schneider, T., & Berlanga Llavori, R. (2008). Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. In Bechhofer, S., Hauswirth, M., Hoffmann, J., & Koubarakis, M. (Eds.), Proc. of the 5th European Semantic Web Conference (ESWC 2008), Vol. 5021 of LNCS, pp. 185-199, Tenerife, Spain. Springer.
14. Konev, B., Lutz, C., Walther, D., & Wolter, F. (2008). Semantic Modularity and Module Extraction in Description Logics. In Ghallab, M., Spyropoulos, C. D., Fakotakis, N., & Avouris, N. M. (Eds.), Proc. of the 18th European Conf. on Artificial Intelligence (ECAI 2008), Vol. 178 of FAIA, pp. 55-59, Patras, Greece. IOS Press.
15. Konev, B., Walther, D., & Wolter, F. (2009). Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. In Boutilier, C. (Ed.), Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI 2009), pp. 830-835, Pasadena, CA, USA.
16. Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F., & Zakharyaschev, M. (2009). Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. In Boutilier, C. (Ed.), Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI 2009), pp. 836-841, Pasadena, CA, USA.
17. Lutz, C., Walther, D., & Wolter, F. (2007). Conservative Extensions in Expressive Description Logics. In Veloso, M. M. (Ed.), Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 453-458, Hyderabad, India.
18. Lutz, C., & Wolter, F. (2010). Deciding inseparability and conservative extensions in the description logic EL. Journal of Symbolic Computation, 45 (2), 194-228.
19. Lutz, C., & Wolter, F. (2011). Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. In Walsh, T. (Ed.), Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011), pp. 989-995, Barcelona, Spain.
20. Motik, B., & Horrocks, I. (2008). Individual Reuse in Description Logic Reasoning. In Armando, A., Baumgartner, P., & Dowek, G. (Eds.), Proc. of the 4th Int. Joint Conf. on Automated Reasoning (IJCAR 2008), Vol. 5195 of LNAI, pp. 242-258, Sydney, NSW, Australia. Springer.
21. Motik, B., Shearer, R., & Horrocks, I. (2009). Hypertableau Reasoning for Description Logics. Journal of Artificial Intelligence Research, 36, 165-228.
22. Nikitina, N. (2011). Forgetting in General EL Terminologies. In Rosati, R., Rudolph, S., & Zakharyaschev, M. (Eds.), Proc. of the 24th Int. Workshop on Description Logics (DL 2011), Vol. 745 of CEUR Workshop Proceedings, Barcelona, Spain.
23. Papadimitriou, C. H. (1993). Computational Complexity. Addison Wesley.
24. Sattler, U., Schneider, T., & Zakharyaschev, M. (2009). Which Kind of Module Should I Extract?. In Cuenca Grau, B., Horrocks, I., Motik, B., & Sattler, U. (Eds.), Proc. of the 22nd Int. Workshop on Description Logics (DL 2009), Vol. 477 of CEUR Workshop Proceedings, Oxford, UK.
25. Stuckenschmidt, H., Parent, C., & Spaccapietra, S. (Eds.). (2009). Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, Vol. 5445 of LNCS. Springer.
26. Tobies, S. (2000). The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. Journal of Artificial Intelligence Research, 12, 199- 217.
27. Wang, K., Wang, Z., Topor, R. W., Pan, J. Z., & Antoniou, G. (2009). Concept and Role Forgetting in ALC Ontologies. In Bernstein, A., Karger, D. R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., & Thirunarayan, K. (Eds.), Proc. of the 8th Int. Semantic Web Conference (ISWC 2009), Vol. 5823 of LNCS, pp. 666-681, Chantilly, VA, USA. Springer.
28. Wang, Z., Wang, K., Topor, R. W., & Pan, J. Z. (2008). Forgetting Concepts in DL-Lite. In Bechhofer, S., Hauswirth, M., Hoffmann, J., & Koubarakis, M. (Eds.), Proc. of the 5th European Semantic Web Conference (ESWC 2008), Vol. 5021 of LNCS, pp. 245-257. Springer.
29. Wang, Z., Wang, K., Topor, R. W., & Zhang, X. (2010). Tableau-based Forgetting in ALC Ontologies. In Coelho, H., Studer, R., & Wooldridge, M. (Eds.), Proc. of the 19th European Conference on Artificial Intelligence, Vol. 215 of Frontiers in Artificial Intelligence and Applications, pp. 47-52, Lisbon, Portugal. IOS Press.