留置权标志页

大学冲浪.net文件
投票门户电子学习
文化数学
ENSup。et Minist(最小值)。ZH

运行经验
I S公司

套房百科全书
Séminaire公司MaMuX公司
数学、音乐与关系与艺术学科
国际卫生组织
高等科学研究院

  

本体论–语义Web–OWL rdf



Bas de page(低音页面)

GROUPES-组

出版物凿子
论文、期刊出版物、会议论文和技术报告
thechiselgroup.org网站/虾Jambalaya Creole
<http://www.thechiselgroup.com/publications>

预充电瑞士

网页

搜索10000多个本体
<http://swoogle.umbc.edu/>
丹麦联合国系统信息,联合国小皮埃尔©mantique peut vous emmener tr©s loin。。。Nous vous invitons©la d©couverte de la concept d'ontologie et de ses应用程序。
<http://interstices.info/jcms/c_17672/ontologies-informationques>
OWL Web本体语言是为需要处理信息内容而不仅仅是向人类呈现信息的应用程序设计的。与XML、RDF和RDF模式(RDF-S)支持的内容相比,OWL通过提供额外的词汇表和形式语义,使Web内容的机器可解释性更强。OWL有三种越来越流行的子语言:OWL-Lite、OWL-DL和OWL-Full。
Le W3C publie Le Langage d'Ontologies网络推荐候选人OWL,本体论网络的标准融合,网络基金会的力量
<http://www.w3.org/TR/owl-features网站/>
国家生物医学本体论中心是由领先的生物学家、临床医生、信息学家和本体学家组成的联盟,他们开发创新技术和方法,使科学家能够以机器可访问的形式创建、传播和管理生物医学信息和知识。
<http://biontology.org/>
语义Web提供了一个通用框架,允许跨应用程序、企业和社区边界共享和重用数据。这是W3C领导的一项合作努力,有大量研究人员和行业合作伙伴参与。它基于资源描述框架(RDF)
<http://www.w3.org/2001/sw/>
由Barry Smith维护。它包含关于本体论、本体论历史、当代本体论及其应用的信息,特别是生物医学领域的信息。
<http://ontology.buffal.edu/>
概念图是基于查尔斯·桑德斯·皮尔斯的存在图和人工智能的语义网络的逻辑系统。它们以逻辑上精确、人类可读且易于计算的形式表达意思。概念图直接映射到语言,是将面向计算机的形式主义翻译成自然语言和从自然语言翻译出来的中间语言。
<http://conceptualgraphs.org/>

预充电瑞士

会议

2009年安大略本体论、概念化和认识论
信息系统、软件工程和服务科学-荷兰阿姆斯特丹,2009年6月8日
目录全文短文
<http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-460/>

预充电瑞士

物流-软件

