Issues of Decidability for Description Logics in the Framework of Resolution
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 191-205
- https://doi.org/10.1007/3-540-46508-1_13
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A non-elementary speed-up in proof length by structural clause form transformationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A resolution decision procedure for the guarded fragmentPublished by Springer Nature ,1998
- Automated Deduction Techniques for Classification in Description Logic SystemsJournal of Automated Reasoning, 1998
- The Price of UniversalityNotre Dame Journal of Formal Logic, 1996
- Deduction in Concept Languages: from Subsumption to Instance CheckingJournal of Logic and Computation, 1994
- Am empirical analysis of optimization techniques for terminological representation systemsApplied Intelligence, 1994
- Resolution Methods for the Decision ProblemPublished by Springer Nature ,1993
- Attributive concept descriptions with complementsArtificial Intelligence, 1991
- A Structure-preserving Clause Form TranslationJournal of Symbolic Computation, 1986
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976