Bổn thể thị nhất cá điện tử công trình thuật ngữ. TạiKế toán cơ khoa họcDữTín tức khoa họcLĩnh vực, lý luận thượng, bổn thể thị chỉ nhất chủng “Hình thức hóa đích, đối vu cộng hưởng khái niệm thể hệ đích minh xác nhi hựu tường tế đích thuyết minh”. Bổn thể đề cung đích thị nhất chủng cộng hưởng từ biểu, dã tựu thị đặc định lĩnh vực chi trung na ta tồn tại trứ đíchĐối tượngLoại hìnhHoặc khái niệm cập kỳ chúc tính hòaTương hỗ quan hệ;Hoặc giả thuyết, bổn thể tựu thị nhất chủng đặc thù loại hình đíchThuật ngữ tập,Cụ hữu kết cấu hóa đích đặc điểm, thả canh gia thích hợp vu tạiKế toán cơ hệ thốngChi trung sử dụng; hoặc giả thuyết, bổn thể thật tế thượng tựu thị đối đặc địnhLĩnh vựcChi trung mỗ sáoKhái niệmCập kỳ tương hỗ chi gianQuan hệĐích hình thức hóa biểu đạt ( formal representation ). Bổn thể thị nhân môn dĩ tự kỷ hưng thúLĩnh vựcĐíchTri thứcVi tố tài, vận dụng tín tức khoa học đích bổn thể luận nguyên lý nhi biên tả xuất lai đíchTác phẩm.Bổn thể nhất bàn khả dĩ dụng lai châm đối cai lĩnh vực đích chúc tính tiến hànhThôi lý,Diệc khả dụng vu định nghĩa cai lĩnh vực ( dã tựu thị đối cai lĩnh vực tiến hành kiến mô ). Thử ngoại, hữu thời nhân môn dã hội tương “Bổn thể” xưng vi “Bổn thể luận”.[4]
Tác vi nhất chủng quan vuHiện thậtThế giớiHoặc kỳ trung mỗ cá tổ thành bộ phân đích tri thức biểu đạt hình thức, bổn thể đích ứng dụng lĩnh vực bao quát ( đãn bất cận hạn vu ):Nhân công trí năng,Ngữ nghĩa võng,Nhuyễn kiện công trình,Sinh vật y học tín tức học,Đồ thư quán họcDĩ cậpTín tức giá cấu.
- Trung văn danh
- Bổn thể
- Ngoại văn danh
- Ontology (information science)
- Lĩnh vực
- Điện tử công trình
Anh văn thuật ngữ “ontology”Nhất từ nguyên vu triết học lĩnh vãn đoạn vi vực, thả nhất trực dĩ lai tồn tại trứ hứa đa bất đồng đích dụng pháp. Tại kế toán cơ khoa học lĩnh vực, kỳ hạch tâm ý tư thị chỉ nhất chủng mô hình, dụng vu miêu thuật do nhất sáo đối tượng loại hình (Khái hoan thể giang niệmHoặc giả thuyếtTổ phiến loại), chúc tính dĩ cập quan hệ loại hình sở cấu thành đích thế giới. Tẫn quản bất đồng đích bổn thể đối vu giá ta cấu thành thành phân đích xác thiết xưng vị hữu sở bất đồng, đãn tha môn khước đô thị nhất bộ bổn thể bất khả hoặc khuyết đích cơ bổn yếu tố. Nhất bàn lai thuyết, nhân môn sở phổ biến kỳ vọng đích nhất điểm tựu thị, bổn thể chi trung mô hình đích na ta đặc chinh ứng đương phi thường loại tự vu tương ứng đích hiện thật thế giới.
Tựu kế toán cơ khoa học dữ triết học lai thuyết, nhị giả sở thuyết đích bổn thể chi gian đích cộng đồng chi xử tựu tại vu, tha môn đô thị y cư mỗ chủng loại biệt thể hệ, lai biểu đạtThật thểKhốc khỏa,Khái niệm,Sự kiện cập kỳ chiếu phù tương chúc tính hòa tương hỗ quan hệ. Tại giá lưỡng cá lĩnh vực đương trung, tồn tại châm đối bổn thể tương đối tính ( ontological relativity ) đích chủng chủng vấn đề ( bỉ như, triết học lĩnh vực đíchKhuê nhânHòaKhắc lí phổ khắc,Kế toán cơ khoa bạch bái tuần ngưu học lĩnh vực đíchTác ngõaĐịa tài dự hòaCao lợi nặc), nhân môn dĩ kinh hòa chính tại khai triển tương đương đại lượng đích công tác; nhi thả, nhân môn dã tại thảo luận quan vu quy phạm hóa bổn thể thị phủ cụ hữu sinh mệnh hoạt lực ( bỉ như, triết học lĩnh vực chi trung châm đối cơ sở chủ nghĩa thôi phiên kiệu ( foundationalism ) đích thảo luận, nhân công trí năng lĩnh vực chi trung châm đốiCycHạng mục đích thảo luận ). Nhị giả chi gian đích na ta soa biệt tại ngận đại trình độ thượng chỉ thị trắc trọng điểm đích vấn đề. Dữ kế toán cơ khoa học lĩnh vực đích nghiên cứu nhân viên tương bỉ, triết học gia môn tắc giác thiếu quan tâm sang kiến cố định bất biến đíchThụ khống từ biểu.Nhiên nhi, kế toán cơ khoa học gia môn tắc giác thiếu tham dữ hữu quan thủ yếu nguyên tắc đích thảo luận ( bỉ như, quan vu thị phủ tồn tại chư nhưBất biến bổn chất( fixed essences ) chi loại sự vật đích thảo luận, hoặc giả quan vu thật thể tại bổn thể luận thượng tất định bỉ quá trình canh vi cơ bổn đích thảo luận ).[1]
Tòng lịch sử thượng lai khán, bổn thể nguyên tựTriết họcChi trung xưng vi “Hình nhi thượng học”Đích phân chi. Hình nhi thượng học sở quan chú đích thịHiện thậtĐíchBổn chất,Dã tựu thịTồn tạiĐích bổn chất. Tác vi triết học đích nhất cá cơ bổn phân chi, hình nhi thượng học quan chú đích thị phân tích tồn tại đích các chủng loại hình hoặc mô thức, thả vãng vãng vưu kỳ quan chúCộng tươngDữThù tươngChi gian đích quan hệ,Bổn chinh tính chất dữ phi bổn chinh tính chấtChi gian đích quan hệ dĩ cậpBổn chấtDữTồn tạiChi gian đích quan hệ. Bổn thể luận tham tác hoạt động đích truyện thống mục tiêu vưu kỳ thị, vi liễu yết kỳ na ta cơ bổn đích loại biệt hoặc giả thuyết chủng loại, nhi tại quan kiện chi xử tương hiện thật thế giới hoa phân vi đối tượng đích tự nhiên loại biệt.
20 thế kỷ hạ bán diệp,Triết học giaMôn tựu như hà cấu kiến bổn thể đích khả hành phương pháp hoặc đồ kính triển khai quá quảng phiếm đích thảo luận, đãn thật tế thượng tha môn tự kỷ khước tịnh một hữu chân chính “Cấu kiến” xuất nhậm hà phi thường tinh tế tường tẫn đích bổn thể. Dữ thử tương bỉ,Kế toán cơ khoa học giaMôn đương thời tắc chính tại cấu kiến trứ nhất ta đại hình nhi hựu ổn kiện đích bổn thể ( nhưWordNetHòaCyc), đãn tương đối lai thuyết khước ngận thiếu châm đối “Như hà” cấu kiến bổn thể nhi tiến hành biện luận.
Tự 20 thế kỷ 70 niên đại trung kỳ dĩ lai,Nhân công trí năng( giản xưngAI) lĩnh vực đích nghiên cứu nhân viên nhận thức đáo, tri thức đích hoạch thủ nãi thị cấu kiến cường đại AI hệ thống đích quan kiện sở tại. AI nghiên cứu nhân viên nhận vi, tha môn khả dĩ bả tân đích bổn thể sang kiến thành viKế toán mô hình,Tòng nhi thành tựu đặc định loại hình đíchTự động thôi lý.20 thế kỷ 80 niên đại, AI lĩnh vực tựu khai thủy thải dụng thuật ngữontologyLai đồng thời chỉ xưng quan vu mô hình hóa thế giới đích nhất chủng lý luận dĩ cập tri thức hệ thống đích nhất chủng tổ kiện. Tá trợ vu lai tự triết học bổn thể luận đích linh cảm, nhất ta nghiên cứu nhân viên kế nhi bả kế toán cơ bổn thể luận thị vi nhất chủngỨng dụng triết học.
20 thế kỷ 90 niên đại sơ kỳ,Thang mỗ · cách lỗ báPhát biểu liễu nhất thiên hậu lai đắc đáo quảng phiếm dẫn dụng đích võng hiệt hòaLuận văn《Mại hướng tri thức cộng hưởng hình bổn thể đích thiết kế nguyên tắc》. Chi sở dĩ cai luận văn hoạch đắc nhân môn như thử đích thanh lãi, na yếu quy công vu kỳ trung cách lỗ bá đối vuKế toán cơ khoa họcThuật ngữ“ontology”Đích thẩm thận định nghĩa. Cách lỗ bá thải dụng giá điều thuật ngữ lai chỉ nhất chủng đối vu mỗ nhấtKhái niệm thể hệ(Khái niệm biểu đạtHoặcKhái niệm hóa quá trình) (conceptualization) đíchTường tế thuyết minh(specification, minh xác biểu thuật). Dã tựu thị thuyết, tựu tượng quan vu đặc định trình tự đích hình thức hóa quy cách thuyết minh ( hình thức hóa quy ước ) na dạng, bổn thể tựu thị đối na ta khả năng tương đối vu mỗ nhất trí năng thể ( agent ) hoặc trí năng thể quần thể nhi tồn tại đích khái niệm hòa quan hệ đích nhất chủng miêu thuật. Giá hạng định nghĩa dữ “ontology” tác vi “Khái niệm định nghĩa chi tập hợp” đích dụng pháp thị nhất trí đích, đãn tương đối lai thuyết yếu hiển đắc canh vi thông dụng. Bất quá, giá cá đan từ tại thử đích hàm nghĩa khước hữu biệt vu triết học lĩnh vực đối tha đíchDụng pháp.
Bổn thểVãng vãng đẳng đồng vu na ta do các chủng loại, loại chiĐịnh nghĩaDĩ cập quy loại quan hệ ( subsumption relation ) sở cấu thành đích phân loại pháp tằng thứ kết cấu, đãn bổn thể tịnh bất nhất định cận hạn vu thử loại hình thức. Đồng thời, bổn thể dã tịnh bất cục hạn vu bảo thủ hình đích định nghĩa ( dã tựu thị truyện thốngLa tập họcÝ nghĩa thượng đích na ta định nghĩa, tha môn sở dẫn nhập hòa thải dụng đích cận cận thịThuật ngữ,Nhi một hữu thiêm gia nhậm hà hữu quan hiện thật thế giới đích tri thức ). Yếu minh xác nhi hựu tường tế địa thuyết minh sở yếu biểu đạt đích mỗ cá khái niệm chi thời, ngã môn nhu yếu thanh minh nhược càn đíchCông lý,Tòng nhi đối sở định nghĩa thuật ngữ đích na ta khả năng giải thích gia dĩ ước thúc hòa hạn chế.
Tại 21 thế kỷ y thủy đích đầu kỉ niên,Nhận tri khoa họcĐíchKhóa học khoaHạng mục nhất trực tại tương giá lưỡng cá lĩnh vực đích học giả quần thể lạp đắc canh cận. Lệ như, hữu nhân đàm đáo “Triết học lĩnh vực đương trung đích kế toán cơ hóa chuyển biến”. Tại giá chủng chuyển biến đương trung, bao quátTriết học giaMôn phân tích kế toán cơ khoa học lĩnh vực sở biên chế đích hình thức hóa bổn thể ( hữu thời thậm chí hoàn tại công tác trung trực tiếp vận dụngKế toán cơ nhuyễn kiện), nhi dữ thử đồng thời, kế toán cơ khoa học lĩnh vực đích nghiên cứu nhân viên dã tại việt lai việt đa địa dẫn dụng na ta trí lực vu bổn thể luận đích triết học gia môn đích nghiên cứu công tác ( hữu thời thậm chí hoàn thị hậu giả phương pháp đích trực tiếp kết quả ). Bất quá, tại giá lưỡng cá lĩnh vực đương trung, y nhiên hữu hứa đa học giả tịnh vị thuận tòngNhận tri khoa họcĐích giá chủng phát triển xu thế, tịnh thả nhưng kế tục tương hỗ độc lập địa khai triển trứ tự kỷ đích công tác, phân biệt tòng sự trứ các tự đích sở quan tâm đích sự tình.[1]
Tựu hiện hữu đích các chủng bổn thể nhi ngôn, vô luận kỳ tại biểu đạt thượng thải dụng đích cứu cánh thị hà chủng ngữ ngôn, tại kết cấu thượng đô cụ hữu hứa đa đích tương tự tính. Như tiền sở thuật, đại đa sổ bổn thể miêu thuật đích đô thị cá thể ( thật lệ ), loại ( khái niệm ), chúc tính dĩ cập quan hệ. Tại giá nhất tiết đương trung, ngã môn tương phân biệt y thứ luận thuật bổn thể đích giá ta cấu thành yếu tố.
Thường kiến đích bổn thể cấu thành yếu tố bao quát:
- Cá thể ( thật lệ ): Cơ sở đích hoặc giả thuyết “Để tằng đích” đối tượng.
- Chúc tính: Đối tượng ( hòa loại ) sở khả năng cụ hữu đích chúc tính, đặc chinh, đặc tính, đặc điểm hòa tham sổ.
- Quan hệ:Loại dữ cá thể chi gian đích bỉ thử quan liên sở khả năng cụ hữu đích phương thức.
- Hàm sổ thuật ngữ: Tại thanh minh ngữ cú đương trung, khả dụng lai đại thế cụ thể thuật ngữ đích đặc định quan hệ sở cấu thành đích phục tạp kết cấu.
- Ước thúc ( hạn chế ): Thải thủ hình thức hóa phương thức sở thanh minh đích, quan vu tiếp thụ mỗ hạng đoạn ngôn tác vi thâu nhập nhi tất tu thành lập đích tình huống đích miêu thuật..
- Quy tắc: Dụng vu miêu thuật khả dĩ y cư đặc định hình thức đích mỗ hạng đoạn ngôn sở năng cú đắc xuất đích la tập thôi luận đích, if-then ( tiền nhân － hậu quả ) thức ngữ cú hình thức đích thanh minh.
- Công lý: Thải thủ đặc định la tập hình thức đích đoạn ngôn ( bao quát quy tắc tại nội ) sở cộng đồng cấu thành đích tựu thị kỳ bổn thể tại tương ứng ứng dụng lĩnh vực đương trung sở miêu thuật đích chỉnh cá lý luận. Giá chủng định nghĩa hữu biệt vu sản sinh thức ngữ pháp hòa hình thức la tập đương trung sở thuyết đích “Công lý”. Tại giá ta học khoa đương trung, công lý chi trung cận cận bao quát na ta bị đoạn ngôn viTiên nghiệmTri thức đích thanh minh. Tựu giá lí đích dụng pháp nhi ngôn, “Công lý” chi trung hoàn bao quát y cư công lý hình thanh minh sở thôi đạo đắc xuất đích lý luận.
Lĩnh vực bổn thể( domain ontology hoặc giả thuyết domain-specific ontology, tứcLĩnh vực đặc dị tính bổn thể) sở kiến mô đích thị mỗ cá đặc định lĩnh vực, hoặc giả hiện thật thế giới đích nhất bộ phân. Lĩnh vực bổn thể sở biểu đạt đích thị na ta thích hợp vu cai lĩnh vực đích na ta thuật ngữ đích đặc thù hàm nghĩa. Lệ như, tựu nã cụ hữu hứa đa chủng hàm nghĩa đíchAnh vănĐan từ“card”Lai thuyết. Quan vuPhác khắcLĩnh vực đích bổn thể khả năng hội phú dư cai từ dĩ “Đả phác khắc”Đích ý tư, nhi quan vuKế toán cơ ngạnh kiệnLĩnh vực đích bổn thể tắc khả năng hội phú dư kỳ “Xuyên khổng tạp phiến”Hòa “Thị tần tạp”Đích ý tư.
Thượng tằng bổn thể( upper ontology hoặc giả thuyết foundation ontology, tứcCơ sở bổn thể) thị chỉ nhất chủng do na ta tại các chủng các dạng đích lĩnh vực bổn thể chi trung đô phổ biến thích dụng đích cộng đồng đối tượng sở cấu thành đích mô hình. Kỳ trung sở thu lục đíchHạch tâm từ biểu,Khả dĩ dụng lai miêu thuật nhất sáo lĩnh vực đương trung đích đối tượng. Tồn tại trứ kỉ bộ hiện thành khả dụng đích tiêu chuẩn hóa thượng tằng bổn thể, bao quátĐô bách lâm hạch tâm,Thông dụng hình thức hóa bổn thể( General Formal Ontology, GFO ),OpenCyc/ResearchCyc,Thôi tiến thượng tằng hợp tịnh bổn thể( Suggested Upper Merged Ontology, SUMO ) dĩ cậpDOLCE.Lánh ngoại, hữu ta nhân nhận viWordNetChúc vu thượng tằng bổn thể, đãn thật tế thượng tha tịnh bất thị nhất bộ bổn thể:WordNetChỉ thị do nhất bộPhân loại pháp( taxonomy ) dữ nhất bộThụ khống từ biểuSở hình thành đích độc đặc tổ hợp ( tham kiến thượng thuật quan vu “Chúc tính” phương diện đích nội dung ).
GellishBổn thể tắc thị nhất cá quan vu thượng tằng bổn thể dữ lĩnh vực bổn thể bỉ thử tổ hợp đích lệ tử.
Lĩnh vực bổn thể tại biểu đạt khái niệm thời thải dụng đích thị phi thường đặc thù nhi hựu vãng vãng cụ hữu tuyển trạch tính đích phương thức, nhân nhi tha môn thường thường khuyết phạp kiêm dung tính. Tùy trứ na ta y lại vu lĩnh vực bổn thể đích hệ thống đích khoách triển, tha môn vãng vãng nhu yếu tương bất đồng đích lĩnh vực bổn thể hợp tịnh thành nhất bộ canh vi thông dụng đích biểu đạt hình thức. Đối vu bổn thể thiết kế giả lai thuyết, giá tựu đề xuất liễu nhất hạng phú hữu thiêu chiến tính đích nan đề. Tại đồng nhất lĩnh vực nội, do vu văn hóa bối cảnh, thụ giáo dục trình độ dĩ cậpÝ thức hình tháiĐích bất đồng sở tạo thành đích, đối vu cai lĩnh vựcCảm tri( perceptions ) tình huống đích bất đồng, hoặc giả nhân vi sở thải dụng đích biểu đạt ngữ ngôn đích bất đồng, hoàn khả năng xuất hiện bất đồng đích bổn thể.
Đương tiền, đối vu na ta tịnh phi y cư đồng nhất bộ cơ sở bổn thể sở biên chế đích bổn thể đích hợp tịnh công tác, tại ngận đại trình độ thượng hoàn thị nhất chủng thủ công quá trình, nhân nhi kí háo phí thời gian hựu thành bổn cao ngang. Na ta lợi dụng đồng nhất bộ cơ sở bổn thể sở đề cung đích nhất sáo cơ bổn nguyên tố lai quy định lĩnh vực bổn thể nguyên tố chi hàm nghĩa đích lĩnh vực bổn thể, tắc khả dĩ thật hiện tự động hóa đích hợp tịnh. Tồn tại trứ đa hạng châm đối bổn thể hợp tịnh phương diện đích thông dụng kỹ thuật phương pháp đích nghiên cứu công tác, đãn giá cá phương diện đích nghiên cứu tại ngận đại trình độ thượng y nhiên hoàn xử vu lý luận tằng diện.[1]
Chủ điều mục:Bổn thể công trình
Bổn thể công trình,Hựu xưng viBổn thể cấu kiến,Bổn thể biên chếHoặcBổn thể khai phát,Thị nhất cá chỉ tại nghiên cứu hữu quan cấu kiến bổn thể đích phương pháp hòaPhương pháp họcĐích lĩnh vực. Bổn thể công trình nghiên cứu đích nội dung bao quát bổn thể khai phát quá trình, bổn thể sinh mệnh chu kỳ, bổn thể cấu kiến phương pháp cập phương pháp học, dĩ cập vi giá ta phương diện đề cung chi trì đích công cụ bao hòa ngữ ngôn.
Bổn thể công trình chỉ tại nhượng nhuyễn kiện ứng dụng trình tự,Xí sự nghiệp đan vị,Tổ chức cơ cấu dĩ cập đặc định lĩnh vực nghiệp vụ thao tác quá trình chi trung sở bao hàm đích na ta tri thức biến đắc minh xác thanh tích. Bổn thể công trình vi giải quyếtNgữ nghĩaChướng ngại sở tạo thành đíchHỗ thao tác tínhVấn đề chỉ xuất liễu nhất cá phương hướng. Bỉ như, na ta dữ nghiệp vụThuật ngữHòa nhuyễn kiện loại đíchĐịnh nghĩaTương quan đích chướng ngại. Bổn thể công trình thật tế thượng tựu thị nhất sáo dữ đặc định lĩnh vực chi trung đích bổn thể khai phát dữ biên chế công tác tương quan đích nhậm vụ.[1]
Chủ điều mục:Bổn thể ngữ ngôn
Bổn thể nhất bàn đô thị thải dụngBổn thể ngữ ngônLai biên chế đích.Bổn thể ngữ ngôn,Hựu xưng vi “Bổn thể luận ngữ ngôn”,Thị nhất chủng dụng vu biên chế bổn thể đíchHình thức hóa ngữ ngôn.Tồn tại trứ hứa hứa đa đa thử loại đích bổn thể ngữ ngôn, kí bao quát chuyên hữu đích, dã bao quát cơ vuTiêu chuẩnĐích:
- Phổ thông la tập( Common logic ) tựu thịISOTiêu chuẩn 24707; giá thị quan vu nhất chủngBổn thể ngữ ngônGia tộc đích kỹ thuật quy phạm, kỳ trung đích bổn thể ngữ ngôn bỉ thử chi gian khả dĩ chuẩn xác địa tương hỗ chuyển hoán.
- CycHạng mục hữu kỳ tự kỷ đích, cơ vuNhất giai vị từ diễn toán,Thả cụ hữu mỗ ta cao giai khoách triển đích bổn thể ngữ ngôn ( tứcCycL).
- GellishNgữ ngôn chi trung bao quát liễu quan vu tự thân khoách triển đích quy tắc, nhân nhi tập thành liễu nhất bộ bổn thể hòa nhất chủng bổn thể ngữ ngôn.
- IDEF5Thị nhất chủng dụng vu biên chế hòa duy hộ chuẩn xác đích, cụ hữuKhả phục dụng tínhĐích lĩnh vực bổn thể đíchNhuyễn kiện công trìnhPhương pháp.
- Tri thức giao hoán cách thức( Knowledge Interchange Format, KIF ) thị cơ vuS- biểu đạt thứcĐích nhất chủngNhất giai la tậpNgữ pháp.
- Quy tắc giao hoán cách thức( Rule Interchange Format, RIF ) dữF- la tập( F-Logic ) khả tương các chủng bổn thể hòa quy tắc kết hợp khởi lai.
- OWL( Web Ontology Language ) thị nhất chủng dụng vu biên tả bổn thể thanh minh ( ontological statements ) đíchNgữ ngôn.OWL đích phát triển kế thừa liễuRDFHòaRDFSDĩ cập nhất ta tảo kỳ đích bổn thể ngữ ngôn hạng mục, bao quátBổn thể thôi lý tằng( Ontology Inference Layer, OIL ),DARPA trí năng thể tiêu ký ngữ ngôn( DARPA Agent Markup Language, DAML ) dĩ cậpDAMLplusOIL.OWL chỉ tại ứng dụng vuVạn duy võngChi thượng; nhi thả, kỳ cấu thành yếu tố ( loại, chúc tính hòa cá thể ) quân bị định nghĩa vi RDFTư nguyên,Tịnh thải dụngURIGia dĩ tiêu thức.[1]
- An cơ toan bổn thể: Quan vu an cơ toan cập kỳ tính chất đích tiểu hình bổn thể ( kỳ trung, khái niệm, chúc tính hòa quan hệ quân bị hữu trung anh văn danh xưng, đồng nghĩa từ cập súc tả ).
- Cơ bổn hình thức hóa bổn thể ( Basic Formal Ontology ): Nhất bộ thiết kế chỉ tại vi khoa học kỹ thuật nghiên cứu công tác đề cung chi trì đích hình thức hóa thượng tằng bổn thể.
- BioPAX: Nhất bộ chỉ tại xúc tiến sinh vật học đồ kính ( tế bào quá trình ) sổ cư chi giao hoán hòaHỗ thao tác tínhĐích bổn thể.
- Tế bào chu kỳ bổn thể ( Cell-Cycle Ontology, CCO ): Nhất bộ dụng vu biểu đạt tế bào chu kỳ đích ứng dụng bổn thể.
- CIDOC khái niệm tham khảo mô hình ( CIDOC Conceptual Reference Model ): Nhất bộ quan vuVăn hóa di sảnĐích bổn thể.
- COSMO: Chúc vu nhất bộ cơ sở bổn thể ( đương tiền bản bổn vi OWL ), kỳ thiết kế chỉ tại thu lục sở hữu na ta tòng la tập thượng minh xác thuyết minh nhậm hà lĩnh vựcThật thểĐíchHàm nghĩaChi thời sở nhu đích nguyên sơ hình khái niệm ( primitive concepts ). Kỳ chỉ tại tác vi nhất bộ cơ sở đích bổn thể, khả dĩ dụng vu hoàn thành kỳ tha bổn thể hoặcSổ cư khốChi trung bất đồng biểu đạt chi gian đích chuyển hoán. Khởi sơ, tha chỉ thị OpenCyc hòa SUMO bổn thể chi trung cơ bổn cấu thành yếu tố đích hợp tịnh sản vật. Dĩ kinh thải dụng kỳ tha đích bổn thể cấu thành yếu tố ( loại hình, quan hệ ) đối kỳ gia dĩ liễu bổ sung, tòng nhi tiện vu thu lục lãng văn từ điển định nghĩa từ hối biểu chi trung sở hữu đan từ đích biểu đạt hình thức.
- Tật bệnh bổn thể ( Disease Ontology ): Tại thiết kế thượng chỉ tại xúc tiến các chủngTật bệnhCập tương quan kiện khang trạng huống hướng đặc định y học đại mã đích ánh xạ.
- DOLCE:Tức ngữ ngôn học dữ nhận tri công trình miêu thuật hình bổn thể ( Descriptive Ontology for Linguistic and Cognitive Engineering ).
- Cơ sở tính hạch tâm ngữ ngôn học bổn thể ( Foundational, Core and Linguistic Ontologies )
- Nhân loạiGiải phẩu họcPhương diện đíchGiải phẩu học cơ sở mô hình( Foundational Model of Anatomy, FMA )
- Thông dụng thượng tằng mô hình ( Generalized Upper Model ): Nhất bộ dụng vu tại khách hộ hệ thống dữTự nhiên ngữ ngônKỹ thuật chi gian phát huy trung giới tác dụng đích, đái hữu ngữ ngôn học động cơ đích bổn thể.
- Gellish anh ngữ từ điển:Thị nhất bộ bao quát hữu từ điển hòa phân loại pháp đích bổn thể; kỳ trung, thu lục hữu nhất bộ thượng tằng bổn thể hòa nhất bộ hạ tằng bổn thể ( lower ontology ), trắc trọng vu công trình, kỹ thuật dĩ cập thải cấu phương diện đích công nghiệp cập thương nghiệp ứng dụng. Tham kiến SourceForge đíchKhai nguyênHạng mục.
- GOLD: TứcNgữ ngôn miêu thuậtThông dụng bổn thể ( General Ontology for Linguistic Description ).
- IDEAS công tác tổ:Úc đại lợi á,Gia nã đại,Anh quốcDĩ cậpMỹ quốcĐích quốc phòng bộ sở chính tại cộng đồng cấu kiến đích nhất bộ quan vuXí nghiệp giá cấu( enterprise architecture ) đích hình thức hóa bổn thể.
- Linkbase: TạiCơ bổn hình thức hóa bổn thể ( Basic Formal Ontology )Đích cơ sở chi thượng, đối vu sinh vật y học lĩnh vực đích nhất chủng hình thức hóa biểu đạt.
- Lao sâm mô thức ngữ ngôn( Lawson Pattern Language, LPL )
- Khai phóng sinh vật y học bổn thể chú tạo hán( OBO Foundry ): Sinh vật y học lĩnh vực đích nhất sáo cụ hữuHỗ thao tác tínhĐích tham khảo bổn thể.
- Sinh vật y học điều tra bổn thể( Ontology for Biomedical Investigations ): Dụng vu miêu thuậtSinh vật họcCậpLâm sàngĐiều tra nghiên cứu hoạt động đích nhất bộ khai phóng đích tập thành hóa bổn thể.
- Thực vật bổn thể ( Plant Ontology ): Quan vuThực vậtKết cấu dĩ cập sinh trường / phát dục giai đoạn đẳng phương diện đích bổn thể.
- Trình tự trừu tượng phân loại pháp ( Program abstraction taxonomy )
- Đản bạch chất tổ họcLĩnh vực đích đản bạch chất bổn thể ( Protein Ontology )
- Hệ thống sinh vật học bổn thể( Systems Biology Ontology ): Miêu thuật đích thịSinh vật họcLĩnh vực đíchKế toán cơ mô hình
- Thôi tiến thượng tằng hợp tịnh bổn thể:Nhất bộ hình thức hóa thượng tằng bổn thể
- SWEET ( Semantic Web for Earth and Environmental Terminology, địa cầu dữ hoàn cảnh thuật ngữ tập ngữ nghĩa võng )
- Tư tưởng tài phúBổn thể
- Y học giáo dục tiêu dẫn chủ đề( Topics for Indexing Medical Education )
Vi hỗ liên võng khai phát các chủng bổn thể đích công tác, dĩ kinh dựng dục xuất na ta cụ hữu sưu tác công năng đích, đề cung bổn thểMục lục( directories ) hoặc liệt biểu đíchPhục vụ.Thử loại mục lục tựu xưng vi “Bổn thể khố”.
Như hạ thị nhất ta thải dụng nhân công phương thức tuyển trạch xuất lai đích bổn thể sở cấu thành tĩnh tháiKhố:
- CO-ODE hạng mục bổn thể khố: Đề cung đích thị nhất ta dữ CO-ODE hạng mục tương quan đích bổn thể kỳ lệ hòa bổn thể tư nguyên liên tiếp.
- DAML bổn thể khố ( DAML Ontology Library ) chi trung bảo tồn đích thị na ta thải dụng DAML cách thức đích lịch sử di lưu bổn thể.
- Protege bổn thể khố ( Protege Ontology Library ) chi trung thu lục đích thị nhất sáo thải dụng OWL cách thức, cơ vu khuông giá đích cách thức dĩ cập kỳ tha cách thức đích bổn thể.
- SchemaWeb tắc thị nhất cá do thải dụng RDFS, OWL dĩ cập DAML+OIL cách thức sở biểu đạt đích RDF mô thức ( RDF schemata ) nhi cấu thành đích mục lục.
Hạ liệt giá ta tức thị mục lục, đồng thời hựu thịSưu tác dẫn kình.Kỳ trung, bao quát dụng vu tại hỗ liên võng thượng sưu tác lương cấu tính bổn thể đíchSưu tầm khí.
- OBO Foundry / Bioportal thịSinh vật họcHòaSinh vật y học( biomedicine ) lĩnh vực đích nhất sáo cụ bịHỗ thao tác tínhĐích tham khảo bổn thể.
- OntoSelect Ontology Library ( OntoSelect bổn thể khố ) đề cung đích thị đa chủng loại tự đích, thích dụng vu RDF/S, DAML dĩ cập OWL bổn thể đích phục vụ.
- Ontaria thị “Nhất cá khả dĩ sưu tác hòa lưu lãm đíchNgữ nghĩa võngSổ cư mục lục, thả trắc trọng vu RDF từ biểu dĩ cập OWL bổn thể”.
- SwoogleThị nhất cá mục lục hòa sưu tác dẫn kình, thích dụng vu hỗ liên võng thượng hiện thành khả dụng đích sở hữu RDF tư nguyên, bao quát các chủng bổn thể.[2]
Chủ điều mục:Bổn thể biên tập khí
Dụng vu biên toản bổn thể đích nhuyễn kiện biên tập khí xưng vi “Bổn thể biên tập khí( ontology editor )”, hữu thời hựu xưng vi “Bổn thể luận biên tập khí”.
- Neon công cụ tương
- OntoWiki:Nhất cáTự doĐíchKhai nguyênHìnhNgữ nghĩa duy cơỨng dụng, chỉ tại tác vi bổn thể biên tập khí hòaTri thức hoạch thủHệ thống[3]
- Hình thức hóa khái niệm phân tích
- Bổn thể đồ biểu
- Khai phóng sinh vật y học bổn thể
- Nhuyễn bổn thể
- Thuật ngữ tập đề thủ
- Nhược bổn thể
- Phân thể pháp
- Thuật ngữ tập
- Lâm sàng thuật ngữ phục vụ khí