斯坦福生物医学信息研究中心
Proté©gé©是一个免费的、开源的本体编辑器和知识库框架。
Prot©g©可从本网站免费下载,并提供插件和本体。
<http://protege.stanford.edu/>
OpenCyc是Cyc技术的开源版本,是世界上最大、最完整的通用知识库和常识推理引擎。OpenCyc可以用作各种智能应用程序的基础
<网址:http://www.opencyc.org/>
这描述了本体查询引擎应该提供的最小接口。它故意不明确地引用本体作为DAG,也没有强制要求本体是词汇表。相反,它试图通用地表达关于本体的哪些内容应该是可访问的(可查询的)。
<http://search.cpan.org/~sendu/bioperl/Bio/本体/本体引擎.pm>
Jena是一个用于构建语义Web应用程序的Java框架。它为RDF、RDFS和OWL、SPARQL提供了一个编程环境,并包括一个基于规则的推理引擎。Jena是开源的,并且是在与HP实验室语义Web程序的合作中成长起来的。Jena框架包括:RDF API。在RDF/XML、N3和N-Triples中读写RDF。OWL API。内存和持久存储。SPARQL公司查询引擎(RDF的查询语言)。
<http://jena.sourceforge.net/>
Pellet是Java中OWL 2 DL的开源推理器。它为OWL本体提供标准和尖端的推理服务。
<http://clarkparsia.com/peller>
卡达尔布,卢卡西
DLog是一个使用解析的描述逻辑ABox推理器。基本思想是将DL知识库转换为Prolog程序,而不需要了解ABox的内容。答案是在正常Prolog执行期间获得的。
<http://sourceforge.net/projects/dlog-reasoner/files/>
OWLIM是一个用Java开发的高性能语义存储库。它被打包为Sesame RDF框架的存储和推理层(SAIL)。OWLIM基于TRREE?本机RDF数据库和规则增强引擎。
<http://www.ontotext.com/owlim/index.html>
支持芝麻街发展的社区网站。Sesame是一个开源框架,用于存储、推断和查询RDF数据。在这里,开发人员和用户可以会面、讨论、提问,并提交与本网站上托管的Sesame和Sesame相关软件相关的任何问题报告。
<网址:http://www.openrdf.org/>
语义Web规则和本体工具,第一个用于语义Web业务规则的开源平台。
通过XML和RDF支持RuleML、Jess、XSB、CommonRules、Jena、OWL和SWRL。在Java中。包括翻译、推理、分析和创作。
<http://sweetrules.projects.semwebcentral.org/>
我对优化表包含算法的研究成果是开发了FaCT系统。FaCT(术语快速分类)是一种描述逻辑(DL)分类器,也可用于模态逻辑可满足性测试。FaCT系统包括两个推理器,一个用于逻辑SHF(ALC增加了传递角色、功能角色和角色层次结构),另一个用于推理逻辑SHIQ(SHF增加了反向角色和限定数字限制),这两个推理机都使用健全和完整的表算法。
FaCT最有趣的特性是它的表达逻辑、对任意知识库推理的支持、优化的tableaux实现、基于CORBA的客户机-服务器体系结构。
FaCT是用Common Lisp编写的,已经成功地运行了几个商业和免费的Lisp,包括Allegro、Liquid(前Lucid)、Lispworks和GNU。由于源代码可用(根据GNU通用公共许可证),FaCT可以在任何可用Lisp的系统上运行。
<网址:http://www.cs.man.ac.uk/~恐怖事件/FaCT/>
FaCT++是著名的FaCT OWL-DL推理器的新一代。FaCT++使用已建立的FaCT算法,但具有不同的内部架构。此外,FaCT++是使用C++实现的,以创建更高效的软件工具,并最大限度地提高可移植性。还引入了新的优化功能,并添加了一些新功能。
<http://owl.man.ac.uk/factplusplus网址/>
Volker Haarslev教授博士(蒙特利尔)Ralf Möller教授博士(汉堡)Kay Hidde,Michael Wessel
Racer处理大型Abox与大型富于表现力的Tbox的组合。它为复杂的本体应用程序提供了高度优化的标准和非标准推理服务。Racer通过支持规则、约束推理和富有表现力的查询应答(例如,在SPARQL语法中)提供了比OWL更多的功能。Racer查询语言nRQL(新的Racer query language,发音:niracle and hear as miracle)提供了带有头部投影操作符、否定表示失败、聚合操作符和查询结果的服务器端处理(例如,XML生成)的固定连接查询。数据持久性是通过引用AllegroGraph提供的,一个非常快速的三重存储,可以访问数十亿个三重存储。
<网址:http://www.sts.tu-harburg.de/~r.f.moeller/赛车手/> <http://www.joseki.org网站/>
WordNet®是在George a.Miller的指导下开发的一个大型英语词汇数据库。名词、动词、形容词和副词被归类为一组认知同义词(synsets),每个同义词表达一个不同的概念。
<http://wordnet.princeton.edu/>
作者:bmotik,digitalis
KAON是一个面向业务应用程序的本体管理基础设施。它包括一个全面的工具套件,允许轻松创建和管理本体。KAON的持久性机制是基于关系数据库的。
<http://sourceforge.net/projects/kaon/>
KAON2是用于管理OWL-DL、SWRL和F-Logic本体的基础设施。它是由以下机构共同努力产生的:
KAON2提供了以下功能:用于OWL-DL、SWRL和F-Logic本体的编程管理的API,使用RMI以分布式方式提供对本体的访问的独立服务器,用于回答联合查询的推理引擎(使用SPARQL语法表示),DIG接口,允许从Prot©g©等工具进行访问,这是一个用于从关系数据库中提取本体实例的模块。
KAON2中的推理。与大多数当前可用的DL推理机(如FaCT、FaCT++、RACER、DLP或Pellet)相反,KAON2没有实现tableaux演算。相反,KAON2中的推理是通过新算法实现的,这些算法将SHIQ(D)知识库简化为析取数据日志程序。
<http://kaon2.semanticweb.org/>

