Algebraic tableau algorithm for ALCOQ

CEUR Workshop Proceedings

Volumn 477, Issue , 2009, Pages

  Faddoul, Jocelyne ^a   Haarslev, Volker ^a   Möller, Ralf ^b  

^a Dept of Electrical and Computer Engineering   (Canada)

^b HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (18)

1. Baader, F., Buchheit, M., and Hollunder, B. Cardinality restrictions on concepts. Artificial Intelligence 88, 1-2 (1996), 195-213.
2. Baader, F., and Sattler, U. An overview of tableau algorithms for description logics. Studia Logica 69 (2001), 5-40.
3. Faddoul, J., Farsinia, N., Haarslev, V., and M̈oller, R. A hybrid tableau algorithm for ALCQ, . In Proc. of the 2008 Int. Workshop on Description Logics, also in 18th European Conference on Artificial Intelligence (ECAI 2008) (2008), pp. 725-726.
4. Faddoul, J., Haarslev, V., and M̈oller, R. Hybrid reasoning for description logics with nominals and qualified number restrictions. Tech. rep., Institute for Software Systems (STS), Hamburg University of Technology, 2008. http://www.sts.tu-harburg.de/tech-reports/papers.html.
5. Farsinia, N. Combining integer programming and tableau-based reasoning: A hybrid calculus for the description logic SHQ. Master's thesis, Concordia University, 2008.
6. Haarslev, V., and M̈oller, R. Optimizing reasoning in description logics with qualified number restrictions. In Description Logics (2001).
7. Hollunder, B., and Baader, F. Qualifying number restrictions in concept languages. In Proc. of the 2nd Int. Conference on Principles of Knowledge Representation and Reasoning, KR-91 (Boston (USA), 1991), pp. 335-346.
8. Haarslev, V., Timmann, M., and M̈oller, R. Combining tableaux and algebraic methods for reasoning with qualified number restrictions. In Description Logics (2001), pp. 152-161.
9. Horrocks, I., and Sattler, U. Ontology reasoning in the SHOQ(D) description logic. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001) (2001), Morgan Kaufmann, Los Altos, pp. 199-204.
10. Horrocks, I., and Sattler, U. A tableaux decision procedure for SHOIQ. Journal of Automated Reasoning (2007), 249-276.
11. Motik, B., and Horrocks, I. Individual reuse in description logic reasoning. In IJCAR (2008), pp. 242-258.
12. Motik, B., Patel-Schneider, P. F., and Cuenca Grau, B. OWL 2 web ontology language: Direct semantics. Latest version available at http://www.w3.org/TR/ owl2-semantics/.
13. Motik, B., Shearer, R., and Horrocks, I. Optimized reasoning in description logics using hypertableaux. In (CADE-21) (2007), vol. 4603 of Lecture Notes in Artificial Intelligence, Springer, pp. 67-83.
14. Ohlbach, H. J., and Koehler, J. Modal logics description logics and arithmetic reasoning. Artificial Intelligence 109, 1-2 (1999), 1-31.
15. Parsia, B., Cuenca Grau, B., and Sirin, E. From wine to water: Optimizing description logic reasoning for nominals. In Proc. of the 10th Int. Conference on Principles of Knowledge Representation and Reasoning (KR) (2006), pp. 90-99.
16. Tobies, S. The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. Journal of Artificial Intelligence Research 12 (2000), 199-217.
17. Wolstencroft, K., Brass, A., Horrocks, I., Lord, P., Sattler, U., Stevens, R., and Turi, D. A little semantic web goes a long way in biology. In 4th Int. Semantic Web Conference (Ireland, 2005), vol. 3792, pp. 786-800.
18. Kazakov, Y., and Motik, B. A Resolution-Based Decision Procedure for SHOIQ, vol. 4130/2006. Springer Berlin/Heidelberg, 2006, pp. 662-677.