比浏览器更快的访问！
126 关系: 加拿大，基因本体，受控词表，外科学，威拉德·冯·奥曼·蒯因，学科交叉，存在，定义，对象，临床术语服务器，常识知识库，世界，万维网，一阶逻辑，乔治城大学，人工智能，人类思维字母表，互操作性，库，事件，企业架构，开放源代码，形式系統，形式语言，形而上学，信息学，信息系统，信息资源，國際標準化組織，制药工程，分体论，分体法，哲学，哲学家，出版，內科學，公理，共相，关系 (数学)，图书馆学，Cyc，知觉，知识，知识交换格式，知识管理，知识表示，类 (计算机科学)，类型，索尔·阿伦·克里普克，維基，...，網頁，網路爬蟲，统一资源标志符，网络本体语言，美國，疾病，生物学，生物医学，生物医学信息学，电子商务，顧客，解剖学，解剖学基础模型，规则交换格式，计算模型，计算机硬件，计算机科学，认知科学，论域，论文，词语，语义学，语义网，資訊架構，软件，软件工程，都柏林核心，自动推理，自由软件，自然语言，英国，英语，電腦科學家，集合 (计算机科学)，蛋白质，蛋白质组学，通用表意文字，逻辑，HTML，LPL，MediaWiki，OilEd，OpenCyc，OWL，Protégé，RDF，ResearchCyc，S-表达式，Semantic MediaWiki，Swoogle，Web服务，WordNet，推理，描述逻辑，搜索引擎，格 (数学)，标准，植物，概念，模块化本体，殊相，澳大利亚，本体工程，本体编辑器，本体论 (哲学)，本体语言，本體，本质，术语，术语集，术语服务器，方法学，文化遗产，撲克，意識形態，数据库。 扩展索引 (76 更多) »
加拿大
加拿大（英语、法语：Canada，IPA读音：（英）（法））为北美洲国家，西抵太平洋，东至大西洋，北滨北冰洋，东北方与丹麦领地格陵兰相望，东部与圣皮埃尔和密克隆相望，南方及西北方与美国接壤。加拿大的领土面积达998万平方公里，为全球面积第二大国家。加拿大素有「枫叶之国」的美誉，渥太华为该国首都。 加拿大在1400年前即有原住民在此生活。15世纪末，英国和法国殖民者开始探索北美洲的东岸，并在此建立殖民地。1763年，当七年战争结束后，法国被迫将其几乎所有的北美殖民地割让予英国。在随后的几十年中，英国殖民者向西探索至太平洋地区，并建立了数个新的殖民地。1867年7月1日，1867年宪法法案通过，加拿大省、新不伦瑞克、新斯科舍三个英属北美殖民地组成加拿大联邦，其中加拿大省分裂为安大略和魁北克。在随后100多年里，其它英属北美殖民地陆续加入联邦，组成现代加拿大。 加拿大是实行聯邦制、君主立憲制及議會制的國家，由十个省和三个地区组成，英国女王伊丽莎白二世為國家元首及加拿大君主，而加拿大總督為其及政府的代表。加拿大是双语国家，英语和法语为官方语言，原住民的語言被認定為第一語言。由於位於高緯度地廣人稀，该国是世界上擁有多元化種族及文化的國家，也是移民為主的国家，约五分之一的国民出生于境外，近年來移民大部分來自亞洲。 得益於豐富的自然資源和高度發達的科技，加拿大是富裕、经济发达的国家。以国际汇率计算，加拿大的人均国内生产总值在全世界排名第十六，人类发展指数排名第十。它在教育、政府的透明度、自由度、生活品质及经济自由的都名列前茅。积极参与国际事务，是联合国、北大西洋公約組織、北美空防司令部、七大工業國組織、二十国集团、英联邦、经济合作与发展组织、及太平洋岛国论坛的成员。.
新！!: 本体 (信息科学)和加拿大 · 查看更多 »
基因本体
随着生物技术的发展越来越快，人们得到的数据越来越多。需要寻找一种方法来组织整理这些信息。GO（gene ontology）基因本体论提供了一个省时省力的解决方案，基因产物在数据库中被赋上GO的词条，进而科学家们可以到数据库中去查询这些生物学的相关信息。 基因本体（Gene Ontology，GO）项目提供了定义术语的本体表示基因产物的性质。它主要包括三个分支：細胞組件、分子功能和生物過程。 基因本体是一个有向无环图（DAG）型的本体。目前，GO中使用了is_a、part_of和regulates三种关系。.
新！!: 本体 (信息科学)和基因本体 · 查看更多 »
受控词表
受控词表，又称为控制词汇表、受控词汇表或者控制词表， 是一种对知识加以组织整理，以便后续进行检索的手段。受控词表在主题词标引方案、主题词表、叙词表、分类法以及本体等语义谱成员之中都有应用。受控词表方案强制要求采用预先确定且经过权威认定的术语，而这些术语是由词表的设计者原先选定的。相比之下，自然语言词表并没有施加此类限制。.
新！!: 本体 (信息科学)和受控词表 · 查看更多 »
外科学
外科学是现代医学的一个科目，主要研究如何利用外科手术方法去解除病人的病原，从而使病人得到治療。外科學和所有的臨床醫學一樣，需要了解疾病的定義、病因、表現、診斷、分期、治療、預後, 而且外科學更重視開刀的適應症、術前的評估與照顧、手術的技巧與方法、術後的照顧、手術的併發症與預後等與外科手術相關的問題。 早在古埃及出土的木乃伊，就可以发现頭顱的手術痕跡。而早在2000多年前的中国，也就已经从战争、生产和生活的实践中总结出一些外科的实践经验。现代外科学开创于19世纪末，起先经常由受过培训的理发师代理执行手术——即所谓的“医疗理发师”（barber surgeon），因此在今天的许多英联邦国家外科医师被称呼为“先生”（Mister）而不是“医生”（Doctor）。在20世纪初，随着消毒、麻醉、止血、输血等技术的产生和进步，现代外科学得以逐渐深化及完善。 临床外科学根据治疗目标的不同有着明确的分工，可分为普通外科（现专指各种腹腔、乳房、甲状腺及简单的皮肤外科，腹腔外科则可细分为肛肠、肝胆、上消化道外科等等）、心臟外科、胸腔外科（两者可合称“心胸外科”）、血管外科、神经外科（有时简称脑外科）、耳鼻喉/头颈外科、泌尿外科、整形外科、矫形外科（即骨外科）、小兒外科、移植外科等。廣義的外科學則尚可包含眼科、妇产科、口腔頜面外科等。 外科经常處理的問題包含了創傷、各种胸腹部急症、先天/后天性畸形、惡性腫瘤、器官移植等，在临床应用上和麻醉学、特级护理学、病理学、放射学、肿瘤学等其它医学专科工作关系极其密切。隨著藥物、早期诊断技术與其他医疗科技（比如介入放射学）的發達，許多疾病的治療都轉變為非外科治療為主，然而外科手術仍然是這些治療無效或產生併發症不可或缺的後線支持，而外科微創手術（內視鏡手术）的領域也在蓬勃發展。.
新！!: 本体 (信息科学)和外科学 · 查看更多 »
威拉德·冯·奥曼·蒯因
威拉德·冯·奥曼·蒯因（Willard Van Orman Quine，），20世纪最有影响的美国哲学家、逻辑学家之一。出生富裕家庭，其父為一成功的實業家，其母則任職教師。1926年入歐柏林大學，1930年得數學與哲學學士，1932即於哈佛大學取得哲學博士學位。奎因在哈佛大學任教時為全校薪金最高的教職員。.
新！!: 本体 (信息科学)和威拉德·冯·奥曼·蒯因 · 查看更多 »
学科交叉
#重定向 科际整合.
新！!: 本体 (信息科学)和学科交叉 · 查看更多 »
存在
存在（Existence），又譯為實在、存有，是一个哲学概念，按照20世紀西方存在主义哲學家的定义，是具有難以改變，但能夠改變的特性。而相對於存在的不存在（虛無）則是具有難以控制，但能夠控制的特性。而兩者的界別存在於（無限線）的正反面上。但此界別中的正反面本不存在，故分辨的方向只在乎於其外延對該物的影響。 貝克萊認為，無法被感知的事物（包括被神感知），就無法證明其存在，故“存在就是被感知”。 黑格爾認為，存在不過是絕對理念的一個最簡單的規定；存在主義所說的“存在”，實質上僅僅是個人的主觀存在。 存在乃是一切存在者的共性。 存在可以說是「可以被理解並形成概念」，以一個小嬰兒為例，他剛出生，並不了解「書本」為何物，但是一旦他長大後了解了「書本」為何物，那對他來說，「書本」的概念已經形成，所以存在。所以「存在」是相對於個體的一種狹義概念。對我們來說，未來的科技是「不存在的」，但我們一旦理解，那「不存在」將會被轉變為「存在」，所以可以說我們的世界是無法定義「不存在」，因為我們如果把某項東西定義為「不存在」，那不存在的東西便存在了。.
新！!: 本体 (信息科学)和存在 · 查看更多 »
定义
定義（definition）是透過列出一個事件或者一個物件的基本屬性來描述或規範一個詞或一個概念的意義；被定義的事物或者物件叫做被定義項，其定義叫做定義項。 例如“一個單身漢是一個未婚男子”這個定義中“單身漢”是被定義項，“未婚男子”是定義項。定義中的“一個”和“是”均可以使用符號取代，比如使用：.
新！!: 本体 (信息科学)和定义 · 查看更多 »
对象
对象，可能指.
新！!: 本体 (信息科学)和对象 · 查看更多 »
临床术语服务器
临床术语服务器（Clinical Terminology Server）是一种备有临床术语系统（Clinical Terminology），并且提供对于临床术语系统的访问能力的术语服务器（Terminology Server）。.
新！!: 本体 (信息科学)和临床术语服务器 · 查看更多 »
常识知识库
常识知识库是当代智能系统或智能代理所具备的一种知识库。它是解决人工智能或知识工程技术瓶颈难题的一项关键措施，其特点是数量上规模大。早期人工智能或知识工程系统所具备的领域知识库是另一种知识库。也就是说，领域知识库和常识知识库是智能计算机系统所具备的知识库的两种基本类型。计算机科学领域普遍认为领域知识库和常识知识库是人工智能或知识工程技术瓶颈难题。从早期关注专家的领域知识到现在同时关注常识知识，这是人工智能或知识工程技术的一种进步。由于计算机硬件和软件以及数据库乃至数据仓库及其人机交互界面等技术的不断成熟，使得人们在21世纪开发各种专家系统所需要的各个中等规模的领域知识库和开发常识系统所需要的大规模的常识知识库都具备了基础条件。.
新！!: 本体 (信息科学)和常识知识库 · 查看更多 »
世界
世界，亦稱天地、天下、人间、世间、万物、世上等，是對所有事物的代稱。可以有下列意思：.
新！!: 本体 (信息科学)和世界 · 查看更多 »
万维网
万维网（World Wide Web），亦作「WWW」、「Web」，是一个由许多互相链接的超文本组成的系统，通过互联网访问。英國科學家蒂姆·伯纳斯-李於1989年發明了萬維網。1990年他在瑞士CERN的工作期間編寫了第一個網頁瀏覽器。網頁瀏覽器於1991年在CERN向外界發表，1991年1月開始發展到其他研究機構，1991年8月在互聯網上向公眾開放。 萬維網是資訊時代發展的核心，也是數十億人在網際網路上進行互動的主要工具。網頁主要是文本文件格式化和超文件標示語言（HTML）。除了格式化文字之外，網頁還可能包含圖片、影片、聲音和軟體元件，這些元件會在使用者的網頁瀏覽器中呈現為多媒體內容的連貫頁面。 萬維網並不等同網際網路，萬維網只是網際網路所能提供的服務其中之一，是靠着網際網路運行的一項服務。.
新！!: 本体 (信息科学)和万维网 · 查看更多 »
一阶逻辑
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年，一階邏輯出現過許多種名稱，包括：一阶斷言演算、低階斷言演算、量化理論或斷言逻辑（一個較不精確的用詞）。一階邏輯和命題邏輯的不同之處在於，一階邏輯有使用量化變數。一個一階邏輯，若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域，即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份，因為它是公理系統的標準形式邏輯。許多常見的公理系統，如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等，都可以形式化成一階理論。然而，一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.
新！!: 本体 (信息科学)和一阶逻辑 · 查看更多 »
乔治城大学
乔治城大学（Georgetown University）位于美国首都华盛顿哥伦比亚特区，是一所世界顶尖的私立研究型大学。该大学建立于1789年，是美国最古老的耶稣会和天主教大学。乔治城大学的主校区位于华盛顿乔治城，以古罗马式建筑风格的美国国家历史名胜希利堂为著称。乔治城大学在华盛顿特区的国会山设有法学院，在意大利、土耳其和卡塔尔设有分校。 乔治城大学是由美国首位天主教主教约翰·卡罗尔建立的。在此之前，天主教教徒曾经致力于在马里兰省建立一所罗马天主教大学，但受到了宗教迫害的阻止。美国内战之后，该校在帕特里克·弗朗西斯·希利的领导下得到进一步发展。尽管希利在法律上具有奴隶身份，他对乔治城大学的贡献仍使其以“再造之父”为人所熟知。从1805年起，耶稣会会士进入学校管理层。这一传统得到了乔治城大学的秉持。然而，学校的治理一直独立于耶稣会和教会当局。 乔治城大学约有7000名本科生和10,000余名研究生，他们来自全球130多个国家，具有不同宗教和民族背景。该校知名校友大多在美国和世界各国的公共事务领域中表现突出，其中包括美国前总统比尔·克林顿、前任美国最高法院大法官安东宁·斯卡利亚、数十位美国州长和国会议员、数十个国家的元首和政府首脑、王室成员及外交官。 在乔治城大学的校园组织中，有着美国全国最大的学生企业。乔治城大学运动队名为乔治城大学惊叹队。其中，乔治城大学男子篮球队曾经追平纪录，七次获得美国大东联盟男子篮球锦标赛冠军。另外，还曾五次进入四强，并于1984年夺得全国冠军。乔治城大学是美国爱国者联盟盟校之一。联盟成員由包括該校、麻省理工学院、理海大学和美国海军学院在内的共13个精英学府组成。这些学府的共同特点是规模小和高度精英化。.
新！!: 本体 (信息科学)和乔治城大学 · 查看更多 »
人工智能
人工智能（Artificial Intelligence, AI）亦稱機器智能，是指由人製造出來的機器所表現出來的智能。通常人工智能是指通過普通電腦程式的手段實現的人類智能技術。該詞也指出研究這樣的智能系統是否能夠實現，以及如何實現科學領域。同時如此，人類的數量開始收斂及功能逐漸被其取代。 一般教材中的定义领域是“智能主体（intelligent agent）的研究与设计”，智能主体是指一个可以观察周遭环境并作出行动以达致目标的系统。约翰·麦卡锡于1955年的定义是「制造智能机器的科学与工程。」 人工智能的研究是高度技术性和专业的，各分支领域都是深入且各不相通的，因而涉及範圍極廣。人工智能的研究可以分为几个技术问题。其分支领域主要集中在解决具体问题，其中之一是，如何使用各种不同的工具完成特定的应用程序。 AI的核心问题包括建構能夠跟人類似甚至超越的推理、知识、规划、学习、交流、感知、移动和操作物体的能力等。強人工智能目前仍然是该领域的长远目标。目前強人工智慧已經有初步成果，甚至在一些影像辨識、語言分析、棋類遊戲等等單方面的能力達到了超越人類的水平，而且人工智慧的通用性代表著，能解決上述的問題的是一樣的AI程式，無須重新開發算法就可以直接使用現有的AI完成任務，與人類的處理能力相同，但達到具備思考能力的統合強人工智慧還需要時間研究，比较流行的方法包括统计方法，计算智能和传统意义的AI。目前有大量的工具应用了人工智能，其中包括搜索和数学优化、逻辑推演。而基於仿生學、認知心理學，以及基于概率论和经济学的演算法等等也在逐步探索當中。.
新！!: 本体 (信息科学)和人工智能 · 查看更多 »
人类思维字母表
#重定向 人类思维字母.
新！!: 本体 (信息科学)和人类思维字母表 · 查看更多 »
互操作性
互操作性（英文：Interoperability；中文又称为：协同工作能力，互用性）作为一种特性，它指的是不同的系统和组织机构之间相互合作，协同工作（即互操作）的能力。技术系统工程设计（technical systems engineering）方面常常会用到这条术语；另外，广义地说，还会考虑到那些影响系统间性能（system to system performance）的社会、政治和组织机构因素。另外，Interop还是几个年度网络产品贸易展览会的名称（英文：annual networking product trade shows）。.
新！!: 本体 (信息科学)和互操作性 · 查看更多 »
库
库是貯存物品的地方，如倉庫、金庫等，也可以指：.
新！!: 本体 (信息科学)和库 · 查看更多 »
事件
事件可能是指：.
新！!: 本体 (信息科学)和事件 · 查看更多 »
企业架构
企业架构（Enterprise Architecture, EA,或企业体系结构）是在信息系统架构设计与实施的实践基础上发展起来的一个特殊领域，现有的实践，主要来自大型组织，例如政府建设。自1987年Zachman的开创性工作John A. Zachman (1987).
新！!: 本体 (信息科学)和企业架构 · 查看更多 »
开放源代码
開放原始碼（Open Source）描述了一种在产品的出品和开发中提供最终源材料的做法。在這個詞廣泛使用前，開發者和生產者使用很多詞去描述這個概念；開放源代碼在互聯網上獲得廣泛使用，參加者需要大量更新電腦原始碼。開放源代碼使得生產模組、通訊管道、互動社群獲得改善。隨後，一個新著作權、軟體授權條款、域名和消費者提供建立的，一個新詞開源軟體誕生。 開源模型概念包括同時間不同時程和方法來生產，相對而言，更加集中式的軟体設計模型，例如典型的商業軟体公司。一個開源軟体開發的主要原則和慣例是易貨貿易和合作的同儕生產，經由免費公開的最終產品、原始資訊、藍圖和--。這逐漸應用在其它領域，例如生物技術。.
新！!: 本体 (信息科学)和开放源代码 · 查看更多 »
形式系統
在邏輯與數學中，一個形式系統（Formal system）是由兩個部分組成的，一個形式语言加上一個推理規則或轉換規則的集合。一個形式系統也許是純粹抽象地制定出來，只是為了研究其自身。另一方面，也可能是為了描述真實現象或客觀現實的領域而設計的。.
新！!: 本体 (信息科学)和形式系統 · 查看更多 »
形式语言
在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。.
新！!: 本体 (信息科学)和形式语言 · 查看更多 »
形而上学
#重定向 形上學.
新！!: 本体 (信息科学)和形而上学 · 查看更多 »
信息学
信息学，旧称情报学（外來語），主要是指以信息为研究对象，利用计算机及其程序设计等技术为研究工具来分析问题、解决问题的学问，是以扩展人类的信息功能为主要目标的一门综合性学科。.
新！!: 本体 (信息科学)和信息学 · 查看更多 »
信息系统
信息系统或--（Information Systems），從技術上說就是為了支持組織決策和控製而收集（或獲取）、處理、存儲、分配信息的一組相互關聯的組件。除了支持決策、協作和控制，信息系統也可用來幫助經理和工人分析解決問題，使複雜性可視化，以及創造新的產品，從商業角度看，一個信息系統是一個用於解決環境提出的挑戰的、基於信息技術的組織管理方案。通常用「信息系統」這個詞時，特指依賴於計算機技術的信息系統。 一个基于计算机的信息系统是以计算机软件、硬件、存储和通訊等技术为核心的人机系统 信息系統是由一系列相互關聯的組件構成，是通過信息的收集，處理，存儲及發佈為組織決策和組織控制提供支持的系統。信息系統包括組織內部及其周邊環境中所有重要人員，地理位置，和事物的相關信息。來自《Management Information Systems Managing The Digital Firm》.
新！!: 本体 (信息科学)和信息系统 · 查看更多 »
信息资源
信息资源是指人通过一系列的认识和创造过程，采用符号形式储存在一定载体（包括人的大脑）之上的，可供利用的全部信息。.
新！!: 本体 (信息科学)和信息资源 · 查看更多 »
國際標準化組織
國際標準化組織（International Organization for Standardization；Organisation internationale de normalisation；Международная организация по стандартизации；简称：ISO）成立於1947年2月23日，--定全世界工商業國際標準的國際標準建立機構。 ISO總部設於瑞士日內瓦，成員包括162個會員國。該組織定義為非政府組織，官方語言是英語、法語和俄語。參加者包括各會員國的國家標準機構和主要公司。 ISO與負責電子設備標準的國際電工委員會密切合作。 ISO的國際標準以數字表示，例如：「ISO 11180:1993」的「11180」是標準號碼，而「1993」是出版年份。.
新！!: 本体 (信息科学)和國際標準化組織 · 查看更多 »
制药工程
制药业，是人類歷史上將製藥技術提升至藥物量產化的工程技術。由於現代的藥物大多數屬有機化合物，在溫度、雜質的存在下極容易受到感染或變壞，好的制藥過程需要在環境有很好的配合。 制药工程是一个化学、药学和工程学交叉的工科类专业，以培养从事药品制造，新工艺、新设备、新品种的开发、放大和设计人才为目标。.
新！!: 本体 (信息科学)和制药工程 · 查看更多 »
分体论
分体论可以指：.
新！!: 本体 (信息科学)和分体论 · 查看更多 »
分体法
分体法（英文：Partonomy），又称为分体学或分体论，是一种基于部分－整体关系的分类系统。分体法不同于生物分类学之类的分类法（taxonomy；又称为分类学），因为后者乃是基于相似性的分类系统。.
新！!: 本体 (信息科学)和分体法 · 查看更多 »
哲学
哲學（philosophy）是研究普遍的、根本的问题的学科，包括存在、知识、价值、理智、心灵、语言等领域。哲学与其他学科的不同是其批判的方式、通常是系统化的方法，并以理性论证為基礎。在日常用语中，其也可被引申为个人或团体的最基本信仰、概念或态度。.
新！!: 本体 (信息科学)和哲学 · 查看更多 »
哲学家
#重定向 哲學家.
新！!: 本体 (信息科学)和哲学家 · 查看更多 »
出版
出版或稱发表，是指将作品通过任何方式公之于众的一种行为。在大多数国家，作品一经完成，不论是否出版，即享有著作权。作品获得国际标准书号并经過一定资质的出版机构印刷成书籍称为出版物；出版物内容以数码形式呈现的称之为电子出版物或叫做电子书。以出版为主的生产或者产业领域称为出版业。拥有大量复制或同等规模的传播力的公开发表都统称之为出版。.
新！!: 本体 (信息科学)和出版 · 查看更多 »
內科學
內科學是臨床醫學的一個專科，幾乎是所有其他臨床醫學的基礎，亦有醫學之母之稱。它的內容包含了對疾病的定義、病因學、致病機理、流行病學、自然史、症狀、症候、實驗診斷、影像檢查、鑑別診斷、診斷、治療和預後等。 內科學的方法是透過病史詢問或面談後，進行理學檢查，根據病史與檢查所見做實驗診斷與影像檢查，以期在眾多鑑別診斷中排除可能性較低者，獲得最有可能的診斷；獲得診斷後，內科的治療方法包含追蹤觀察、生活方式、藥物、介入性治療（如心導管、內視鏡）等，根據病人的狀況調整藥物之使用，防止並處理副作用及併發症。.
新！!: 本体 (信息科学)和內科學 · 查看更多 »
公理
在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b.
新！!: 本体 (信息科学)和公理 · 查看更多 »
共相
共相（Universal），又譯為普遍性，是一哲學與佛學常用詞彙，但兩者意思不盡相同。在形上學中，共相是指在個別物體中所擁有的共通特性。舉例來說：在房間中，存在兩張個別的綠色椅子，在這兩張椅子中，都存在共通的「椅子」特質，以及「綠色」的性質。各別的椅子，稱為殊相，而這兩個各別椅子中共通的特質，被稱為共相。.
新！!: 本体 (信息科学)和共相 · 查看更多 »
关系 (数学)
在數學上，關係是對如等於.
新！!: 本体 (信息科学)和关系 (数学) · 查看更多 »
图书馆学
图书馆学是一门研究图书馆收集、加工、整理、保藏、控制、传递和利用文献信息的理论、方法以及图书馆事业发展规律的科学，是一门综合性学科。.
新！!: 本体 (信息科学)和图书馆学 · 查看更多 »
Cyc
Cyc是一个致力于将各个领域的本体及常识知识综合地集成在一起，并在此基础上实现知识推理的人工智能项目。其目标是使人工智能的应用能够以类似人类推理的方式工作。这个项目是由在1984年设立的，由公司开发并维护。 该项目的一部分以OpenCyc形式发布，OpenCyc项目以开源许可的形式向开发者和使用者提供API，可下载的数据集（特别是为语义万维网实践者提供了OWL版本的数据集）等。.
新！!: 本体 (信息科学)和Cyc · 查看更多 »
知觉
知覺或感知（Perception）是外界刺激作用于感官时，腦对外界的整體的看法和理解，为我们对外界的感官信息进行组织和解釋。在认知科学中，也可看作一组程序，包括获取信息、理解信息、筛选信息、组织信息。與感覺不同，知覺反映的是由對象的各樣屬性及關係構成的整體。.
新！!: 本体 (信息科学)和知觉 · 查看更多 »
知识
知识是对某个主题确信的认识，并且这些认识拥有潜在的能力为特定目的而使用。意指透過經驗或聯想，而能夠熟悉進而了解某件事情；這種事實或狀態就稱為知識，其包括認識或了解某種科學、藝術或技巧。此外，亦指透過研究、調查、觀察或經驗而獲得的一整套知識或一系列資訊。认知事物的能力是哲学中充满争议的中心议题之一，并且拥有它自己的分支—知识论。从更加实用的层次来看，知识通常被某些人的群体所共享，在这种情况下，知识可以通过不同的方式来操作和管理。.
新！!: 本体 (信息科学)和知识 · 查看更多 »
知识交换格式
知识交换格式（Knowledge Interchange Format，缩写为 KIF）是一种面向计算机的语言，用于在不同的计算机程序之间交换知识。.
新！!: 本体 (信息科学)和知识交换格式 · 查看更多 »
知识管理
知识管理（knowledge management，缩写为KM）包括一系列企业内部定义、创建、传播、采用新的知识和经验的战略和实践。这些知识和经验包括认识，可以是个人知识，以及组织中商业流程或实践。 知識管理是一項在1990年代中期開始在全球崛起的學術與商業應用主題，針對個人及社群所擁有的显性知识和隱性知識的確認、創造、掌握、使用、分享及傳播進行積極及有效的管理。其主要涵蓋的固有理論及應用層面包括學習型組織、企業文化、資訊科技應用，及人事管理等。而由於知識管理的概念通常與企業的各種改善願景扯上關係，知識管理在現今企業上的實踐愈來愈受到重視，亦因此為顧問和科技公司帶來了不少商機。知識管理在非商業上的應用亦很廣泛，其中維基百科經常被指為互聯網上其中一個最成功的知識管理系統。 根据1991年的学术规则列表，（参考Nonaka 1991），知识管理应用于商业管理、信息系统、管理学和图书馆、信息科学等领域。最近，其他领域也开始应用知识管理，包括信息和媒体、计算机科学、公共卫生和公共政策等。 很多大型企业都有内部知识管理凭条，作为其战略管理、信息科技、人力资源管理等部门组成部分。很多咨询公司也有关于知识管理的建议。 知识管理一般重视以改进效果、竞争优势、创新、分享知识学习、整合知识和持续改进为企业目标。知识管理与组织学习类似，但也有区别，更注重对知识作为战略资源的管理，鼓励分享知识，是企业学习的一种好方法。.
新！!: 本体 (信息科学)和知识管理 · 查看更多 »
知识表示
知識表示法（知識重呈／知識表現） 是認知科學和人工智能兩個領域共同存在的問題。在認知科學里，它關係到人類如何儲存和處理資料。在人工智能里，其主要目標為儲存知識，讓程式能夠處理，達到人類的智慧。目前這個領域仍然沒有一個完美的答案。.
新！!: 本体 (信息科学)和知识表示 · 查看更多 »
类 (计算机科学)
在物件導向程式設計，类（class）是一种面向对象计算机编程语言的构造，是创建对象的蓝图，描述了所创建的对象共同的和方法。 类的更严格的定义是由某种特定的元数据所组成的内聚的包。它描述了一些对象的行为规则，而这些对象就被称为该类的实例。类有接口和结构。接口描述了如何通过方法与类及其实例互操作，而结构描述了一个实例中数据如何划分为多个属性。类是与某个层的对象的最具体的类型。类还可以有运行时表示形式（元对象），它为操作与类相关的元数据提供了运行时支持。 支持类的编程语言在支持与类相关的各种特性方面都多多少少有一些微妙的差异。大多数都支持不同形式的类继承。许多语言还支持提供封装性的特性，比如访问修饰符。类的出现，为面向对象编程的三个最重要的特性（封装性、继承性、多态性），提供了实现的手段。.
新！!: 本体 (信息科学)和类 (计算机科学) · 查看更多 »
类型
类型可指 藝術.
新！!: 本体 (信息科学)和类型 · 查看更多 »
索尔·阿伦·克里普克
索尔·阿伦·克里普克（Saul Aaron Kripke，），美国逻辑学家，哲学家。模态逻辑语义学的创始人之一，因果—历史指称论的首倡者之一。.
新！!: 本体 (信息科学)和索尔·阿伦·克里普克 · 查看更多 »
維基
維基一詞出自「Wikipedia」的中文譯名「維基百科」，是維基媒體基金會（Wikimedia Foundation, Inc.）的一個商標，用於所有由維基媒體基金會營運、使用Wiki引擎發展的中文站點上。「維」字意思為繫物的大繩，也可作網的解釋，可以引申為網際網路，「基」是指事物的根本，或是建築物的底座。「維基百科」合起來可引申為網際網路中裝載人類基礎知識的百科全書，是一種採用Wiki協作系統技術的線上百科。 除了維基百科外，其他以「維基」這個商標命名的網站還包括維基詞典、維基教科書、維基語錄、維基共享資源、維基新聞、維基文庫、維基物種、維基數據、維基導遊及元維基。「維基百科」這個譯名最早是由中文維基百科使用者ghyll（現Mountain）於2002年11月28日時提出，並由中文維基百科社群十餘位早期參與者於2003年10月21日經投票產生。 現在“維基”一詞亦可指作Wiki的中文翻譯，以及基於使用Wiki引擎的網站。.
新！!: 本体 (信息科学)和維基 · 查看更多 »
網頁
网页（web page）是一个適用於全球資訊網和網頁瀏覽器的文件，它存放在世界某个角落的某一部或一組计算机中，而这部计算机必须是与互联网相连。网页经由网址（URL）来识别与存取，当我们在网页浏览器输入网址后，经过一段复杂而又快速的程序，网页文件会被传送到用户家的计算机，然后再通过浏览器解释网页的内容，再展示给用户。是網路中的一「頁」，通常是HTML格式，但現今已經有愈來愈多、各色各樣的網頁格式和標準出現。網頁通常用圖像檔來提供圖畫。網頁要透過網頁瀏覽器來閱讀。.
新！!: 本体 (信息科学)和網頁 · 查看更多 »
網路爬蟲
网络爬虫（web crawler），也叫網路蜘蛛（spider），是一种用来自动浏览万维网的。其目的一般为编纂。 網路搜索引擎等站点通过爬蟲軟體更新自身的或其對其他網站的索引。網路爬蟲可以將自己所訪問的頁面保存下來，以便搜索引擎事後生成供用戶搜索。 爬蟲访问网站的过程会消耗目标系统资源。不少网络系统并不默许爬虫工作。因此在访问大量页面时，爬虫需要考虑到规划、负载，还需要讲“礼貌”。 不愿意被爬虫访问、被爬虫主人知晓的公开站点可以使用robots.txt文件之类的方法避免访问。这个文件可以要求只对网站的一部分进行索引，或完全不作处理。 互联网上的页面极多，即使是最大的爬虫系统也无法做出完整的索引。因此在公元2000年之前的万维网出现初期，搜索引擎经常找不到多少相关结果。现在的搜索引擎在这方面已经进步很多，能够即刻给出高质量结果。 爬虫还可以验证超連結和HTML代码，用于（参见）。.
新！!: 本体 (信息科学)和網路爬蟲 · 查看更多 »
统一资源标志符
在電腦术语中，统一资源标识符（Uniform Resource Identifier，或URI）是一个用于标识某一互联网资源名称的字符串。 该种标识允许用户对网络中（一般指万维网）的资源通过特定的协议进行交互操作。URI的最常见的形式是统一资源定位符（URL），经常指定为非正式的网址。更罕见的用法是统一资源名称（URN），其目的是通过提供一种途径。用于在特定的命名空间资源的标识，以补充网址。.
新！!: 本体 (信息科学)和统一资源标志符 · 查看更多 »
网络本体语言
网络本体语言 (英文：Ontology Web Language，OWL) 旨在提供一种可用于描述网络文档和应用之中所固有的那些类及其之间关系的语言。OWL网络本体语言当前已经获得万维网联盟认可的，用于编纂本体的知识表达语言家族。 其功能在于为网络文档和应用中固有的类以及其间的逻辑关系提供描述，使得基于此技术的网络应用更加 人性化和智能化，节省用户自身资源搜索时间并将这些处理交给计算机系统内部处理。基于不同的语义论特性 此家族语言大致分为两个系统： 基于描述逻辑进而丰富表达和精准计算属性的OWL DL和OWL Lite，以及以资源描述架构（英文：resource description framwork:RDF） 提供兼容叙述的OWL Full。 网络本体语言已经被认为是语义网技术的基础语言并吸引了包括学术和商业范围内人士的广泛兴趣。.
新！!: 本体 (信息科学)和网络本体语言 · 查看更多 »
美國
#重定向 美国.
新！!: 本体 (信息科学)和美國 · 查看更多 »
疾病
病是生物在一定原因的损害性作用下，因自稳调节紊乱而发生的异常生命活动过程，是特定的異常病理情形，而且會影響生物體的部份或是所有器官。一般會解釋為「身體病況」（medical condition），而且伴隨著特定的症狀及醫學徵象。机体对病因所引起的损害发生一系列抗损害反应；自稳调节的紊乱，损害和抗损害反应，表现为疾病过程中各种复杂的机能、代谢和形态结构的异常变化，而这些变化又可使机体各器官系统之间以及机体与外界环境之间的协调关系发生障碍，从而引起各种症状、体征和行为异常，特别是对环境适应能力和体力减弱甚至丧失。 疾病有致病原因，可能是由外在因素而造成，例如傳染病，也有可能是因為內在的機能不良而導致，例如自體免疫疾病。但疾病不一定是由单一因素引起。致病的原因往往因为环境因素作用于遗传易感体；它是有规律的发展过程。疾病导致一系列的功能、代谢和形态结构的变化，并由此而产生各种症状和体征，这是认识疾病的基础。疾病是完整机体的反应，但不同的疾病又在一定部位（器官或系统）有它特殊的变化。生病时，机体内各器官系统之间的平衡关系和机体与外界环境之间的平衡关系受到破坏，机体对外界环境适应能力降低，体力减弱或丧失。 對人類而言，疾病一般會用來泛指會造成疼痛、異常行為甚至死亡的條件。在此定義下，疾病有時也包括受傷、身心障礙、功能失調、症候群、感染、獨立的症狀、特異的行為等。不過在其他領域可能會有不同的分類。疾病不一定只影響人的生理，灳會對人的情緒造成影響，患有某一疾病可能會影響人的生活態度及人格。 由於疾病造成的死亡會歸類為。疾病可以分為四類：病原類疾病、营养缺乏類疾病、遺傳類疾病及心理類疾病。疾病也可以用傳染病及非傳染病來分類。造成最多人死亡的疾病是冠狀動脈疾病，再來是及。.
新！!: 本体 (信息科学)和疾病 · 查看更多 »
生物学
生物学研究各種生命（上图） 大肠杆菌、瞪羚、（下图）大角金龟甲虫 、蕨類植物 生物學（βιολογία；biologia；德語、法語：biologie；biology）或稱生物科學（biological sciences）、生命科學（life sciences），是自然科學的一大門類，由經驗主義出發，廣泛研究生命的所有方面，包括生命起源、演化、分佈、構造、發育、功能、行為、與環境的互動關系，以及生物分類學等。現代生物學是一個龐大而兼收並蓄的領域，由許多分支和分支學科組成。然而，盡管生物學的範圍很廣，在它裡面有某些一般和統一概念支配一切的學習和研究，把它整合成單一的，和連貫的領域。在總體上，生物以細胞作為生命的基本單位，基因作為遺傳的基本單元，和進化是推動新物種的合成和創建的引擎。今天人們還了解，所有生物體的生存以消耗和轉換能量，調節體內環境以維持穩定的和重要的生命條件。 生物學分支學科被研究生物體的規模所定義，和研究它們使用的方法所定義：生物化學考察生命的基本化學；分子生物學研究生物分子之間錯綜復雜的關系；植物學研究植物的生物學；細胞生物學檢查所有生命的基本組成單位,細胞；生理學檢查組織，器官，和生物體的器官系統的物理和化學的功能；進化生物學考察了生命的多樣性的產生過程；和生態學考察生物在其環境如何相互作用。最終能夠達到治療診斷遺傳病、提高農作物產量、改善人類生活、保護環境等目的。.
新！!: 本体 (信息科学)和生物学 · 查看更多 »
生物医学
生物医学（Biomedical sciences or Biomedicine）是医学的分支，负责将生物技术和其他自然科学理论应用于临床实践。 生物医学主要运用生物学和生理学的知识。 生物医学与健康和生物学相关领域有关联，并且从上世纪以来一直在健康系统中扮演着重要的角色。 生物医学有许多的分支学科和专业领域，其名称通常以“生物-”（bio-）开头，如：.
新！!: 本体 (信息科学)和生物医学 · 查看更多 »
生物医学信息学
生物医学信息学是一门范围宽泛的学科，致力于在生物学研究、生物医学科学、医学以及医疗保健领域的工作实践当中，对于计算机科学、信息科学、信息学、认知科学以及人机交互的研究与应用。其他的许多领域，包括生物信息学、转化研究信息学、临床研究信息学、临床信息学、公共卫生信息学以及医学信息学在内，通常都属于是生物医学信息学的兄弟领域或者生物医学信息学之中的子领域。.
新！!: 本体 (信息科学)和生物医学信息学 · 查看更多 »
电子商务
电子商务，简称电商，是指在互联网（Internet）、内部网（Intranet）和增值网（VAN，Value Added Network）上以电子交易方式进行交易活动和相关服务活动，是传统商业活动各环节的电子化、网络化。电子商務包括电子货币交换、供应链管理、电子交易市场、网络营销、在线事务处理、电子数据交换（EDI）、存货管理和自动数据收集系统。在此过程中，利用到的信息技术包括：互联网、外联网、电子邮件、数据库、电子目录和移动电话。 电子商务通常是指是在全球各地广泛的商业贸易活动中，在因特网开放的网络环境下，基于浏览器/服务器应用方式，买卖双方不谋面地进行各种商贸活动，实现消费者的网上购物、商户之间的网上交易和在线电子支付以及各种商务活动、交易活动、金融活动和相关的综合服务活动的一种新型的商业运营模式。 狭义的电子商务—是指利用Internet从事商务或活动。而广义的电子商务是使用各种电子工具从事商务或活动。这些工具包括从初级的电报、电话、广播、电视、传真到计算机、计算机网络，到NII（国家信息基础结构－信息高速公路）、GII（全球信息基础结构）和Internet等现代系统。而商务活动是从泛商品（实物与非实物，商品与非商品化的生产要素等等）的需求活动到泛商品的合理、合法的消费除去典型的生产过程后的所有活动。 2017年，有20億人進行了移動電子商務交易。.
新！!: 本体 (信息科学)和电子商务 · 查看更多 »
顧客
顾客或客户可以指用金钱或某种有价值的物品来换取接受财产、服务、产品或某种创意的自然人或公司 。是商業服務或產品的採購者，他們可能是最終的消費者、代理人或供應鏈內的中間人。 在市場學理論中，供應商必須營商事前，了解客户及其市場的供求需要，否則事後的「硬銷」廣告，只是一種資源的浪費，又不環保。 現代社會中，「顧客就是上帝」是企業界的流行口號。在客戶服務中，有一種說法，「顧客永遠是對的」。不過各方有不同的演繹，例如顧客二字的個別定義。 顧客一詞源於習慣。一個顧客是時常探訪某店舖的人，他常在該處購買，和店東維持良好關係。 在消費行為中，顧客可分為兩種，一種稱為消費者，一種稱為工業用戶。當顧客購買產品或服務的目的是為了供其最終直接消費之用，則該產品或服務便稱為消費品，而購買該產品的顧客則稱為消費者。而當顧客購買產品或服務的目的是為了投入再製造、再生產與再銷售，則該產品便稱為工業品，此時購買該產品的顧客便稱為工業用戶。.
新！!: 本体 (信息科学)和顧客 · 查看更多 »
解剖学
解剖学（英語：Anatomy）是涉及生命体的结构和组织的生物学分支学科。解剖学和胚胎學、比較解剖學、進化生物學和系統發育有密切關係，而這些也可以看出解剖結構在即時（胚胎學）和長期（演化）時間尺度下的變化。人体解剖学是醫學的基礎學科之一。 解剖学也可以分為微觀尺度及巨觀尺度。巨觀尺度的解剖学即為，是用肉眼來觀察動物的身體及器官。大體解剖學也包括，而其他的部位常利用剖割的方法來進行研究。顯微鏡解剖学是用光學儀器（如顯微鏡）來研究組織（組織學）、細胞及胞器。 解剖学史的特點是對人體結構及器官功能的漸進式了解。其方法也有很大的進展，從一早期檢驗動物及人的屍體，一直到二十世紀的醫學成像技術，包括，超音波和核磁共振成像技術。 解剖学和生理学都是研究器官以及各部份的結構及，因此很自然的會用進行研究。 如果解剖學單指人體解剖學，這時候解剖學會依照各器官系統性地分類，而不是依部位來陳述。每篇解剖學的文章首先包括一个器官或系统。例如：神经、动脉、心臟等的结构描述，根據在人體找到甚麼而定。就此而論，解剖學文章有双重目的；首先，提供關于結構的足夠資料，令文章在生理学、外科、內科和病理学方面均有可謮性；第二，给非专家的查詢者或在某門科学分支上工作的人提供建立解剖學的現代科學基礎的主要理论。.
新！!: 本体 (信息科学)和解剖学 · 查看更多 »
解剖学基础模型
解剖学基础模型，又称解剖学基础模型本体（Foundational Model of Anatomy Ontology, FMA），是解剖学领域的一部参考本体。它是对生物体典型的表现型结构的符号表达形式；FMA是一部由解剖学实体和关系所构成的空间结构本体，而这些实体和关系在所有显著的粒度层次之上构成的则是生物体的实际组织结构。.
新！!: 本体 (信息科学)和解剖学基础模型 · 查看更多 »
规则交换格式
规则交换格式（Rule Interchange Format，RIF）是一个已经建议的语义网构成要素。W3C目前正在构建RIF，将其作为可能推荐的，适合于语义网之上基于规则的系统之中规则交换的格式。RIF旨在为不同的规则语言和推理引擎创建一种交换格式。 Category:语义网 Category:全球資訊網.
新！!: 本体 (信息科学)和规则交换格式 · 查看更多 »
计算模型
计算模型（computational model）是计算科学中的一个数学模型，它使用大量的計算資源来用计算机模拟研究一个复杂系统的行为。被研究的系统通常是一个复杂的非線性系统，这种系统不易取得简单、直观的解析解。相比于推导数学分析来解决问题，它是通过在计算机中调整系统参数并研究实验结果的差异来完成模型。模型的操作理论可以从这些实验来推断/推导。 常见的计算模型有天气预报模型、地球模拟器模型、飛行模擬器模型、分子蛋白质折叠模型和神经网络模型。.
新！!: 本体 (信息科学)和计算模型 · 查看更多 »
计算机硬件
#重定向 硬件.
新！!: 本体 (信息科学)和计算机硬件 · 查看更多 »
计算机科学
计算机科学用于解决信息与计算的理论基础，以及实现和应用它们的实用技术。 计算机科学（computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业（比如信息技术），或者只是与使用计算机的经验有关，如玩游戏、上网或者文字处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着数据和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆，起源于信息（information）和数学或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。 著名计算机科学家Edsger Dijkstra曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如心理学，认知科学，语言学，数学，物理学，统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如Kurt Gödel和Alan Turing，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。.
新！!: 本体 (信息科学)和计算机科学 · 查看更多 »
认知科学
認知科學（Cognitive Science），是一門研究訊息如何在大腦中形成以及轉錄過程的跨領域學科。它研究何为认知，认知有何用途以及它如何工作，研究信息如何表现为感觉、语言、注意、推理和情感。其研究領域包括心理學、哲學、人工智能、神經科學、學習、語言學、人類學、社會學和教育學。它跨越相當多層次的分析，從低層次的學習和決策機制，到高層次的邏輯和策劃能力，以及腦部神經電路。「認知科學」這個詞是在1973年評注一部關於當時人工智慧最新研究的著作時創造的。同10年內，《認知科學期刊》和相繼於美國加州成立。认知科学的基本要义是：理解思维的最好途径，是认识脑中的代表性结构，以及这些结构中发生的计算性过程。.
新！!: 本体 (信息科学)和认知科学 · 查看更多 »
论域
在形式科學裡，論域（或稱做論述全集），是指在某些系統化的論述裡的一些令人感興趣的變數之上，由其中的實體所組成的集合。論域通常被視為預備知識，所以不需要每一次都指出相關變數的範圍來。 例如，在一階邏輯的解釋中，論域是指由量詞能指涉到的個體所組成的集合。在一個解釋裡，論域可以是實數的集合；在另一個解釋裡，則可能是自然數的集合。若沒有指定任何論域，則如∀x (x2 ≠ 2) 之類命題的真偽是不確定的。若論域是實數的集合，此命題即是假的，因為有x.
新！!: 本体 (信息科学)和论域 · 查看更多 »
论文
论文是科学或者社会研究工作者在学术书籍或学术期刊上刊登的，用来进行科学研究和描述或呈现自己研究成果的文章。论文往往强调原创性的工作总结，但当然也可以是对前人工作总结的回顾及做出评价，后者也往往被称为综述性文章（Review）。 论文的出版正在经历着重大变化，出现了从传统的印刷版到网络上电子格式的兴起。 它既是探讨问题进行科学研究的一种手段，又是描述科研成果进行学术交流的一种工具。学年论文、毕业论文、学位论文、科技论文、成果论文等都总称为论文。.
新！!: 本体 (信息科学)和论文 · 查看更多 »
词语
詞語是词和短语（又称词组）的合称。词是最小的能够独立运用的语言单位，而短语是有多个词组成的整体。 词的音节与音节之间或字与字之间若插入成分，意义改变；相反，短语中的特定位置插入成分，原有意义保留。比如“白菜”中加入“的”，就变成了“白的菜”，意义显然发生了变化，再如，在“看书”中加入“一本”，则原有的意义依然保留。因此称“白菜”是词，“看书”是短语。 汉字，如：“我、家、有、个、大、書、百、步、氣、糖”等可以獨立成词，也可以和其他字合成一个新的词，如：“我們、家庭、富有、個性、大眾、书包、百科、跑步、天气、葡萄糖”等。一些詞如“蜻蜓”、“葡萄”等，当“蜻”与“蜓”、“葡”与“萄”分开时，并不会带来任何含义。另一些词如“马虎”（形容草率），當拆成“马”与“虎”时，它们的含义和“草率”没有关系。还有许多外来音译词，如：“巧克力、维基、英格兰、葡萄牙”等等也是不能再拆分的詞。 外文中也有詞，例如英文dog。幾個词可以組合成短語，例如英文a big dog。dog和a big dog均为词语。.
新！!: 本体 (信息科学)和词语 · 查看更多 »
语义学
语义学（Semantics，La sémantique），也作「语意学」，是一个涉及到语言学、逻辑学、计算机科学、自然语言处理、认知科学、心理学等诸多领域的一个术语。虽然各个学科之间对语义学的研究有一定的共同性，但是具体的研究方法和内容大相径庭。语义学的研究对象是自然语言的意义，这里的自然语言可以是词汇，句子，篇章等等不同级别的语言单位。但是各个领域里对语言的意义的研究目的不同：.
新！!: 本体 (信息科学)和语义学 · 查看更多 »
语义网
语义网（Semantic Web）是由万维网联盟的蒂姆·伯纳斯-李（Tim Berners-Lee）在1998年提出的一个概念，它的核心是：通过给万维网上的文档（如: HTML）添加能够被计算机所理解的语义（Meta data），从而使整个互联网成为一个通用的信息交换媒介。语义万维网通过使用标准、置标语言和相关的处理工具来扩展万维网的能力。不过语意网概念实际上是基于很多已有技术的，也依赖于后来和text-and-markup与知识表现的综合。那些渊源甚至可以追溯到20世纪60年代末期的Allan M. Collins、M.
新！!: 本体 (信息科学)和语义网 · 查看更多 »
資訊架構
資訊架構（）是在資訊環境中，影響系統組織、導覽、及分類標籤的組合結構。它是也基于信息架构方法论，并运用内容管理技术来管理和组织信息的一个专门学科。从事该行的人员一般叫做信息架构师。.
新！!: 本体 (信息科学)和資訊架構 · 查看更多 »
软件
軟體（software）是一系列按照特定顺序组织的電腦数据和指示，是電腦中的非有形部分。電腦中的有形部分稱為硬體，由電腦的外殼及各零件及電路所組成。電腦軟體需有硬體才能運作，反之亦然，軟體和硬體都無法在不互相配合的情形下進行實際的運作。 一般来說，计算机软件划分为程式語言、系统软件、应用软件和介于这两者之间的中介軟體。其中系统软件为计算机使用提供最基本的功能，但是并不针对某一特定应用领域。而应用软件则恰好相反，不同的应用软件根据用户和所服务的领域提供不同的功能。 软件包括所有在電腦執行的程式，和其架構無關，例如執行檔、函式庫及腳本語言都屬於软件。軟體不分架構，有其共通的特性，在執行後可以讓硬體執行依設計時要求的機能。軟體儲存在記憶體中，軟體不是可以碰觸到的實體，可以碰觸到的都只是儲存軟體的零件（記憶體）或是媒介（光碟或磁片等）。 软件并不一定只包括可以在计算机上运行的電腦程式，有些定義中，与電腦程式相关的文档，一般也被认为是软件的一部分。简单的说软件就是程式加文档的集合体。软件被应用于世界的各个领域，对人们的生活和工作都产生了深远的影响。.
新！!: 本体 (信息科学)和软件 · 查看更多 »
软件工程
软件工程（quote） 1968年秋季，NATO（北約）的科技委員會召集了近50名一流的編程人員、計算機科學家和工業界巨頭，討論和制定擺脫“軟體危機”的對策。在那次會議上第一次提出了軟體工程（software engineering）這個概念，研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件，以及如何把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来的学科。它涉及到程序设计语言、数据库、软件开发工具、系统平台、标准、设计模式等方面。其后的几十年里，各种有关软件工程的技术、思想、方法和概念不断被提出，软件工程逐步发展为一门独立的科学。 1993年，电气电子工程师学会（IEEE）给出了一个更加综合的定义："将系统化的、规范的、可度量的方法用于软件的开发、运行和维护的过程，即将工程化应用于软件开发中"。此后，IEEE多次给出软件工程的定义。 在现代社会中，软件应用于多个方面。典型的软件比如有电子邮件、嵌入式系统、人机界面、办公套件、操作系统、编译器、数据库、游戏等。同时，各个行业几乎都有计算机软件的应用，比如工业、农业、银行、航空、政府部门等。这些应用促进了经济和社会的发展，提高人们的工作效率，同时提升了生活质量。 软件工程师是对应用软件创造软件的人们的统称，软件工程师按照所处的领域不同可以分为系统分析师、系统架构师、软件设计师、程序员、测试工程师、界面与交互设计师等等。各种软件工程师人们俗称程序员。.
新！!: 本体 (信息科学)和软件工程 · 查看更多 »
都柏林核心
都柏林核心，一种图书关系元数据的国际标准。 现在是本体论研究的一个标准测试集。 这里的“都柏林”容易被误认为是爱尔兰的首都，但实际上它起源于美国一个叫都柏林的小城市的一次会议。.
新！!: 本体 (信息科学)和都柏林核心 · 查看更多 »
自动推理
自动推理是计算机科学和数理逻辑的一个交叉领域，致力于了解理智的方方面面。自动逻辑的研究帮助了利用计算机自动进行完全或几乎完全的推理，其內容一般可分為演繹推理和非演繹推理。自动推理被认为是人工智能的一个分支，还和理论计算机科学甚至哲学相关联。 自动推理的研究内容包括定理机器证明、证明自动检查、不确定性推理、非单调推理以及类比归纳和外展推理。 自动推理的技术和工具包括经典逻辑、微积分学、模糊逻辑、贝叶斯推断、推理与最大熵和大量的非正式特别技术。 Category:理论计算机科学 Category:人工智能 Category:计算机逻辑 Category:推理.
新！!: 本体 (信息科学)和自动推理 · 查看更多 »
自由软件
自由軟體（free software），根據自由軟體基金會对其的定義，是一类可以不受限制地自由使用、複製、研究、修改和分發的，尊重使用者自由的軟體。這方面的不受限制正是自由軟體最重要的本質，與自由軟體相對的是专有软件（proprietary software），或被稱為私有軟體、封閉軟體（其定義與是否收取費用無關──自由軟體不一定是免費軟體）。自由軟體受到選定的「自由軟體授權協議」保護而發佈（或是放置在公有領域），其發布以原始碼為主，二進制檔案可有可無。自由軟體許可證的類型主要有GPL许可证和BSD许可证兩種。.
新！!: 本体 (信息科学)和自由软件 · 查看更多 »
自然语言
自然语言（Natural language）通常是指一种自然地随文化演化的语言。英语、汉语、法語、西班牙語、日语为自然语言的例子，而世界语则为人工语言，即是一种由人特意为某些特定目的而创造的语言。 不过，有时所有人类使用的语言（包括上述自然地随文化演化的语言，以及人工语言）都会被视为“自然”语言，以相对于如编程语言等为计算机而设的“人造”语言。这一种用法可见于自然语言处理一词中。自然语言是人类交流和思维的主要工具。.
新！!: 本体 (信息科学)和自然语言 · 查看更多 »
英国
大不列颠及北爱尔兰联合王国（United Kingdom of Great Britain and Northern Ireland），简称联合王国（United Kingdom，缩写作 UK）或不列颠（Britain），中文通称英国（中文世界早期亦称英联王国），是本土位於西歐並具有海外領地的主權國家，英國為世界七大國之一，位于欧洲大陆西北面，由大不列颠岛、爱尔兰岛东北部分及一系列较小岛屿共同组成。英国和另一国家唯一的陆上国境线位于北爱尔兰，和爱尔兰共和国相邻。英国由大西洋所环绕，东为北海，南为英吉利海峡，西南偏南为凯尔特海，同爱尔兰隔爱尔兰海相望。该国总面积达，为世界面积第80大的主权国家及欧洲面积第11大的主权国家，人口6510万，为全球第21名及歐洲第3名。 英国为君主立宪国家，采用议会制进行管辖。其首都伦敦为全球城市A++级别和国际金融中心，大都会区人口达1380万，为欧洲第三大和欧盟第一大。现在位英国君主为女王伊丽莎白二世，1952年2月6日即位。英国由四个构成国组成，分别为英格兰、苏格兰、威尔士和北爱尔兰，其中后三者在权力下放体系之下各自拥有一定的权力。三地首府分别为爱丁堡、加的夫和贝尔法斯特。附近的马恩岛、根西行政区及泽西行政区并非联合王国的一部分，而为王冠属地，英国政府负责其国防及外交事务。 英国的构成国之间的关系在历史上经历了一系列的发展。英格兰王国通过1535年和1542年的《联合法令》将威尔士纳入其领土范围。1707年的条约使英格兰和苏格兰王国联合成为大不列颠王国，而1801年后者则进一步同爱尔兰王国联合成为大不列颠及爱尔兰联合王国。1922年，爱尔兰的六分之五脱离联邦，由此便有了今日的大不列颠及北爱尔兰联合王国。大不列颠及北爱尔兰联合王国亦有14块海外领地，为往日帝国的遗留部分。大英帝国在1921年达到其巅峰，拥有全球22%的领土，是有史以来面积最大的帝国。英国在语言、文化和法律体系上对其前殖民地保留了一定的影响力，因而吸引許多以前英聯邦的移民前來居住。 英国为发达国家，以名义GDP为量度为世界第五大经济体，以购买力平价为量度为世界第九大经济体。英国同时还是世界首个工业化国家，在1815年-1914年为世界第一强国，现今仍是強國之一，在全球范围内的经济、文化、军事、科技和政治上有显著影响力。英国为国际公认的有核国家，其军事开支位列全球第五 (IISS)。自1946年以来，英国即为联合国安全理事会常任理事国，而自1973年以来即为欧洲联盟（EU）及其前身欧洲经济共同体（EEC）的成员国，同时还为英联邦、欧洲委员会、七国财长峰会、七国集团、二十国集团、北大西洋公约组织、经济合作与发展组织和世界贸易组织成员国。2016年英國脫離歐盟公投中，英国民众决定脱离欧盟，但因間接影響全球經濟，所以並未得到多數國家支持。.
新！!: 本体 (信息科学)和英国 · 查看更多 »
英语
英语（English，）是一种西日耳曼语言，诞生于中世纪早期的英格兰，如今具有全球通用语的地位。“英语”一词源于迁居英格兰的日耳曼部落盎格鲁（Angles），而“盎格鲁”得名于临波罗的海的半岛盎格里亚（Anglia）。弗里西语是与英语最相近的语言。英语词汇在中世纪早期受到了其他日耳曼族语言的大量影响，后来受罗曼族语言尤其是法语的影响。英语是将近六十个国家唯一的官方语言或官方语言之一，也是全世界最多國家的官方語言。它是英国、美国、加拿大、澳大利亚、爱尔兰和新西兰最常用的语言，也在加勒比、非洲及南亚的部分地区被广泛使用。它是世界上母语人口第三多的语言，仅次于汉语和西班牙语。英语是学习者最多的第二外语跟學習者最多的第一外語，是联合国、欧盟和许多其他国际组织的官方语言。它是使用最广泛的日耳曼族语言，至少70%的日耳曼语族使用者说英语。 英语有1400多年的发展史。公元5世纪，盎格魯-撒克遜人把他们的各种盎格鲁-弗里西语方言带到了大不列顛島，它们被称为古英语。中古英语始于11世纪后期的诺曼征服，这一时期英语受到了法语的影响。15世纪末伦敦对印刷机的采用、《钦定版圣经》的出版及元音大推移标志了近代英语的开端。通过大英帝国对全球的影响，现代英语在17世纪至20世纪中叶传播到了世界各地。通过各种印刷和电子媒体，随着美国取得全球超级大国地位，英语已经成为了国际对话中居领导地位的世界語言。它还是许多地区和行业（如科学、导航、法律等）的通用语。 现代英语和很多其他语言相比屈折变化较少，更多地依靠助動詞和语序来表达复杂的时态、体和语气，以及被動語態、疑问和一些否定。英语的各种口音和方言在发音和音位方面有显著差异，有时它们的词汇、语法和拼法也有所不同，但世界各地说英语的人能基本无碍地沟通交流。.
新！!: 本体 (信息科学)和英语 · 查看更多 »
電腦科學家
電腦科學家（Computer scientist）是指一類具有資深電腦科學知識，並從事相關研究的人物。電腦科學家通常從事計算與資訊理論方面的研究，有時也關注這些理論在電腦系統中的應用。 與電腦工程師相對，電腦科學家通常對電腦系統的理論，而非實作，更加感興趣，儘管有時電腦科學家的工作也涉及到硬體系統。電腦科學家通常會對電腦科學的某一分支進行深入研究，但是這些分支都建立在對計算系統的理論研究上。.
新！!: 本体 (信息科学)和電腦科學家 · 查看更多 »
集合 (计算机科学)
在计算机科学中，集合是一组可变数量的数据项（也可能是0个）的组合，这些数据项可能共享某些特征，需要以某种操作方式一起进行操作。一般来讲，这些数据项的类型是相同的，或基类相同（若使用的语言支持继承）。列表（或数组）通常不被认为是集合，因为其大小固定，但事实上它常常在实现中作为某些形式的集合使用。 集合的种类包括列表，集，多重集，树和图。枚举类型可以是列表或集。.
新！!: 本体 (信息科学)和集合 (计算机科学) · 查看更多 »
蛋白质
蛋白质（protein，旧称“朊”）是大型生物分子，或高分子，它由一个或多个由氨基酸残基组成的长链条组成。氨基酸分子呈线性排列，相邻氨基酸残基的羧基和氨基通过肽键连接在一起。蛋白质的氨基酸序列是由对应基因所编码。除了遗传密码所编码的20种“标准”氨基酸，在蛋白质中，某些氨基酸残基还可以被改變原子的排序而发生化学结构的变化，从而对蛋白质进行激活或调控。多个蛋白质可以一起，往往是通过结合在一起形成稳定的蛋白质复合物，发挥某一特定功能。 与其他生物大分子（如多糖和核酸）一样，蛋白质是地球上生物体中的必要组成成分，参与了细胞生命活动的每一个进程。酶是最常见的一类蛋白质，它们催化生物化学反应，尤其对于生物体的代谢至关重要。除了酶之外，还有许多结构性或机械性蛋白质，如肌肉中的肌动蛋白和肌球蛋白，以及细胞骨架中的微管蛋白（参与形成细胞内的支撑网络以维持细胞外形）。另外一些蛋白质则参与细胞信号传导、免疫反应、细胞黏附和细胞周期调控等。同时，蛋白质也是动物饮食中必需的营养物质，这是因为动物自身无法合成所有氨基酸，动物需要和必须从食物中获取必需氨基酸。通过消化过程将蛋白质降解为自由氨基酸，动物就可以将它们用于自身的代谢。.
新！!: 本体 (信息科学)和蛋白质 · 查看更多 »
蛋白质组学
蛋白质组学（proteomics，又譯作蛋白質體學），是對蛋白质特别是其结构和功能的大规模研究，是在90年代初期，由Marc Wikins和學者們首先提出的新名詞。更重要的是，基因组是相当稳定的实体，而蛋白质组通过与基因组的相互作用而不断发生着改变。一个生命体在其机体的不同部分以及生命周期的不同阶段，其蛋白表达可能存在巨大的差异。 蛋白质组是由有机体或系统产生或修饰的整套蛋白质。 这随着时间和细胞或有机体经历的不同要求或压力而变化。蛋白质组学是一个跨学科的领域，它从人类基因组计划的遗传信息中受益匪浅，它还涵盖了新兴的科学研究和从细胞内蛋白质组成，结构和其独特活动模式的整体水平探索蛋白质组学。它是功能基因组学的重要组成部分。 蛋白质组学研究的关键技术包括质谱分析、X射线晶体学、核磁共振和凝胶电泳。 有两种蛋白质组学方法：活体样品研究和重组蛋白合成。在第二种情形下，用遗传工程方法来克隆待合成的DNA模板，以及把这些基因剪切到宿主细胞（典型的是细菌）中，后者被培养用于大规模蛋白表达。 接着，被合成蛋白需要被从宿主细胞中提取和纯化。纯化的蛋白随后通过结晶（及X-射线晶体衍射）或核磁共振来确定其结构。.
新！!: 本体 (信息科学)和蛋白质组学 · 查看更多 »
通用表意文字
通用表意文字（拉丁语术语为characteristica universalis；英语当中常解释为 universal characteristic 或 universal character；中文之中又常常称为普遍表意文字、普遍语言、通用语言、普适语言以及普适科学语言等），是德国哲学家戈特弗里德·莱布尼茨所设想的一种通用的形式化语言；该语言能够表达数学、科学以及形而上学（纯粹哲学）方面的概念。莱布尼茨希望创建的是一种可以在通用逻辑运算或者说框架之下加以使用的语言。.
新！!: 本体 (信息科学)和通用表意文字 · 查看更多 »
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
新！!: 本体 (信息科学)和逻辑 · 查看更多 »
HTML
超文本标记语言（HyperText Markup Language，简称：HTML）是一种用于创建网页的标准标记语言。HTML是一种基础技术，常与CSS、JavaScript一起被众多网站用于设计令人赏心悦目的网页、网页应用程序以及移动应用程序的用户界面。网页浏览器可以读取HTML文件，并将其渲染成可视化网页。HTML描述了一个网站的结构语义随着线索的呈现，使之成为一种标记语言而非编程语言。 HTML元素是构建网站的基石。HTML允许嵌入图像与对象，并且可以用于创建交互式表单，它被用来结构化信息——例如标题、段落和列表等等，也可用来在一定程度上描述文档的外观和语义。HTML的语言形式为尖括号包围的HTML元素（如），浏览器使用HTML标签和脚本来诠释网页内容，但不会将它们显示在页面上。 HTML可以嵌入如JavaScript的脚本语言，它们会影响HTML网页的行为。网页浏览器也可以引用层叠样式表（CSS）来定义文本和其它元素的外观与布局。维护HTML和CSS标准的组织万维网联盟（W3C）鼓励人们使用CSS替代一些用于表现的HTML元素。.
新！!: 本体 (信息科学)和HTML · 查看更多 »
LPL
LPL可能指以下其中一個項目：.
新！!: 本体 (信息科学)和LPL · 查看更多 »
MediaWiki
MediaWiki是一套基于网络的Wiki引擎，維基媒體基金會的所有项目乃至众多wiki网站皆採用了这一软件。MediaWiki软件最初是为自由内容百科全书维基百科所开发的，今日已被一些公司机构部署为内部的知识管理和内容管理系统。Novell甚而还在多个高流量的网站中使用了该软件。 MediaWiki採用PHP编程語言寫成，並可使用MySQL、MariaDB、PostgreSQL或SQLite之一作為其关系数据库管理系统。MediaWiki在GNU通用公共许可证第2版及其后续版本的条款下分发，其文档则按知识共享-署名-相同方式共享3.0版协议释出，部分文档还被释入了公有领域，这使其成为了自由软件。 出于服务维基百科的需求，软件的第一个版本于2002年被部署，后来，维基百科和其他维基项目继续定义了MediaWiki的大部分功能。为了有效地处理大型项目，MediaWiki得到了很好的优化，使其可以承载万亿字节的内容和每秒数十万次的访问请求。因为维基百科是全球最大的网站之一，需要MediaWiki能为开发者实现通过多层次的实现可伸缩性缓存和数据库响应，对开发者来说，这一直是一个让他们很头疼的大问题，而MediaWiki很好的解决了这一问题。 MediaWiki有700多个配置设置和超过1800个扩展，可以使各种特性被添加或更改。在维基百科上，超过1000个自动化和半自动化的机器人和其他工具用于协助编辑。 它也被一些公司部署为一个内部知识管理系统，一些教育机构也让学生使用MediaWiki来进行小组项目的管理和维护。.
新！!: 本体 (信息科学)和MediaWiki · 查看更多 »
OilEd
OilEd是一个本体论编辑器，它可以帮助用户用DAML+OIL建立本体。 OilEd最初是为提供一个简单的编辑器来演示OIL语言的使用及引起别人对OIL的兴趣。当前版本的OilEd并不提供一个完整的本体论开发环境，只相当于本体论编辑器领域中的"NotePad".
新！!: 本体 (信息科学)和OilEd · 查看更多 »
OpenCyc
#重定向 Cyc.
新！!: 本体 (信息科学)和OpenCyc · 查看更多 »
OWL
OWL可以指：.
新！!: 本体 (信息科学)和OWL · 查看更多 »
Protégé
Protégé，常简化拼写为“Protege”，是一个史丹佛大学开发的本体编辑和知识管理系統。 开发语言采用Java，属于开放源码软件。由于其优秀的设计和众多的插件，Protégé已成为目前使用最广泛的本体论编辑器之一。.
新！!: 本体 (信息科学)和Protégé · 查看更多 »
RDF
“RDF”可指：.
新！!: 本体 (信息科学)和RDF · 查看更多 »
ResearchCyc
#重定向 Cyc.
新！!: 本体 (信息科学)和ResearchCyc · 查看更多 »
S-表达式
所谓“S-表达式/運算式”（S-expression）或“sexp”（其中“S”代表“符号的”），是指一种以人类可读的文本形式表达半结构化数据的约定。S-表达式可能以其在Lisp家族的编程语言中的使用而为人所知。其他应用则见于由Lisp衍生的语言，如，以及如IMAP之类通信协议中作为标记出现和约翰·麦卡锡的。语法细节和所支持的数据类型虽因语言而异，但这些语言间最通用的特性则是使用S-表达式作为括号化的前缀表示法（有时亦作剑桥波兰表示法）。.
新！!: 本体 (信息科学)和S-表达式 · 查看更多 »
Semantic MediaWiki
Semantic MediaWiki (SMW)是对MediaWiki的一种扩展。其允许在维基页面之中标注语义数据，从而将采用了该扩展的维基站点转变成为语义维基站点（semantic wiki）。其中，已经编码的数据可用于语义搜索，用于页面的聚合，采用地图、日历和图形之类的格式加以显示，以及采用RDF和CSV之类的格式导出给外部世界。 Category:语义wiki软件 Category:MediaWiki扩展.
新！!: 本体 (信息科学)和Semantic MediaWiki · 查看更多 »
Swoogle
Swoogle是一个针对互联网上的语义网文档、术语以及数据的搜索引擎。Swoogle利用一种搜索器系统来发现资源描述框架（RDF）文档以及内置有RDF内容的HTML文档。Swoogle会针对这些文档及其组成部分（如术语和三元组）进行推理，并在其数据库之中记录和索引具有实际意义的，关于这些文档及其组成部分的元数据。.
新！!: 本体 (信息科学)和Swoogle · 查看更多 »
Web服务
Web服务是一种服務導向架構的技术，通过标准的Web协议提供服务，目的是保证不同平台的应用服务可以互操作。 根据W3C的定义，Web服务（Web service）应当是一个软件系统，用以支持网络间不同机器的互动操作。网络服务通常是许多应用程序接口（API）所组成的，它们透过网络，例如国际互联网（Internet）的远程服务器端，执行客户所提交服务的请求。 尽管W3C的定义涵盖诸多相异且无法介分的系统，不过通常我们指有关於主从式架构（Client-server）之间根据SOAP协议进行传递XML格式消息。无论定义还是实现，WEB服務過程中會由伺服機提供一個機器可讀的描述（通常基于WSDL）以辨識伺服機所提供的WEB服務。另外，虽然WSDL不是SOAP服务端点的必要条件，但目前基于Java的主流WEB服务开发框架往往需要WSDL实现客户端的源代码生成。一些工业标准化组织，比如WS-I，就在WEB服务定义中强制包含SOAP和WSDL。.
新！!: 本体 (信息科学)和Web服务 · 查看更多 »
WordNet
WordNet是一个由普林斯顿大学认识科学实验室在心理学教授乔治·A·米勒的指导下建立和维护的英语字典。开发工作从1985年开始，从此以后该项目接受了超过300万美元的资助（主要来源于对机器翻译有兴趣的政府机构）。 由于它包含了语义信息，所以有别于通常意义上的字典。WordNet根据词条的意义将它们分组，每一个具有相同意义的字条组称为一个synset（同义词集合）。WordNet为每一个synset提供了简短，概要的定义，并记录不同synset之间的语义关系。 WordNet的开发有两个目的：.
新！!: 本体 (信息科学)和WordNet · 查看更多 »
推理
推理是「使用理智從某些前提產生結論」的行動。以下三種推理是屬於哲學、邏輯、心理學和人工智能等學門所感興趣的領域。.
新！!: 本体 (信息科学)和推理 · 查看更多 »
描述逻辑
描述逻辑（description logic）是一種用于知识表示的逻辑语言和以其为对象的推理方法，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，如数字图书馆和面向万维网的信息处理。描述逻辑是当前语义网发展中本体的理论基础。例如，OWL因特网本体语言就是一种描述逻辑SHIOQ (D)的语法形式。 描述逻辑根据其表达能力的程度不同，形成不同的逻辑子语言。绝大多数的描述逻辑类型都可以被看成对应着一阶逻辑的一个可判定性的片段（fragment），即每个描述逻辑中的命题都可以在有限时间内完成证明或证否。只有极少数的描述逻辑类型被认为是不可判定的。 一个描述逻辑系统中的名字可分为概念（concept），属性（role）和个体（individual）。例如，一个用描述逻辑描述的知识库如下：.
新！!: 本体 (信息科学)和描述逻辑 · 查看更多 »
搜索引擎
搜索引擎（search engine）是一种信息检索系统，旨在协助搜索存储在计算机系统中的信息。搜索结果一般被称为“hits”，通常会以表单的形式列出。搜索引擎和其他信息过载管理技术类似，可缩小信息的搜索时间、搜索范围等。网络搜索引擎是最常见、公开的一种搜索引擎，其功能为搜索万维网上储存的信息。.
新！!: 本体 (信息科学)和搜索引擎 · 查看更多 »
格 (数学)
在数学中，格是其非空有限子集都有一个上确界（叫并）和一个下确界（叫交）的偏序集合（poset）。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的，格理论从序理论和泛代数二者提取内容。半格包括了格，依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。.
新！!: 本体 (信息科学)和格 (数学) · 查看更多 »
标准
标准是“为了在一定的范围内获得最佳秩序，经协商一致制定并由公认机构批准，共同使用的和重复使用的一种规范性文件。” 標準原意為目的，也就是標靶。其後由於標靶本身的特性，衍生出一個「如何與其他事物區別的規則」的意思。會衍生出這個意思也不難理解。標靶是「用來判定技術或成果好不好的根據」，標準是另一個說法。將「用來判定技術或成果好不好的根據」廣泛化，就得到了「用來判定是不是某一事物的根據」 技术意义上的标准就是一种以文件形式发布的统一协定，其中包含可以用来为某一范围内的活动及其结果制定规则、导则或特性定义的技术规范或者其他精确准则，其目的是确保材料、产品、过程和服务能够符合需要。一般而言，标准文件的制定都经过协商过程，并经一个公认机构批准。标准往往对应该严肃对待的方面（比如机器和工具的安全、可靠性和效率，玩具，医学设备）有深远影响。.
新！!: 本体 (信息科学)和标准 · 查看更多 »
植物
植物（Plantae）是生命的主要形態之一，並包含了如乔木、灌木、藤類、青草、蕨類及綠藻等熟悉的生物。種子植物、苔蘚植物、蕨類植物和擬蕨類等植物，據估計現存大約有350000個物種。直至2004年，其中的287655個物種已被確認，有258650種開花植物15000種苔蘚植物（参见条目中表格）。綠色植物大部份的能源是經由光合作用從太陽光中得到的。.
新！!: 本体 (信息科学)和植物 · 查看更多 »
概念
概念是抽象的、普遍的想法，是充当指明实体、事件或关系的范畴或类的实体。在它们的外延中忽略事物的差异，如同它们是同一的去处理它们，所以概念是抽象的。它们等同的适用于在它们外延中的所有事物，所以它们是普遍的。概念也是命题的基本元素，如同词是句子的基本语义元素一样。 概念是意义的载体，而不是意义的主动者。一个单一的概念可以用任何数目的语言来表达；术语则是概念的表达形式。狗 的概念可以表达为德语的 Hund，法语的 chien 和西班牙语的 perro。概念在一定意义上独立于语言的事实使得翻译成为可能 - 在各种语言中词有同一的意义，因为它们表达了相同的概念。 概念是人类对一个复杂的过程或事物的理解。从哲学的观念来说概念是思维的基本单位。在日常用语中人们往往将概念与一个词或一个名词（術语）同等对待。.
新！!: 本体 (信息科学)和概念 · 查看更多 »
模块化本体
模块化本体是指具有模块结构的本体（知识库的一种表现形式）。许多应用领域需要模块化的本体，如.
新！!: 本体 (信息科学)和模块化本体 · 查看更多 »
殊相
在形上學中，殊相（Particular），又譯具相、自相、具體，指各別存在的實體或個體。起源自古希臘哲學，各別殊相的共同性質為共相。以殊相及共相概念進行討論的最早一批哲學家，為柏拉圖與亞里斯多德，他們對於共相問題提出了不同的解答。在經院哲學中，這也是重要的神學課題。這個概念延續到現代哲學中。.
新！!: 本体 (信息科学)和殊相 · 查看更多 »
澳大利亚
澳大--利亚联邦（Commonwealth of Australia），通称澳大--利亚（Australia，缩写为 AU、AUS），中文环境下（尤其是臺灣、香港等地）常使用「澳--洲」代替“--”，是全球面积第六大的国家，大洋洲最大的国家和南半球第二大的国家。澳大利亚国土包括澳大利亚大陆，塔斯曼尼亚岛及数个海外的岛屿，面积和美國本土相似，是世界上唯一一个国土覆盖整个大陆的国家。與隔海相望的东南近邻是紐西蘭，西北是印度尼西亚，北边是巴布亚新几内亚、西巴布亚及东帝汶。澳大利亚的首都位于堪培拉，最大城市为悉尼。 澳大利亞一詞源於拉丁語，意思為“未知的南方大陸”（terra australis incognita）。其所在的地理位置通常稱作澳洲大陆，是地球上最小的大陆板塊。澳大利亚人均擁有國土面積0.353平方公里，是世界最廣闊的國家之一。有多樣的自然景觀，包括熱帶雨林、別稱為“紅色中心”的沙漠、吸引很多旅客的海濱及馳名遐邇的自然遺產大堡礁及烏魯汝Davison, Hirst and Macintyre, pp.
新！!: 本体 (信息科学)和澳大利亚 · 查看更多 »
本体工程
本体工程，又称为本体论工程、本体论设计或本体设计，是计算机科学与信息科学当中的一个新兴领域，旨在研究用于构建本体的方法和方法学。本体工程乃是一个新兴的研究和应用领域，关注的是本体开发过程、本体生命周期、用于构建本体的方法和方法学以及那些用于支持这些方面的工具套装和语言 Asunción Gómez-Pérez, Mariano Fernández-López, Oscar Corcho (2004).
新！!: 本体 (信息科学)和本体工程 · 查看更多 »
本体编辑器
本体编辑器，又称为本体论编辑器或者本体管理环境，是指设计用于辅助本体之创建、编辑、保存或处理等操作的应用程序。它们往往在众多的本体语言之中选用其一来表达本体。不过，有些本体编辑器还可以采用其他本体语言进行导出。尽管人们大都习惯于称此类工具为“本体编辑器”，而本体编辑器的功能实际上往往并不仅局限于本体的创建、编辑和保存。.
新！!: 本体 (信息科学)和本体编辑器 · 查看更多 »
本体论 (哲学)
本体论（Ontology），又译存在论、存有論，是形而上学的基本分支，本體論主要探讨存有本身，即一切现实事物的基本特征。 有的哲学家，如柏拉图学派认为：任何一个名词都对应着一个实际存在；另外一些哲学家则主张有一些名词并不代表存在的实体，而只代表一种集合的概念，包括事物或事件，也有抽象的，由人类思维产生的事物。例如“社团”就代表一群具有同一性质的人组成的集合；“几何”就代表一种特殊知识的集合等。 本體論就是「研究到底哪些名词代表真实的存在实体，哪些名词只是代表一种概念」。所以本體論成为某些哲学分支的基础。近年來，人工智慧及資訊技術相關領域的學者也開始將本體論的觀念用在知識表達上，即藉由本體論中的基本元素：概念及概念間的關連，作為描述真實世界的知識模型。針對此一趨勢，W3C組織也開始定義了許多本體論的相關語言，如RDF、DAML+OIL、OWL等。.
新！!: 本体 (信息科学)和本体论 (哲学) · 查看更多 »
本体语言
在计算机科学和人工智能领域，本体语言（ontology language、又称为本体论语言）是指用于构建本体的形式语言。此类语言允许对有关特定领域的知识加以编码，且常常还包括为处理这些知识提供支持的推理规则。本体语言通常为描述性语言（又称为表述型语言、说明性语言），几乎总是属于框架语言的泛化形式，且一般都基于一阶逻辑或描述逻辑。.
新！!: 本体 (信息科学)和本体语言 · 查看更多 »
本體
本體（Noumenon，），哲學名詞，意指不必用感官就能夠知識到的物體，或事件。它與現象是兩個相對的名詞，是形而上學中重要的議題。研究本體的學問，稱為本體論。康德稱本體為物自身（das Ding an sich ，thing-in-itself，又譯為物自體）。.
新！!: 本体 (信息科学)和本體 · 查看更多 »
本质
本质（Essence）或實質在哲學中是被某对象或事物自身所必然固有的且根本地使该对象或事物成为该对象或事物，否则该对象或事物就会失去其自身的特定属性或特定一套属性的事物。.
新！!: 本体 (信息科学)和本质 · 查看更多 »
术语
术语又称技术名词、科学术语、科技术语或技术术语，是在特定专业领域中一般概念的词语指称，一个术语表示一个概念。研究术语的学科有术语学。由于文化差异，不同语种间的翻译也常造成语义变化，因此国际上处理和协调术语工作组织为国际标准化组织属下的国际术语信息中心。.
新！!: 本体 (信息科学)和术语 · 查看更多 »
术语集
术语集是指由某一主题领域内的一套命名所构成的集合。 简单术语集的例子可以是用于描述某一类别的一系列词语，如“树木类型”、“身体的组成结构”。 本体 (信息科学)是一种特殊类型的术语集，具有结构化的特点，且更加适合于在计算机系统之中使用。.
新！!: 本体 (信息科学)和术语集 · 查看更多 »
术语服务器
术语服务器（英文：Terminology Server）是指一种软件，用于通过应用编程接口向其客户端应用程序提供各种与术语集相关的软件服务。此类服务器负责为最终用户提供入口术语，以及最终用户术语系统与标准术语系统之间的对照关系，并可将信息归并到更高层次，如管理层次。 典型的术语服务可能包括：.
新！!: 本体 (信息科学)和术语服务器 · 查看更多 »
方法学
方法学 (又称为方法论；希腊语：μεθοδολογία) 的定义是.
新！!: 本体 (信息科学)和方法学 · 查看更多 »
文化遗产
文化遗产，又可稱文化資產、文化財產或文化財，是指具有歷史、藝術、科學等文化保存價值，並經政府機構或國際組織指定或登錄之物品。中文在概念上分为“有形文化遗产”和“无形文化遗产”。.
新！!: 本体 (信息科学)和文化遗产 · 查看更多 »
撲克
撲克，是一類使用撲克牌的賭博遊戲。撲克亦可以當成是撲克牌的簡稱，比方可以用打撲克泛指玩任何一種以撲克牌進行的牌類遊戲。.
新！!: 本体 (信息科学)和撲克 · 查看更多 »
意識形態
意識形態（，ἰδεολογία），意為「理念（Idee）或想像（Vorstellung）的學說」ἰδεο（形象）與λογία（學說）。中文也譯意識型態；周德偉譯作意理；中文早期曾經譯作意德沃羅基，屬音譯；林毓生主張音譯意譯合一，譯為意締牢結，以避免對意識形態望文生義的附會）有兩種具有本質性區別的涵義：.
新！!: 本体 (信息科学)和意識形態 · 查看更多 »
数据库
--，簡而言之可視為電子化的檔案櫃——儲存电子檔案的處所，使用者可以對檔案中的資料執行新增、擷取、更新、刪除等操作。 所謂「資料庫」係以一定方式储存在一起、能予多个用户共享、具有尽可能小的冗余度、与应用程序彼此独立的数据集合。.
新！!: 本体 (信息科学)和数据库 · 查看更多 »
重定向到这里：
本体论 (信息科学)，本体论 (计算机)，本体论 (计算机科学)，本體 (資訊學)，本體 (資訊科學)。
