Tableau caching for description logics with inverse and transitive roles

CEUR Workshop Proceedings

Volumn 189, Issue , 2006, Pages 143-150

  Ding, Yu ^a   Haarslev, Volker ^a  

^a Civil and Environmental Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CACHING TECHNIQUE; CURRENT LOSS; DESCRIPTION LOGIC; EMPIRICAL EVALUATIONS; KNOWLEDGE BASIS; OPTIMIZATION TECHNIQUES; REASONER; RUNTIME PERFORMANCE; SATISFIABILITY; SATISFIABILITY TESTER; SYNTHESIS TECHNIQUES;

FORMAL LANGUAGES; FORMAL LOGIC;

DATA DESCRIPTION;

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

References (16)

1. Brachman, R., McGuinness, D., Patel-Schneider, P., Resnick, L., Borgida, A.: Living with CLASSIC: When and how to use a KL-ONElike language. Principles of Semantic Networks, edited by John Sowa, Morgan Kaufmann, (1991) 401-456.
2. Schmidt-Schauss M., Smolka G.: Attributive concept descriptions with complements. Artificial Intelligence, Vol 48, (1991) 1-26.
3. Baader, F., Hollunder, B., Nebel, B., Profitlich, H.-J., Franconi, E.: An Empirical Analysis of Optimization Techniques for Terminological Representation Systems - or - Making KRIS get a move on: KR-92, (1992) 270-281.
4. Buchheit M., Donini F., Nutt W., Schaerf A.: Decidable Reasoning in Terminological Knowledge Representation Systems. Journal of Artificial Intelligence Research, Vol 1 (1993) 109-138.
5. Paolo Bresciani, Enrico Franconi, and Sergio Tessaris: Implementing and testing expressive description logics: a preliminary report. DL-95 (1995).
6. De Giacoma, G., Donini, F., Massacci, F.: EXPTIME Tableaux for ALC: DL-96, (1996).
7. Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. DL-98 (1998).
8. I. Horrocks and U. Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Journal of Logic and Computation, 9(3), (1999) 385-410.
9. Ian Horrocks: Using an expressive description logic: FaCT or fiction?: KR-98 (1998).
10. Volker Haarslev, Ralf M̈oller: Consistency Testing: The RACE Experience: Proc. of TABLEAUX'2000, (2000) 57-61.
11. F. Baader, U. Sattler: An Overview of Tableau Algorithms for Description Logics. Studia Logica, 69, (2001) 5-40.
12. Volker Haarslev, Ralf M̈oller: High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. Proc. of IJCAI'2001 (2001) 161-166.
13. Volker Haarslev: Theory and Practice of Visual Languages and Description Logics: Habilitation Thesis, Computer Science Department, University of Hamburg, September (2001).
14. Volker Haarslev, Ralf M̈oller: RACER System Description: Proc. of IJCAR'2001 (2001).
15. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003).
16. Yu Ding, Volker Haarslev: Towards Efficient Reasoning for Description Logics with Inverse Roles. DL-05 (2005) 208-215.