Putting ABox updates into action

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

Volumn 5749 LNAI, Issue , 2009, Pages 214-229

  Drescher, Conrad ^a   Liu, Hongkai ^a   Baader, Franz ^a   Guhlemann, Steffen ^a   Petersohn, Uwe ^a   Steinke, Peter ^a   Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; PROGRAMMING LANGUAGE; REDUNDANT INFORMATIONS;

DATA DESCRIPTION;

EID: 76649083568     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04222-5_13     Document Type: Conference Paper

References (29)

1. Levesque, H., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.: GOLOG: Alogic programming language for dynamic domains. Journal of Logic Programming (1997)
2. Thielscher, M.: FLUX: A Logic Programming Method for Reasoning Agents. Theory and Practice of Logic Programming (2005)
3. Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating Description Logics and Action Formalisms: First Results. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005). AAAI Press, Menlo Park (2005)
4. Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating Description Logic ABoxes. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006). AAAI Press, Menlo Park (2006)
5. Baader, F., Calvanese, D., Mcguinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
6. Drescher, C., Thielscher, M.: Integrating Action Calculi and Description Logics. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 68-83. Springer, Heidelberg (2007)
7. Drescher, C., Liu, H., et al.: Putting abox updates into action. LTCS-Report 09-01, Dresden University of Technology, Germany (2009), http://lat.inf.tu-dresden.de/research/reports.html
8. Areces, C., de Rijke, M.: From Description Logics to Hybrid Logics, and Back. In: Advances in Modal Logic (2001)
9. Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH-Aachen, Germany (2001)
10. Areces, C., Blackburn, P., Marx, M.: A road-map on complexity for hybrid logics. In: Flum, J., Rodríguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol. 1683, pp. 307-321. Springer, Heidelberg (1999)
11. Zezula, P., Batko, M., Dohnal, V., Amato, G.: Similarity Search: The Metric Space Approach. Springer, Heidelberg (2006)
12. Amir, E., Russell, S.J.: Logical Filtering. In: IJCAI 2003, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, San Francisco (2003)
13. Baader, F., Ghilardi, S., Lutz, C.: LTL over Description Logic Axioms. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008 (2008)
14. Bong, Y.: Description Logic ABox Updates Revisited. Master thesis, TU Dresden, Germany (2007)
15. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics (2007)
16. Borgida, A.: On the Relative Expressiveness of Description Logics and Predicate Logics. Artificial Intelligence (1996)
17. McCune, W.: OTTER 3.3 Manual. Computing Research Repository (2003)
18. Green, C.: Theorem Proving by Resolution as a Basis for Question-answering Systems. Machine Intelligence (1969)
19. Een, N., Sörensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502-518. Springer, Heidelberg (2004)
20. de Moura, L., Bjørner, N.: Z3: An efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
21. Davis, M., Putnam, H.: A Computing Procedure for Quantification Theory. Journal of the ACM (1960)
22. Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem-proving. Communications of the ACM (1962)
23. Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E., Rubio, A.: Challenges in Satisfiability Modulo Theories. In: Baader, F. (ed.) RTA 2007. LNCS, vol. 4533, pp. 2-18. Springer, Heidelberg (2007)
24. Zhang, L., Madigan, C.F., Moskewicz, M.H., Malik, S.: Efficient Conflict Driven Learning in a Boolean Satisfiability Solver. In: International Conference on Computer-Aided Design, ICCAD 2001 (2001)
25. Schlobach, S.: Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003). Morgan Kaufmann, San Francisco (2003)
26. Baader, F., Peñaloza, R.: Automata-Based Axiom Pinpointing. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 226-241. Springer, Heidelberg (2008)
27. Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall, Englewood Cliffs (2003)
28. Waldinger, R.J.: Whatever happened to deductive question answering? In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol. 4790, pp. 15-16. Springer, Heidelberg (2007)
29. Schmidt, R.A., Tishkovsky, D.: Using tableau to decide expressive description logics with role negation. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 438-451. Springer, Heidelberg (2007)