Complexity of Planning in Action Formalisms Based on Description Logics.
Maja MilicicPublished in: LPAR (2007)
Keyphrases
- description logics
- reasoning tasks
- knowledge representation formalisms
- computational properties
- knowledge representation
- reasoning problems
- exptime complete
- knowledge base
- knowledge representation systems
- logic programming
- knowledge representation and reasoning
- reasoning services
- computing least common subsumers
- dl lite
- ontology languages
- semantic web
- concept descriptions
- computational complexity
- expressive power
- worst case
- artificial intelligence
- expert systems
- planning problems
- causal graph
- constraint satisfaction problems
- knowledge representation languages
- fuzzy description logics
- representing knowledge
- data complexity
- decision procedures
- temporal reasoning
- answer set programming
- owl ontologies
- default logic