Bổn thể ngữ ngôn

TạiKế toán cơ khoa họcHòaNhân công trí năngLĩnh vực,Bổn thể ngữ ngôn(ontology language,Hựu xưng viBổn thể luận ngữ ngôn) thị chỉ dụng vu cấu kiếnBổn thểĐíchHình thức ngữ ngôn.Thử loại ngữ ngôn duẫn hứa đối hữu quan đặc địnhLĩnh vựcĐíchTri thứcGia dĩ biên mã, thả thường thường hoàn bao quát vi xử lý giá ta tri thức đề cung chi trì đíchThôi lýQuy tắc.Bổn thể ngữ ngôn thông thường viThanh minh thức ngữ ngôn( hựu xưng vi biểu thuật hình ngữ ngôn, thuyết minh tính ngữ ngôn ), kỉ hồ tổng thị chúc vuKhuông giá ngữ ngônĐíchPhiếm hóaHình thức, thả nhất bàn đô cơ vuNhất giai la tậpHoặcMiêu thuật la tập.

Phân loại

Án ngữ pháp phân loại

Truyện thống ngữ pháp bổn thể ngữ ngôn

• CycL
• DOGMA(Developing Ontology-Grounded Methods and Applications,Tự diện ý tư vi “Kiến lập cơ vu bổn thể đích phương pháp hòa ứng dụng” )
• F-Logic(Frame Logic,Khuông giá la tập, F- la tập )
• KIF(Knowledge Interchange Format,Tri thức giao hoán cách thức )
  • Cơ vu KIF đíchOntolingua
• KL-ONE
• KM biên trình ngữ ngôn
• LOOM
• OCML(Operational Conceptual Modelling Language,Thao tác hình khái niệm kiến mô ngữ ngôn )
• Khai phóng tri thức khố liên tiếp(Open Knowledge Base Connectivity,Khai phóng tri thức khố liên tiếp )
• PLIB(Parts LIBrary,Tự diện ý tư vi “Bộ kiện khố “)
• RACER hệ thống( thôi lý cơ )

Tiêu ký bổn thể ngữ ngôn

Thử loại ngữ ngôn thải dụng mỗ chủngTiêu kýPhương án lai biên mã tri thức, thả tối vi thường dụng đích tiêu ký ngữ ngôn thịXML.

• DAML+OIL
• OIL( Ontology Inference Layer hoặc giả Ontology Interchange Language, OIL, bổn thể thôi lý tằng hoặc giả bổn thể giao hoán ngữ ngôn )
• Võng lạc bổn thể ngữ ngôn( OWL, Web Ontology Language )
• Tư nguyên miêu thuật khuông giá( RDF, Resource Description Framework )
• RDF mô thức
• SHOE

Án kết cấu phân loại

Cơ vu khuông giá đích bổn thể ngữ ngôn

F-Logic,OKBCHòaKM biên trình ngữ ngônChúc vu thị hoàn toàn hoặc giả bộ phânCơ vu khuông giáĐích ngữ ngôn.

Cơ vu miêu thuật la tập đích bổn thể ngữ ngôn

Miêu thuật la tậpĐề cung liễu đối vuKhuông giá ngữ ngônĐích nhất chủng khoách triển, đãn đồng thời kỳ biến động phúc độ hựu một hữu đại đáo dược thiên chíNhất giai la tậpDĩ cập chi trì nhậm ý đích vị từ. Thử loại ngữ ngôn đích lệ tử bao quátKL-ONE,RACER hệ thốngHòaOWL.

GellishTức thị tổng hợp tính bổn thể ngữ ngôn đích lệ tử, đồng thời hựu chúc vu thị cơ vu miêu thuật la tập đíchBổn thể.Trừ liễu biệt đích chi ngoại,GellishVưu kỳ khu phân hạ liệt quan hệ loại hình chi gian đích ngữ nghĩa soa biệt:

• Khái niệm ( loại ) chi gian quan hệ đích quan hệ loại hình
• Cá thể chi gian quan hệ đích quan hệ loại hình
• Cá thể dữ loại chi gian quan hệ đích quan hệ loại hình

Đồng thời,GellishChi trung hoàn bao hàm dụng vu biểu đạt tra tuân dĩ cập giao tế ý đồ đích cấu tạo.

Cơ vu nhất giai la tập đích bổn thể ngữ ngôn

CycLHòaKIFChúc vu thị chi trìNhất giai la tậpBiểu đạt thức đích ngữ ngôn, vưu kỳ thị duẫn hứa thông dụngVị từ(general predicates).

Tham khảo văn hiến

• Oscar Corcho, Asuncion Gomez-Perez,http://www.cs.man.ac.uk/~ocorcho/documents/ekaw00_CorchoGomezPerez.pdf(Hiệt diện tồn đương bị phân,Tồn vuHỗ liên võng đương án quán)(2000)
• Enrico Franconi.Miêu thuật la tập nhập mônKhóa trình(Hiệt diện tồn đương bị phân,Tồn vuHỗ liên võng đương án quán). Ý đại lợi bác nhĩ trát nặc tự do đại học kế toán cơ khoa học viện.

Tham duyệt

• Nhân công ngữ ngôn
  • Hình thức ngữ ngôn
• Bổn thể
  • Bổn thể công trình
• Chính quy khái niệm phân tích pháp
• Nhất giai la tập
• Miêu thuật la tập
• Tri thức biểu đạt
• Tinh cách
• Vực lý luận
• Già la ngõa liên tiếp