预充电瑞士

概述-工具

<http://esw.w3.org/topic/ShemanticWebTools>
OntoVista是一个本体可视化工具,具有与复杂(代表性丰富)生物和生化本体相关的独特功能。
<http://lsdis.cs.uga.edu/projects/semvis/OntoVista/>
保护的TouchGraph可视化选项卡
<http://users.ecs.soton.ac.uk/ha/TGVizTab/>

预充电瑞士

THÈSES-主题

Fr©d©ric F¼rst 2004科尔大学理工学院。德南特
<http://www.sciences.univ-nantes.fr/info/perso/permanents/furst/papers/theseFurst.pdf>

预充电瑞士

文件-纸张

引入本体是设计的概念,并且应该服从工程方法。提出了本体的五个设计标准。
<http://tomgruber.org/writing/onto-design.pdf>
CoMMA公司:未经批准发行©e de la m©moire organizationnelle
Fabien GANDON、Rose DIENG、Alain GIBOIN项目ACACIA INRIA Sophia Antipolis
<ftp://ftp-sop.inria.fr/acacia/fgandon/research/sdc2000/article_fabien_gandon_sdc2000.pdf>
arXiv Nikolaj Glazunov 2009年6月9日
摘要:作为解决基于知识的系统理论的一个步骤,我讨论了(本体论和本体论知识库/形式方法和理论)对偶性及其范畴理论扩展。我特别关注以下三门电子课程的本体元素和本体知识库的设计示例:研究活动基础、复杂系统的虚拟建模和弦论导论。
<http://arxiv.org/pdf/0906.1694v1>
亚历山德鲁·西科尔塔斯(Alexandru Cicortas)、维多利亚·斯塔娜·奥尔丹(Victoria Stana Iordan)、亚历山德拉·艾米丽亚·福蒂斯(Alextra Emilia Fortis)
10页,发表于第五届国际会议“硬件和软件的现状与展望”(APHS2009),罗马尼亚蒂米苏拉期刊参考:蒂比斯库斯大学Ann.Univ.Comp。科学。系列VII(2009),79-88
文摘:本文对现有的一些本体进行了分析,以指出解决信息系统中语义异构的方法。。。
<网址:http://arXiv:0905.4601>
约翰·索瓦
<http://www.jfsowa.com/ontology/notoshar.htm>
Joaquén Borrego-Déaz,Antonia M.Chévez Gonzélez,第37-48页2009年安大略
<http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-460/paper04.pdf>
多米尼克·方丹(Dominique Fontaine)、阿欣·贝纳亚切(Ahcene Benayache)、玛丽·H(Marie-H)©l·阿贝尔(Abel)
<http://www.ritpu.org/IMG/pdf/fontaine.pdf>
用概念图表示知识和数据生物医学信息处理:综述
Volot F、Joubert M、Fieschi M——《医学方法》1998;37 :86-96
概念图理论的基础是概念类型的本体论。由本体发出的概念通过语义关系相互关联,构成规范的概念图。通过构造规则,可以将标准图组合成新的概念图。这种形式主义允许将知识表示分为概念级和域依赖级,并允许共享和重用表示。本文介绍了概念图在生物医学数据和概念表示、分类系统、信息检索以及自然语言理解和处理中的应用。还讨论了概念图理论在知识系统实现中的统一作用。
<http://cybertim.timone.univ-mrs.fr/recherche/doc-recherche/informatique/JOUBERT199801/>
Michel LeclÃre、Francky Trichet、Olivier Corby、Catherine Faron Zucker–AFIA/Nice平台,2005年5月3日,du 30 mai-au
<http://www-sop.inria.fr/acacia/afia2005/actes/ActesRWSG_Final.pdf>
罗伯特·尼文胡斯和阿尔伯特·鲁比奥
阿兰·罗宾逊和安德烈·沃伦科夫编辑的《自动推理手册》第章。国际标准图书编号0-444-82949-0。©爱思唯尔科学与麻省理工学院出版社,2001年。
带的副调制内置交流理论和符号约束。定理证明带有排序和等式约束子句。
<网址:http://www.lsi.upc.es/~roberto/paperss/handbook.ps.gz>

