Human-Centric Automation and Optimization for Smart Homes
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach