Generalized Satisfiability for the Description Logic ALC
Arne MeierThomas SchneiderPublished in: CoRR (2011)
Keyphrases
- description logic alc
- modal logic
- description logics
- normal form
- temporal logic
- decision procedures
- reasoning tasks
- computational properties
- inference rules
- databases
- prime implicates
- computational complexity
- knowledge base
- information retrieval
- constraint satisfaction
- search algorithm
- satisfiability problem
- artificial intelligence
- learning algorithm
- machine learning
- database