Bounded Model Checking with Description Logic Reasoning.
Shoham Ben-DavidRichard J. TreflerGrant E. WeddellPublished in: TABLEAUX (2007)
Keyphrases
- description logics
- bounded model checking
- reasoning tasks
- reasoning problems
- expressive description logics
- reasoning systems
- knowledge base
- knowledge representation systems
- knowledge representation and reasoning
- computational properties
- reasoning services
- knowledge representation
- reasoning mechanism
- model checking
- number restrictions
- knowledge representation formalisms
- computing least common subsumers
- formal verification
- semantic web ontologies
- owl dl
- ontology reasoning
- temporal logic
- semantic web
- mathcal shiq
- web ontology language
- knowledge representation languages
- logical framework
- reasoning process
- multi agent systems
- dl lite
- ontology languages
- snomed ct
- logic programming
- decision procedures
- description logic programs
- domain specific
- logical implication
- linear temporal logic
- automated reasoning
- dl programs
- theorem proving
- temporal reasoning
- logic programs