FaCT++ (Fast Classification of Term

FaCT++ (Fast Classification of Terminologies) is a tableaux-based OWL 2 DL reasoner3 [19]. It can be used as a description logic classifier and for modal logic satisfiability testing. It implements a sound and complete tableau algorithm for expressive description logics. FaCT++ is available as a stand-alone tool, as a Protégé plug-in, and can be used in applications through the OWL API.

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

Thực tế ++ (nhanh là phân loại ngữ) là một con cú 2 DL tableaux dựa trên reasoner3 [19]. Nó có thể được sử dụng như là một mô tả logic loại và phương thức logic satisfiability thử nghiệm. Nó thực hiện một thuật toán hoạt cảnh âm thanh và đầy đủ ý nghĩa mô tả logic. Thực tế ++ có sẵn như là một công cụ độc lập, như một người bảo trợ plug-in, và có thể được sử dụng trong các ứng dụng thông qua API cú.

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

Thực tế ++ (Phân loại nhanh các thuật ngữ) là một hoạt cảnh dựa trên OWL DL 2 reasoner3 [19]. Nó có thể được sử dụng như một bộ phân loại mô tả logic và để thử nghiệm lý satisfiability phương thức. Nó thực hiện một âm thanh và thuật toán hoạt cảnh hoàn chỉnh cho logic mô tả biểu cảm. Thực tế ++ có sẵn như là một công cụ độc lập, như một Protégé plug-in, và có thể được sử dụng trong các ứng dụng thông qua các API OWL.