Abstract. Developing a good formali

Abstract. Developing a good formalism and an efficient decision procedure for the instance
checking problem is desirable for practical application of description logics. The data
complexity of the instance checking problem is coNP-complete even for Horn knowledge
bases in the basic description logic ALC. In this paper, we present and study weakenings
with PTime data complexity of the instance checking problem for Horn knowledge bases in
regular description logics

Kết quả (Việt) 1:

Tóm tắt. Phát triển một hình thức tốt và một thủ tục quyết định hiệu quả cho trường hợpkiểm tra vấn đề là mong muốn cho các ứng dụng thực tế của mô tả logic. Dữ liệuphức tạp của trường hợp kiểm tra vấn đề là coNP hoàn thành ngay cả đối với kiến thức Horncăn cứ trong logic cơ bản mô tả ALC. Trong bài này, chúng tôi trình bày và nghiên cứu weakeningsvới PTime dữ liệu phức tạp của trường hợp kiểm tra vấn đề đối với sừng kiến thức căn cứ tạiMô tả thường xuyên logic

Kết quả (Việt) 2:

Tóm tắt. Phát triển một hình thức tốt và một thủ tục ra quyết định hiệu quả cho các trường hợp
kiểm tra vấn đề là mong muốn cho các ứng dụng thực tế của logic mô tả. Các dữ liệu
phức tạp của các vấn đề kiểm tra dụ là coNP-đầy đủ ngay cả đối với Horn kiến thức
căn cứ ở ALC mô tả logic cơ bản. Trong bài báo này, chúng tôi trình bày và nghiên cứu weakenings
với ptime dữ liệu phức tạp của các ví dụ kiểm tra vấn đề cho Horn cơ sở tri thức trong
logic mô tả thường xuyên