预充电瑞士

肿瘤-肿瘤-肿瘤

Vue d’ensemy乐队个人语言网络OWL
W3C du 10 fÃ建议©vrier 2004
<http://www.yoyodesign.org/doc/w3c/owl-features-20040210/>
W3C du 10 fÃ建议©vrier 2004
<http://www.yoyodesign.org/doc/w3c/owl-ref-20040210/>
W3C du 10 fÃ建议©vrier 2004
<http://www.yoyodesign.org/doc/w3c/owl-semantics-20040210/>
Les jeux d'essais餐厅语言本体Web OWL
W3C du 10 fÃ建议©vrier 2004
<http://www.yoyodesign.org/doc/w3c/owl-test-20040210/>
使用条件语言本体Web OWL
W3C于2004年10月10日发布的建议
<http://www.yoyodesign.org/doc/w3c/webont-req-20040210/>
W3C du 10 fÃ建议©vrier 2004
<http://www.yoyodesign.org/doc/w3c/rdf-primer网站/>
语言描述de-vocabulaire RDF 1.0:RDF模式
W3C du 10 fÃ建议©vrier 2004
<http://www.yoyodesign.org/doc/w3c/rdf-schema/>
W3C du 10 fÃ建议©vrier 2004
http://www.yoyodesign.org/doc/w3c/rdf-testcases/
Jeux d’essais RDF公司
W3C du 10 fÃ建议©vrier 2004
<http://www.yoyodesign.org/doc/w3c/rdf-mt/>
W3C du 10 fÃ建议©vrier 2004
<http://www.yoyodesign.org/doc/w3c/rdf-syntax-grammar/>
RDFa和XHTML?句法与叛逆
Une collection d’attributs et de règles de traitement pour©tendre XHTML et g©rer RDF-2008年10月14日W3C建议
<http://www.yoyodesign.org/doc/w3c/rdfa-syntax/Overview.html>
2008年1月15日W3C推荐
<http://www.yoyodesign.org/doc/w3c/rdf-sparql-query/>
2008年1月15日W3C推荐
<http://www.yoyodesign.org/doc/w3c/rdf-sparql-protocol/>
设置XML格式des ré审问SPARQL
W3C建议(2008年1月15日)
<http://www.yoyodesign.org/doc/w3c/rdf-sparql-xmlres网站/>
Rapprocher le Web des hommes du Web des don©es-2008年10月14日W3C劳动团体注释
<http://www.yoyodesign.org/doc/w3c/xhtml-rdfa-primer网站/>
Méthodes示例词汇出版物RDF
2008年8月28日W3C工作注释
<http://www.yoyodesign.org/doc/w3c/swbp-vocab-pub/> <http://owl.cs.manchester.ac.uk/tutorials/protegeowltutorial/>

预充电瑞士

幻灯片

开关TOI(软件测试本体集成)
及其在Linux测试中的应用-Daniella Bezerra,Afonso Costa,Karla Okada,第25-36页
<http://conf.ifit.uni-klu.ac.at/ontose/images/presentations/ontose2009_bezerra.pdf>

预充电瑞士

留置权-链接

链接到其他本体网站以及主要相关出版物和研究项目。
<http://ontology.buffa.edu/smith/>

 上页











广告宣传: 如果您在其中一个未链接的文件中看到引用,并且您知道相应文档的链接地址,请给我发邮件,我会在文档中包含链接。事先非常感谢。
资产评估:分类标准最接近。不同的红色证书等在plusieurs页面上。Les commentaires sont généralement des courts extraits des pages référenceées《法庭意见》。最有可能的是,一定会有必要在某一天。
Tous评论道,ou remarques sont les bienvenus,vous pouvez les adresserá:
埃克里尔

Les misesájour demandées sont réalisées dès que possible et,沙特西塞斯特内塞泽尔,奥村的消息是关于内塞斯特内塞的。谢谢你。

版权所有©1999-2012 Jean-Paul Davalan-跨网站复制。