Cast   Canthostnews   Libol   Catex [ Đăng Ký ] [ Đăng Nhập ]

Thống kê

Tổng tài liệu: 48728
Trong đó:
  • Bài báo: 777
  • Đề tài - Dự án: 192
  • Media: 24
  • Sách: 1043
  • Tài liệu khác: 42233
  • Tiêu chuẩn/ Quy chuẩn: 4459

Danh mục tài liệu

  Khoa học Tự nhiên (15546)
  Khoa học Kỹ thuật (16766)
  Khoa học Đời sống (1991)
  Xã hội và Nhân Văn (1415)
  Khoa học Sức khỏe (8557)
  Tiêu chuẩn/Quy chuẩn (4453)

Danh mục Alphabet

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 

Knowledge Creation Tools for DAML. (05/01/2014)
This report summarizes the work done by SRI International for DARPA's DAML research program during the period 2000-2005. This work falls into six categories. Using a first-order logic theorem prover, we verified and refined the axiomatic semantics of DAML+OIL and OWL. We led collaborative efforts to develop foundation ontologies of time and space for the Semantic Web. We led collaborative efforts to develop ontologies and related technologies for describing and reasoning about services on the Semantic Web (this work was focused around the OWL-S and SWSF ontologies), and we investigated techniques for automated discovery and composition of Web services. We...
Tác giả: Martin, D. L.; Denker, G.; Waldinger, R.; Hobbs, J. | Số trang: 26 | Lĩnh vực: CNTT | Năm XB: 2006 | Loại tài liệu: Tài liệu khác
Tài liệu cần xác thực trước khi tải

Tiêu đềTải về
  Knowledge Creation Tools for DAML. | Số trang: 26
         | Loại file: .pdf
  miễn phí


Tài liệu liên quan
© Copyright 2012 Trung tâm Thông tin Khoa học và Công nghệ - Sở Khoa học & Công nghệ TP. Cần Thơ
Địa chỉ: 118/3 Trần Phú - P.Cái Khế - Q.Ninh Kiều - TPCT
Điện thoại: 0292 3824031   Fax: 0292 3812352
Lượt truy cập:
(Website trong thời gian thử nghiệm)