Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes.
Serge AutexierDieter HutterPublished in: Description Logics (2013)
Keyphrases
- knowledge base
- description logics
- expressive description logics
- knowledge representation
- reasoning problems
- expressive power
- knowledge representation and reasoning
- computational properties
- reasoning mechanisms
- model construction
- web services
- artificial intelligence
- reasoning tasks
- reasoning processes
- dynamic aspects
- formal models
- conjunctive queries
- fuzzy description logics
- ontological reasoning