Axiom pinpointing in general tableaux

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

Volumn 4548 LNAI, Issue , 2007, Pages 11-27

  Baader, Franz ^a   Peñaloza, Rafael ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SCIENCE; DATA STRUCTURES; KNOWLEDGE ENGINEERING;

AXIOM PINPOINTING; GENERAL TABLEAUX;

LOGIC PROGRAMMING;

EID: 37249044864     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73099-6_4     Document Type: Conference Paper

References (26)

1. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. of IJCAI 2005, pp. 364-369. Morgan Kaufmann, Los Altos (2005)
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
3. Baader, F., Hladik, J., Lutz, C., Wolter, F.: From tableaux to automata for description logics. Fundamenta Informaticae 57(2-4), 247-279 (2003)
4. Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. of Automated Reasoning 14, 149-180 (1995)
5. Baader, F., Penaloza, R.: Axiom pinpointing in general tableaux. LTCS-Report 07-01, TU Dresden, Germany, (2007) See http://lat.inf.tu-dresden.de/ research/reports.html
6. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5-40 (2001)
7. Bailey, J., Stuckey, P.J.: Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization. In: Hermenegildo, M.V., Cabeza, D. (eds.) Practical Aspects of Declarative Languages. LNCS, vol. 3350, pp. 174-186. Springer, Heidelberg (2005)
8. Davydov, G., Davydova, I., Büning, H.K.: An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF. Ann. of Mathematics and Artificial Intelligence 23(3-4), 229-245 (1998)
9. Garey, M.R., Johnson, D.S.: Computers and Intractability -A guide to NP-completeness. W. H. Freeman and Company, San Francisco (CA, USA) (1979)
10. Haarslev, V., Möller, R.: RACER system description. In: Proc. of IJCAR 2001 (2001)
11. Hollunder, B.: Hybrid inferences in KL-ONE-based knowledge representation systems. In: Proc. of German Workshop on AI, pp. 38-47. Springer, Heidelberg (1990)
12. Horrocks, I.: Using an expressive description logic: FaCT or fiction. In: Proc. of KR'98, pp. 636-647 (1998)
13. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics 1(1), 7-26 (2003)
14. Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B., Hendler, J.: Swoop: A Web ontology editing browser. J. of Web Semantics, 4(2) (2005)
15. Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The Protégé OWL plugin: An open development environment for semantic web applications. In: Proceedings of the Third Int. Semantic Web Conf. Hiroshima, Japan (2004)
16. Liffiton, M.H., Sakallah, K.A.: On finding all minimally unsatisfiable subformulas. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol. 3569, pp. 173-186. Springer, Heidelberg (2005)
17. Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic ALC. In: Proc. of AAAI 2006. AAAI Press/The MIT Press (2006)
18. Oberle, D., Volz, R., Motik, B., Staab, S.: An extensible ontology software environment. In: Handbook on Ontologies, International Handbooks on Information Systems, pp. 311-333. Springer, Heidelberg (2004)
19. Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proc. of WWW'05, pp. 633-640. ACM, New York (2005)
20. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57-95 (1987)
21. Schlobach, S.: Diagnosing terminologies. In: Proc. of AAAI 2005, AAAI Press/The MIT Press, pp. 670-675 (2005)
22. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI 2003, Acapulco, Mexico, pp. 355-362. Morgan Kaufmann, Los Altos (2003)
23. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48(1), 1-26 (1991)
24. Sirin, E., Parsia, B.: Pellet: An OWL DL reasoner. In: Proc. of DL 2004, pp. 212-213 (2004)
25. Spackman, K.A., Campbell, K.E., Cote, R.A.: SNOMED RT: A reference terminology for health care. J. of the American Medical Informatics Association, pp. 640-644, Fall Symposium Supplement (1997)
26. Zhang, L., Malik, S.: Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications. In: Proc. of DATE'03, pp. 10880-10885. IEEE Computer Society Press, Washington (2003)