Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing.
Benjamin ZarrießJens ClaßenPublished in: Description Logics (2015)
Keyphrases
- description logics
- exptime complete
- model checking
- pspace complete
- reasoning tasks
- knowledge representation
- tight complexity bounds
- knowledge base
- situation calculus
- semantic web
- function symbols
- expressive power
- expert systems
- reasoning problems
- ontology languages
- computational properties
- first order logic
- concept descriptions
- computing least common subsumers
- dl lite
- owl ontologies
- fixpoint
- partially ordered
- data complexity
- answer sets
- temporal logic
- query answering
- np complete
- logical implication
- reasoning services
- data management
- artificial intelligence