Bản thể là một cái điện tử công trình thuật ngữ. ỞMáy tính khoa họcCùngTin tức khoa họcLĩnh vực, lý luận thượng, bản thể là chỉ một loại “Hình thức hóa, đối với cùng chung khái niệm hệ thống minh xác mà lại kỹ càng tỉ mỉ thuyết minh”. Bản thể cung cấp chính là một loại cùng chung từ biểu, cũng chính là riêng lĩnh vực bên trong những cái đó tồn tạiĐối tượngLoại hìnhHoặc khái niệm và thuộc tính cùngLẫn nhau quan hệ;Hoặc là nói, bản thể chính là một loại đặc thù loại hìnhThuật ngữ tập,Có kết cấu hóa đặc điểm, thả càng thêm thích hợp với ởMáy tính hệ thốngBên trong sử dụng; hoặc là nói, bản thể trên thực tế chính là đối riêngLĩnh vựcBên trong mỗ bộKhái niệmVà lẫn nhau chi gianQuan hệHình thức hóa biểu đạt ( formal representation ). Bản thể là mọi người lấy chính mình hứng thúLĩnh vựcTri thứcVì tư liệu sống, vận dụng tin tức khoa học bản thể luận nguyên lý mà biên soạn ra tớiTác phẩm.Bản thể giống nhau có thể dùng để nhằm vào nên lĩnh vực thuộc tính tiến hànhTrinh thám,Cũng nhưng dùng cho định nghĩa nên lĩnh vực ( cũng chính là đối nên lĩnh vực tiến hành kiến mô ). Ngoài ra, có khi mọi người cũng sẽ đem “Bản thể” xưng là “Bản thể luận”.[4]
Làm một loại vềHiện thựcThế giớiHoặc trong đó nào đó tạo thành bộ phận tri thức biểu đạt hình thức, bản thể ứng dụng lĩnh vực bao gồm ( nhưng không chỉ có giới hạn trong ):Trí tuệ nhân tạo,Ngữ nghĩa võng,Phần mềm công trình,Sinh vật y học tin tức học,Thư viện họcCùng vớiTin tức giá cấu.
- Tiếng Trung danh
- Bản thể
- Ngoại văn danh
- Ontology (information science)
- Lãnh vực
- Điện tử công trình
Tưởng nhạc thừa tiếng Anh thuật ngữ “Thúc giục phiên kiệu onto lót A Phóng logy”Một từ nguyên với triết học lĩnh vực, thả cho tới nay tồn tại rất nhiều bất đồng cách dùng. Ở máy tính khoa học lĩnh vực, này trung tâm ý tứ là chỉ một loại mô hình, dùng cho miêu tả từ một bộ đối tượng loại hình (Khái niệmHoặc là nóiLoại), thuộc tính cùng với quan hệ loại hình sở cấu thành thế giới. Cứ việc bất đồng bản thể đối với này đó cấu thành thành phần đích xác thiết xưng hô có điều bất đồng, nhưng chúng nó lại đều là một bộ bản thể không thể thiếu cơ bản yếu tố. Nói như vậy, mọi người sở phổ biến kỳ vọng một chút chính là, bản thể bên trong mô hình những cái đó đặc thù hẳn là phi thường cùng loại với tương ứng thế giới hiện thực.
Liền máy tính khoa học cùng triết học tới nói, hai người theo như lời bản thể chi gian cộng đồng chỗ liền ở chỗ, chúng nó đều là căn cứ nào đó phân loại hệ thống, tới biểu đạtThật thểLăng quầy gánh mong nhiệt bó đêm,Khái niệm,Sự kiện và thuộc tính cùng lẫn nhau quan hệ. Tại đây hai cái lĩnh vực giữa, tồn tại nhằm vào bản thể tương đối tính ( ontological relativity ) đủ loại vấn đề ( tỷ như, triết học lĩnh vựcKhuê nhânCùngKerry phổ khắc,Máy tính khoa học lĩnh vựcTác ngóiHoan thể giang cùngLãi nặng nặc), mọi người đã cùng đang ở khai triển tương đối lớn lượng công tác; hơn nữa, mọi người cũng ở thảo luận về quy phạm hoá bản thể hay không có sinh mệnh sức sống ( tỷ như, triết học lĩnh vực bên trong nhằm vào cơ sở chủ nghĩa ( foundationalism ) thảo luận, trí tuệ nhân tạo lĩnh vực bên trong nhằm vàoCycHạng mục thảo luận ). Hai người chi gian những cái đó khác biệt ở rất lớn trình độ thượng chỉ là trọng điểm điểm vấn đề. Cùng máy tính khoa học lĩnh vực nghiên cứu nhân viên so sánh với, các nhà triết học tắc ít quan tâm sáng tạo cố định bất biếnChịu khống từ biểu.Nhưng mà, máy tính các nhà khoa học tắc ít tham dự có quan hệ hàng đầu nguyên tắc thảo luận ( tỷ như, về hay không tồn tại chư khốc cây nhưBất biến bản chất( fixed esse mời cạo nces ) linh tinh sự vật thảo luận, hoặc là về thật thể ở bản thể luận thượng nhất định so qua trình càng vì cơ bản thảo luận ).[1]
Từ trong lịch sử tới xem, bản thể nguyên tựTriết họcBên trong xưng là “Hình nhi thượng học”Chi nhánh. Hình nhi thượng học sở chú ý chính làHiện thựcBản chất,Cũng chính làTồn tạiBản chất. Làm triết học một cái cơ bản chi nhánh, hình nhi thượng học chú ý chính là phân tích tồn tại các loại loại hình hoặc hình thức, thả thường thường đặc biệt chú ýCộng tươngCùngThù tươngChi gian quan hệ,Bổn chinh tính chất cùng phi bổn chinh tính chấtChi gian quan hệ cùng vớiBản chấtCùngTồn tạiChi gian quan hệ. Bản thể luận thăm dò hoạt động truyền thống mục tiêu đặc biệt là, vì công bố những cái đó cơ bản phân loại hoặc là nói chủng loại, mà ở mấu chốt chỗ đem thế giới hiện thực phân chia vì đối tượng tự nhiên phân loại.
20 thế kỷ hạ nửa diệp,Triết học giaNhóm liền như thế nào xây dựng bản thể được không phương pháp hoặc con đường triển khai quá rộng khắp thảo luận, nhưng trên thực tế bọn họ chính mình lại không có chân chính “Xây dựng” ra bất luận cái gì phi thường tinh tế tường tận bản thể. Cùng này so sánh với,Máy tính nhà khoa họcNhóm lúc ấy tắc đang ở xây dựng một ít đại hình mà lại vững vàng bản thể ( nhưWordNetCùngCyc), nhưng tương đối tới nói lại rất thiếu nhằm vào “Như thế nào” xây dựng bản thể mà tiến hành biện luận.
Tự 20 thế kỷ 70 niên đại trung kỳ tới nay,Trí tuệ nhân tạo( tên gọi tắtAI) lĩnh vực nghiên cứu nhân viên nhận thức đến, tri thức thu hoạch chính là xây dựng cường đại AI hệ thống mấu chốt nơi. AI nghiên cứu nhân viên cho rằng, bọn họ có thể đem tân bản thể sáng tạo trở thànhTính toán mô hình,Do đó thành tựu riêng loại hìnhTự động trinh thám.20 thế kỷ 80 niên đại, AI lĩnh vực liền bắt đầu chọn dùng thuật ngữontologyTới đồng thời chỉ xưng về mô hình hóa thế giới một loại lý luận cùng với tri thức hệ thống một loại lắp ráp. Mượn dùng với đến từ triết học bản thể luận linh cảm, một ít nghiên cứu nhân viên tiện đà đem máy tính bản thể luận coi là một loạiỨng dụng triết học.
20 thế kỷ 90 niên đại lúc đầu,Tom · cách lỗ báPhát biểu một thiên sau lại được đến rộng khắp trích dẫn trang web cùngLuận văn《Mại hướng tri thức cùng chung hình bản thể thiết kế nguyên tắc》. Sở dĩ nên luận văn đạt được mọi người như thế ưu ái, kia muốn quy công với trong đó cách lỗ bá đối vớiMáy tính khoa họcThuật ngữ“ontology”Thận trọng định nghĩa. Cách lỗ bá chọn dùng này thuật ngữ tới chỉ một loại đối với mỗ mộtKhái niệm hệ thống(Khái niệm biểu đạtHoặcKhái niệm quá trình) (conceptualization)Kỹ càng tỉ mỉ thuyết minh(specification, minh xác thuyết minh). Nói cách khác, tựa như về riêng trình tự hình thức hóa quy cách thuyết minh ( hình thức hóa quy ước ) như vậy, bản thể chính là đối những cái đó khả năng tương đối với mỗ một trí năng thể ( agent ) hoặc trí năng thể quần thể mà tồn tại khái niệm cùng quan hệ một loại miêu tả. Cái này định nghĩa cùng “ontology” làm “Khái niệm định nghĩa chi tập hợp” cách dùng là nhất trí, nhưng tương đối tới nói muốn có vẻ càng vì thông dụng. Bất quá, cái này từ đơn tại đây hàm nghĩa lại có khác với triết học lĩnh vực đối nóCách dùng.
Bản thểThường thường cùng cấp với những cái đó từ các loại loại, loại chiĐịnh nghĩaCùng với phân loại quan hệ ( subsumption relation ) sở cấu thành phân loại pháp trình tự kết cấu, nhưng bản thể cũng không nhất định giới hạn trong này loại hình thức. Đồng thời, bản thể cũng hoàn toàn không cực hạn với bảo thủ hình định nghĩa ( cũng chính là truyền thốngLogic họcÝ nghĩa thượng những cái đó định nghĩa, chúng nó sở dẫn vào cùng chọn dùng gần làThuật ngữ,Mà không có tăng thêm bất luận cái gì có quan hệ thế giới hiện thực tri thức ). Muốn minh xác mà lại kỹ càng tỉ mỉ mà thuyết minh sở muốn biểu đạt nào đó khái niệm là lúc, chúng ta yêu cầu thanh minh bao nhiêuCông lý,Do đó đối sở định nghĩa thuật ngữ những cái đó khả năng giải thích tăng thêm ước thúc cùng hạn chế.
Ở 21 thế kỷ bắt đầu đầu mấy năm,Nhận tri khoa họcVượt ngành họcHạng mục vẫn luôn ở đem này hai cái lĩnh vực học giả quần thể kéo đến càng gần. Tỷ như, có người nói tới “Triết học lĩnh vực giữa máy tính hóa chuyển biến”. Tại đây loại chuyển biến giữa, bao gồmTriết học giaNhóm phân tích máy tính khoa học lĩnh vực sở biên chế hình thức hóa bản thể ( có khi thậm chí còn ở công tác trung trực tiếp vận dụngMáy tính phần mềm), mà cùng lúc đó, máy tính khoa học lĩnh vực nghiên cứu nhân viên cũng ở càng ngày càng nhiều mà trích dẫn những cái đó tận sức với bản thể luận các nhà triết học nghiên cứu công tác ( có khi thậm chí vẫn là người sau phương pháp trực tiếp kết quả ). Bất quá, tại đây hai cái lĩnh vực giữa, vẫn như cũ có rất nhiều học giả vẫn chưa thuận theoNhận tri khoa họcLoại này phát triển xu thế, hơn nữa vẫn tiếp tục lẫn nhau độc lập mà khai triển chính mình công tác, phân biệt làm từng người sở quan tâm sự tình.[1]
Liền hiện có các loại bản thể mà nói, vô luận này ở biểu đạt thượng chọn dùng đến tột cùng ra sao loại ngôn ngữ, ở kết cấu thượng đều có rất nhiều tương tự tính. Như trước sở thuật, đại đa số bản thể miêu tả đều là thân thể ( ví dụ thực tế ), loại ( khái niệm ), thuộc tính cùng với quan hệ. Tại đây một tiết giữa, chúng ta đem phân biệt theo thứ tự trình bày và phân tích bản thể này đó cấu thành yếu tố.
Thường thấy bản thể cấu thành yếu tố bao gồm:
- Thân thể ( ví dụ thực tế ): Cơ sở hoặc là nói “Tầng dưới chót” đối tượng.
- Thuộc tính: Đối tượng ( cùng loại ) sở khả năng có thuộc tính, đặc thù, đặc tính, đặc điểm cùng tham số.
- Quan hệ:Loại cùng thân thể chi gian lẫn nhau liên hệ sở khả năng có phương thức.
- Hàm số thuật ngữ: Ở thanh minh câu nói giữa, nhưng dùng để thay thế cụ thể thuật ngữ riêng quan hệ sở cấu thành phức tạp kết cấu.
- Ước thúc ( hạn chế ): Áp dụng hình thức hóa phương thức sở thanh minh, về tiếp thu mỗ hạng ngắt lời làm đưa vào mà cần thiết thành lập tình huống miêu tả..
- Quy tắc: Dùng cho miêu tả có thể căn cứ riêng hình thức mỗ hạng ngắt lời có khả năng đủ đến ra logic suy luận, if-then ( tiền căn － hậu quả ) thức câu nói hình thức thanh minh.
- Công lý: Áp dụng riêng logic hình thức ngắt lời ( bao gồm quy tắc ở bên trong ) sở cộng đồng cấu thành chính là này bản thể ở tương ứng ứng dụng lĩnh vực giữa sở miêu tả toàn bộ lý luận. Loại này định nghĩa có khác với sinh ra thức ngữ pháp cùng logic hình thức giữa theo như lời “Công lý”. Ở này đó ngành học giữa, công lý bên trong gần bao gồm những cái đó bị ngắt lời vìTrước nghiệmTri thức thanh minh. Liền nơi này cách dùng mà nói, “Công lý” bên trong còn bao gồm căn cứ công lý hình thanh minh sở suy luận đến ra lý luận.
Lĩnh vực bản thể( domain ontology hoặc là nói domain-specific ontology, tứcLĩnh vực đặc dị tính bản thể) sở kiến mô chính là nào đó riêng lĩnh vực, hoặc là thế giới hiện thực một bộ phận. Lĩnh vực bản thể sở biểu đạt chính là những cái đó thích hợp với nên lĩnh vực những cái đó thuật ngữ đặc thù hàm nghĩa. Tỷ như, liền lấy có rất nhiều loại hàm nghĩaTiếng AnhTừ đơn“card”Tới nói. VềBài PokerLĩnh vực bản thể khả năng sẽ giao cho nên từ lấy “Đánh bài Poker”Ý tứ, mà vềMáy tính phần cứngLĩnh vực bản thể tắc khả năng sẽ giao cho này “Đục lỗ tấm card”Cùng “Video tạp”Ý tứ.
Thượng tầng bản thể( upper ontology hoặc là nói foundation ontology, tứcCơ sở bản thể) là chỉ một loại từ những cái đó ở đủ loại lĩnh vực bản thể bên trong đều phổ biến áp dụng cộng đồng đối tượng sở cấu thành mô hình. Trong đó sở thu nhận sử dụngTrung tâm từ biểu,Có thể dùng để miêu tả một bộ lĩnh vực giữa đối tượng. Tồn tại mấy bộ có sẵn nhưng dùng chuẩn hoá thượng tầng bản thể, bao gồmDublin trung tâm,Thông dụng hình thức hóa bản thể( General Formal Ontology, GFO ),OpenCyc/ResearchCyc,Đề cử thượng tầng xác nhập bản thể( Suggested Upper Merged Ontology, SUMO ) cùng vớiDOLCE.Mặt khác, có chút người cho rằngWordNetThuộc về thượng tầng bản thể, nhưng trên thực tế nó cũng không phải một bộ bản thể:WordNetChỉ là từ một bộPhân loại pháp( taxonomy ) cùng một bộChịu khống từ biểuSở hình thành độc đáo tổ hợp ( tham kiến kể trên về “Thuộc tính” phương diện nội dung ).
GellishBản thể còn lại là một cái về thượng tầng bản thể cùng lĩnh vực bản thể lẫn nhau tổ hợp ví dụ.
Lĩnh vực bản thể ở biểu đạt khái niệm khi chọn dùng thị phi thường đặc thù mà lại thường thường có lựa chọn tính phương thức, cho nên chúng nó thường thường khuyết thiếu kiêm dung tính. Theo những cái đó ỷ lại với lĩnh vực bản thể hệ thống mở rộng, chúng nó thường thường yêu cầu đem bất đồng lĩnh vực bản thể xác nhập thành một bộ càng vì thông dụng biểu đạt hình thức. Đối với bản thể thiết kế giả tới nói, này liền đưa ra hạng nhất giàu có tính khiêu chiến nan đề. Ở cùng bên trong lĩnh vực, bởi vì văn hóa bối cảnh, chịu giáo dục trình độ cùng vớiHình thái ý thứcBất đồng sở tạo thành, đối với nên lĩnh vựcCảm giác( perceptions ) tình huống bất đồng, hoặc là bởi vì sở chọn dùng biểu đạt ngôn ngữ bất đồng, còn khả năng xuất hiện bất đồng bản thể.
Trước mặt, đối với những cái đó đều không phải là căn cứ cùng bộ cơ sở bản thể sở biên chế bản thể xác nhập công tác, ở rất lớn trình độ thượng vẫn là một loại thủ công quá trình, cho nên đã hao phí thời gian lại phí tổn ngẩng cao. Những cái đó lợi dụng cùng bộ cơ sở bản thể sở cung cấp một bộ nguyên tố cơ bản tới quy định lĩnh vực bản thể nguyên tố chi hàm nghĩa lĩnh vực bản thể, tắc có thể thực hiện tự động hoá xác nhập. Tồn tại nhiều hạng nhằm vào bản thể xác nhập phương diện thông dụng kỹ thuật phương pháp nghiên cứu công tác, nhưng cái này phương diện nghiên cứu ở rất lớn trình độ thượng vẫn như cũ còn ở vào lý luận mặt.[1]
Chủ điều mục:Bản thể công trình
Bản thể công trình,Lại xưng làBản thể xây dựng,Bản thể biên chếHoặcBản thể khai phá,Là một cái chỉ ở nghiên cứu có quan hệ xây dựng bản thể phương pháp cùngPhương pháp họcLĩnh vực. Bản thể công trình nghiên cứu nội dung bao gồm bản thể khai phá quá trình, bản thể sinh mệnh chu kỳ, bản thể xây dựng phương pháp cập phương pháp học, cùng với vì này đó phương diện cung cấp duy trì công cụ bao cùng ngôn ngữ.
Bản thể công trình chỉ ở làm phần mềm ứng dụng trình tự,Xí sự nghiệp đơn vị,Tổ chức cơ cấu cùng với riêng lĩnh vực nghiệp vụ thao tác quá trình bên trong sở bao hàm những cái đó tri thức trở nên minh xác rõ ràng. Bản thể công trình vì giải quyếtNgữ nghĩaChướng ngại sở tạo thànhLẫn nhau thao tác tínhVấn đề chỉ ra một phương hướng. Tỷ như, những cái đó cùng nghiệp vụThuật ngữCùng phần mềm loạiĐịnh nghĩaTương quan chướng ngại. Bản thể công trình trên thực tế chính là một bộ cùng riêng lĩnh vực bên trong bản thể khai phá cùng biên chế công tác tương quan nhiệm vụ.[1]
Chủ điều mục:Bản thể ngôn ngữ
Bản thể giống nhau đều là chọn dùngBản thể ngôn ngữTới biên chế.Bản thể ngôn ngữ,Lại xưng là “Bản thể luận ngôn ngữ”,Là một loại dùng cho biên chế bản thểHình thức hóa ngôn ngữ.Tồn tại rất rất nhiều loại này bản thể ngôn ngữ, đã bao gồm đặc biệt, cũng bao gồm căn cứ vàoTiêu chuẩn:
- Bình thường logic( Common logic ) chính làISOTiêu chuẩn 24707; đây là về một loạiBản thể ngôn ngữGia tộc kỹ thuật quy phạm, trong đó bản thể ngôn ngữ lẫn nhau chi gian có thể chuẩn xác mà lẫn nhau thay đổi.
- CycHạng mục có này chính mình, căn cứ vàoNhất giai gọi từ tính toán,Thả có nào đó cao giai mở rộng bản thể ngôn ngữ ( tứcCycL).
- GellishNgôn ngữ bên trong bao gồm về tự thân mở rộng quy tắc, cho nên tổng thể một bộ bản thể cùng một loại bản thể ngôn ngữ.
- IDEF5Là một loại dùng cho biên chế cùng giữ gìn chuẩn xác, cóNhưng phục dùng tínhLĩnh vực bản thểPhần mềm công trìnhPhương pháp.
- Tri thức trao đổi cách thức( Knowledge Interchange Format, KIF ) là căn cứ vàoS- biểu đạt thứcMột loạiNhất giai logicNgữ pháp.
- Quy tắc trao đổi cách thức( Rule Interchange Format, RIF ) cùngF- logic( F-Logic ) nhưng đem các loại bản thể cùng quy tắc kết hợp lên.
- OWL( Web Ontology Language ) là một loại dùng cho biên soạn bản thể thanh minh ( ontological statements )Ngôn ngữ.OWL phát triển kế thừaRDFCùngRDFSCùng với một ít lúc đầu bản thể ngôn ngữ hạng mục, bao gồmBản thể trinh thám tầng( Ontology Inference Layer, OIL ),DARPA trí năng thể đánh dấu ngôn ngữ( DARPA Agent Markup Language, DAML ) cùng vớiDAMLplusOIL.OWL chỉ ở ứng dụng vớiVạn duy võngPhía trên; hơn nữa, này cấu thành yếu tố ( loại, thuộc tính cùng thân thể ) đều bị định nghĩa vì RDFTài nguyên,Cũng chọn dùngURITăng thêm đánh dấu.[1]
- Axit amin bản thể: Về axit amin và tính chất loại nhỏ bản thể ( trong đó, khái niệm, thuộc tính cùng quan hệ đều bị có trung tiếng Anh tên, từ đồng nghĩa cập viết tắt ).
- Cơ bản hình thức hóa bản thể ( Basic Formal Ontology ): Một bộ thiết kế chỉ ở vì khoa học kỹ thuật nghiên cứu công tác cung cấp duy trì hình thức hóa thượng tầng bản thể.
- BioPAX: Một bộ chỉ ở xúc tiến sinh vật học con đường ( tế bào quá trình ) số liệu chi trao đổi cùngLẫn nhau thao tác tínhBản thể.
- Tế bào chu kỳ bản thể ( Cell-Cycle Ontology, CCO ): Một bộ dùng cho biểu đạt tế bào chu kỳ ứng dụng bản thể.
- CIDOC khái niệm tham khảo mô hình ( CIDOC Conceptual Reference Model ): Một bộ vềVăn hóa di sảnBản thể.
- COSMO: Thuộc về một bộ cơ sở bản thể ( trước mặt phiên bản vì OWL ), này thiết kế chỉ ở thu nhận sử dụng sở hữu những cái đó từ logic thượng minh xác thuyết minh bất luận cái gì lĩnh vựcThật thểHàm nghĩaLà lúc sở cần nguyên sơ hình khái niệm ( primitive concepts ). Này chỉ ở làm một bộ cơ sở bản thể, có thể dùng cho hoàn thành mặt khác bản thể hoặcCơ sở dữ liệuBên trong bất đồng biểu đạt chi gian thay đổi. Mới đầu, nó chỉ là OpenCyc cùng SUMO bản thể bên trong cơ bản cấu thành yếu tố xác nhập sản vật. Đã chọn dùng mặt khác bản thể cấu thành yếu tố ( loại hình, quan hệ ) đối này tăng thêm bổ sung, do đó dễ bề thu nhận sử dụng lãng văn từ điển định nghĩa từ ngữ biểu bên trong sở hữu từ đơn biểu đạt hình thức.
- Bệnh tật bản thể ( Disease Ontology ): Ở thiết kế thượng chỉ ở xúc tiến các loạiBệnh tậtCập tương quan khỏe mạnh trạng huống hướng riêng y học số hiệu chiếu rọi.
- DOLCE:Tức ngôn ngữ học cùng nhận tri công trình miêu tả hình bản thể ( Descriptive Ontology for Linguistic and Cognitive Engineering ).
- Cơ sở tính trung tâm ngôn ngữ học bản thể ( Foundational, Core and Linguistic Ontologies )
- Thông dụng thượng tầng mô hình ( Generalized Upper Model ): Một bộ dùng cho ở khách hàng hệ thống cùngTự nhiên ngôn ngữKỹ thuật chi gian phát huy người môi giới tác dụng, có chứa ngôn ngữ học động cơ bản thể.
- Gellish tiếng Anh từ điển:Là một bộ bao gồm có từ điển cùng phân loại pháp bản thể; trong đó, thu nhận sử dụng có một bộ thượng tầng bản thể cùng một bộ hạ tầng bản thể ( lower ontology ), trọng điểm với công trình, kỹ thuật cùng với mua sắm phương diện công nghiệp cập thương nghiệp ứng dụng. Tham kiến SourceForgeKhai nguyênHạng mục.
- GOLD: TứcNgôn ngữ miêu tảThông dụng bản thể ( General Ontology for Linguistic Description ).
- IDEAS công tác tổ:Australia,Canada,Anh quốcCùng vớiNước MỹQuốc phòng bộ sở đang ở cộng đồng xây dựng một bộ vềXí nghiệp giá cấu( enterprise architecture ) hình thức hóa bản thể.
- Linkbase: ỞCơ bản hình thức hóa bản thể ( Basic Formal Ontology )Cơ sở phía trên, đối với sinh vật y học lĩnh vực một loại hình thức hóa biểu đạt.
- Lao sâm hình thức ngôn ngữ( Lawson Pattern Language, LPL )
- Mở ra sinh vật y học bản thể đúc xưởng( OBO Foundry ): Sinh vật y học lĩnh vực một bộ cóLẫn nhau thao tác tínhTham khảo bản thể.
- Sinh vật y học điều tra bản thể( Ontology for Biomedical Investigations ): Dùng cho miêu tảSinh vật họcCậpLâm sàngĐiều tra nghiên cứu hoạt động một bộ mở ra tổng thể hóa bản thể.
- Thực vật bản thể ( Plant Ontology ): VềThực vậtKết cấu cùng với sinh trưởng / phát dục giai đoạn chờ phương diện bản thể.
- Trình tự trừu tượng phân loại pháp ( Program abstraction taxonomy )
- Protein tổ họcLĩnh vực protein bản thể ( Protein Ontology )
- Hệ thống sinh vật học bản thể( Systems Biology Ontology ): Miêu tả chính làSinh vật họcLĩnh vựcMáy tính mô hình
- Đề cử thượng tầng xác nhập bản thể:Mộ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 cùng 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 Inde xing Medical Education )
Vì internet khai phá các loại bản thể công tác, đã dựng dục ra những cái đó có tìm tòi công năng, cung cấp bản thểMục lục( directories ) hoặc danh sáchPhục vụ.Này loại mục lục liền xưng là “Bản thể kho”.
Như sau là một ít chọn dùng nhân công phương thức lựa chọn ra tới bản thể sở cấu thành trạng thái tĩnhKho:
- CO-ODE hạng mục bản thể kho: Cung cấp chính là một ít cùng CO-ODE hạng mục tương quan bản thể thí dụ mẫu cùng bản thể tài nguyên liên tiếp.
- DAML bản thể kho ( DAML Ontology Library ) bên trong bảo tồn chính là những cái đó chọn dùng DAML cách thức lịch sử di lưu bản thể.
- Protege bản thể kho ( Protege Ontology Library ) bên trong thu nhận sử dụng chính là một bộ chọn dùng OWL cách thức, căn cứ vào dàn giáo cách thức cùng với mặt khác cách thức bản thể.
- SchemaWeb còn lại là một cái từ chọn dùng RDFS, OWL cùng với DAML+OIL cách thức sở biểu đạt RDF hình thức ( RDF schemata ) mà cấu thành mục lục.
Dưới đây này đó tức là mục lục, đồng thời lại làCông cụ tìm kiếm.Trong đó, bao gồm dùng cho ở internet thượng tìm tòi lương cấu tính bản thểSưu tầm khí.
- OBO Foundry / Bioportal làSinh vật họcCùngSinh vật y học( biomedicine ) lĩnh vực một bộ cụ bịLẫn nhau thao tác tínhTham khảo bản thể.
- OntoSelect Ontology Library ( OntoSelect bản thể kho ) cung cấp chính là nhiều loại cùng loại, áp dụng với RDF/S, DAML cùng với OWL bản thể phục vụ.
- Ontaria là “Một cái có thể tìm tòi cùng xemNgữ nghĩa võngSố liệu mục lục, thả trọng điểm với RDF từ biểu cùng với OWL bản thể”.
- SwoogleLà một cái mục lục cùng công cụ tìm kiếm, áp dụng với internet thượng có sẵn nhưng dùng sở hữu RDF tài nguyên, bao gồm các loại bản thể.[2]
Chủ điều mục:Bản thể biên tập khí
Dùng cho biên soạn bản thể phần mềm biên tập khí xưng là “Bản thể biên tập khí( ontology editor )”, có khi lại xưng là “Bản thể luận biên tập khí”.
- Neon thùng dụng cụ
- OntoWiki:Một cáiTự doKhai nguyênHìnhNgữ nghĩa duy cơỨng dụng, chỉ ở làm bản thể biên tập khí cùngTri thức thu hoạchHệ thống[3]
- Hình thức hóa khái niệm phân tích
- Bản thể biểu đồ
- Mở ra sinh vật y học bản thể
- Mềm bản thể
- Thuật ngữ tập lấy ra
- Nhược bản thể
- Phân thể pháp
- Thuật ngữ tập
- Lâm sàng thuật ngữ server
