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 ô 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 ôKhuông giá ngữ ngônĐíchPhiếm hóaHình thức, thả nhất bàn đô cơ ôNhấ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(Anh ngữ:CycL)
DOGMA(Anh ngữ:DOGMA)(Developing Ontology-Grounded Methods and Applications,Tự diện ý tư vi “Kiến lập cơ ô bổn thể đích phương pháp hòa ứng dụng” )
F-Logic(Anh ngữ:F-Logic)(Frame Logic,Khuông giá la tập, F- la tập )
KIF(Anh ngữ:KIF)(Knowledge Interchange Format,Tri thức giao hoán cách thức )
- Cơ ô KIF đíchOntolingua(Anh ngữ:Ontolingua)
KL-ONE(Anh ngữ:KL-ONE)
KM biên trình ngữ ngôn
LOOM(Anh ngữ:LOOM (ontology))
OCML(Anh ngữ: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(Anh ngữ:PLIB)(Parts LIBrary,Tự diện ý tư vi “Bộ kiện khố “)
RACER hệ thống(Anh ngữ:RACER system)( 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(Anh ngữ:DAMLplusOIL)
OIL(Anh ngữ:Ontology Inference Layer)( 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(Anh ngữ:RDF Schema)
SHOE(Anh ngữ:SHOE)

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

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

F-Logic(Anh ngữ:F-Logic),OKBCHòaKM biên trình ngữ ngôn(Anh ngữ:KM programming language)Chúc ô thị hoàn toàn hoặc giả bộ phânCơ ô khuông giáĐích ngữ ngôn.

Cơ ô 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 ôKhuô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(Anh ngữ:KL-ONE),RACER hệ thống(Anh ngữ:RACER system)HòaOWL.

Gellish(Anh ngữ:Gellish)Tức thị tổng hợp tính bổn thể ngữ ngôn đích lệ tử, đồng thời hựu chúc ô thị cơ ô miêu thuật la tập đíchBổn thể.Trừ liễu biệt đích chi ngoại,Gellish(Anh ngữ:Gellish)Vư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,Gellish(Anh ngữ:Gellish)Chi trung hoàn bao hàm dụng ô biểu đạt tra tuân dĩ cập giao tế ý đồ đích cấu tạo.

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

CycL(Anh ngữ:CycL)HòaKIF(Anh ngữ:KIF)Chúc ô 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 ôVõng tế võng lộ đươ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 ôVõng tế võng lộ đươ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