Modal vs. Propositional Reasoning for model checking with Description Logics.
Shoham Ben-DavidRichard J. TreflerGrant E. WeddellPublished in: Description Logics (2007)
Keyphrases
- model checking
- description logics
- cl pc
- reasoning tasks
- reasoning problems
- temporal logic
- fuzzy description logics
- knowledge base
- modal logic
- knowledge representation and reasoning
- coalition logic
- computational properties
- reasoning services
- logical framework
- transition systems
- knowledge representation
- decision procedures
- number restrictions
- computing least common subsumers
- knowledge representation languages
- finite state machines
- owl dl
- model checker
- model theoretic
- formal specification
- pspace complete
- finite state
- dl lite
- default logic
- epistemic logic
- prime implicates
- automated reasoning
- first order logic
- nonmonotonic logics
- satisfiability problem
- probabilistic logic
- formal methods
- propositional logic
- inference rules
- ontology languages