Hệ thống HBAS ngày càng phổ biến trong môi trường sống thông minh, nhưng dễ phát sinh xung đột khi nhiều người dùng có nhu cầu khác nhau. Bài báo đề xuất một khung giải pháp gồm các mô-đun truy vấn, phân tích, dịch và ra quyết định, sử dụng ontology để mô hình hóa các thực thể như người dùng, hoạt động, biến môi trường và dịch vụ. Xung đột được phát hiện thông qua truy vấn SPARQL và được giải quyết bằng kỹ thuật CSP, kể cả trong trường hợp không có lời giải tối ưu (MAX-CSP). Hệ thống còn hỗ trợ tối ưu hóa tiêu thụ năng lượng bằng cách lựa chọn cấu hình thiết bị phù hợp nhất. Mô hình được triển khai bằng Java, sử dụng Apache Jena và JSolver. Kết quả cho thấy hệ thống có khả năng thích ứng môi trường tự động theo nhu cầu người dùng và tiết kiệm năng lượng.