Reasoning about Assembly Sequences Based on Description Logic and Rule.
Yu MengTianlong GuLiang ChangPublished in: Intelligent Information Processing (2012)
Keyphrases
- description logics
- knowledge base
- reasoning tasks
- knowledge representation
- ontology languages
- concept descriptions
- computational properties
- reasoning problems
- dl lite
- semantic web
- formal theory
- logical implication
- knowledge representation languages
- ontology reasoning
- computing least common subsumers
- reasoning mechanism
- semantic mapping
- reasoning services
- model theoretic
- artificial intelligence
- query processing
- modal operators
- number restrictions