A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results.
Tommaso Di NoiaEugenio Di SciascioFrancesco M. DoniniPublished in: Description Logics (2009)
Keyphrases
- expressive description logics
- description logics
- proof procedure
- abductive reasoning
- decision procedures
- regular path queries
- theorem proving
- computational properties
- modal logic
- functional dependencies
- owl dl
- logic programming
- prime implicates
- exptime complete
- reasoning tasks
- artificial intelligence
- first order logic
- knowledge base