Racer (Renamed ABox and Concept Exp

Racer (Renamed ABox and Concept Expression Reasoner) is a server-side reasoner for building ontology- based applications, available through Java and Common Lisp APIs [20]. Racer provides not only standard reasoning mechanisms but also logical abduction. It implements a highly optimized tableau calculus for the Description Logic SRIQ(D). Racer supports the consistency check of RDF data descriptions and OWL 2
ontologies and can open multiple ontologies simultaneously for ontology merging. It can find implicit subclass relationships induced by the axioms of an ontology and find synonyms for properties, classes, or instances.
Racer can retrieve information from OWL/RDF documents via SPARQL queries and also support incremental queries. It supports FaCT optimization techniques and optimization for number restrictions and ABoxes.

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

Đua xe (đổi tên thành ABox và khái niệm biểu hiện Reasoner) là một server-side reasoner để xây dựng các ontology-dựa trên ứng dụng có sẵn thông qua Java và phổ biến Lisp API [20]. Tay đua cung cấp không chỉ là cơ chế tiêu chuẩn lý luận mà còn là hợp lý bắt cóc. Nó thực hiện các tính toán rất tối ưu hóa hoạt cảnh mô tả Logic SRIQ(D). Tay đua hỗ trợ kiểm tra tính nhất quán của RDF dữ liệu mô tả và cú 2ontologies và có thể mở nhiều ontologies đồng thời để ghép nối các ontology. Nó có thể tìm mối quan hệ phân lớp tiềm ẩn gây ra bởi các tiên đề của một ontology và tìm từ đồng nghĩa cho thuộc tính, các lớp học hoặc trường hợp.Tay đua có thể truy xuất thông tin từ các tài liệu OWL/RDF via SPARQL truy vấn và cũng hỗ trợ gia tăng truy vấn. Nó hỗ trợ kỹ thuật tối ưu hóa thực tế và tối ưu hóa cho số lượng hạn chế và ABoxes.

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

Racer (ABox đổi tên và khái niệm biểu hiện lý luận) là một nhà lý phía máy chủ để xây dựng các ứng dụng dựa ontology-, có sẵn thông qua Java và Common Lisp API [20]. Racer không chỉ cung cấp các cơ chế lập luận tiêu chuẩn mà còn bắt cóc logic. Nó thực hiện một phép tính hoạt cảnh tối ưu hóa cao cho các SRIQ Description Logic (D). Racer hỗ trợ việc kiểm tra tính nhất quán của các mô tả dữ liệu RDF và OWL 2
bản thể và có thể mở nhiều bản thể đồng thời cho ontology sáp nhập. Nó có thể tìm thấy mối quan hệ lớp con tiềm ẩn gây ra bởi các tiên đề của một bản thể học và tìm từ đồng nghĩa cho tài sản, lớp học, hoặc trường hợp.
Racer có thể lấy thông tin từ các tài liệu OWL / RDF qua các truy vấn SPARQL và cũng hỗ trợ truy vấn gia tăng. Nó hỗ trợ các kỹ thuật tối ưu hóa thực tế và tối ưu hóa cho các hạn chế số lượng và ABoxes.