Implementing Automated Robot Task Planning and Execution Based on Description Logic KB.
Joonmyun ChoHyun KimJoochan SohnPublished in: SIMPAR (2010)
Keyphrases
- description logics
- knowledge base
- plan generation
- plan execution
- reasoning tasks
- knowledge representation
- reasoning problems
- reasoning mechanism
- computing least common subsumers
- planning problems
- ontology reasoning
- ontology languages
- snomed ct
- dl lite
- computational properties
- owl dl
- owl ontologies
- semantic mapping
- belief revision