Explaining subsumption by optimal interpolation

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 413-425

  Schlobach, Stefan ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTATIONAL METHODS; MATHEMATICAL MODELS; OPTIMAL SYSTEMS; SYNTACTICS; ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; DATA DESCRIPTION; INTERPOLATION; SEMANTICS;

BOOLEAN MINIMIZATION; COMPUTATIONAL SCALABILITY; INTERPOLANTS; OPTIMAL INTERPOLATION;

INTERPOLATION; FORMAL LOGIC;

COMPUTATIONAL SCALABILITY; DESCRIPTION LOGIC; INTERPOLANTS; MINIMISATION; OPTIMAL INTERPOLATION; SATISFIABILITY; SEMANTIC PROPERTIES;

EID: 22944434247     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_35     Document Type: Conference Paper

References (14)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
2. F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studia Logica, 69:5-40, 2001.
3. B. Beckert and R. Goré. Modleantap and modleantest.pl, 1998. http://i12www.ira.uka.de/modlean.
4. A. Borgida, E. Franconi, I. Horrocks, D. McGuinness, and P. Patel-Schneider. Explaining ALC subsumption. In DL-99, pages 37-40, 1999.
5. W. Craig. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Journal of Symbolic Logic, 22:269-285, 1957.
6. Minutes of the DL Implementation Group Workshop. http://dl.kr.org/dig/minutes-012002.html, visited on January 9, 2003.
7. U. Endriss. Reasoning in description logics with WELLINGTON 1. 0. In Proceedings of the Automated Reasoning Workshop 2000, London, UK, y2000.
8. M. Kracht. Tools and Techniques in Modal Logic. North Holland, 1999.
9. B. Nebel. Terminological reasoning is inherently intractable. AI, 43:235-249, 1990.
10. W. V. Quine. The problem of simplifying truth functions. American Math. Monthly, 59:521-531, 1952.
11. W. Rautenberg. Modal tableau calculi and interpolation. Journal of Philosophical Logic, 12:403-423, 1983.
12. S. Schlobach. Knowledge Acquisition in Hybrid Knowledge Representation Systems. PhD thesis, University of London, 2002.
13. S. Schlobach. Optimal interpolation. Technical Report PP-2003-23, Universiteit van Amsterdam, ILLC, 2003. Beta Preprint Publication.
14. S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In Proceedings of the eighteenth International Joint Conference on Artificial Intelligence, IJCAI'03. Morgan Kaufmann, 2003.