Search:
  高级检索   全部    有全文
现在位置: 首页 > 浏览 > Ian Horrocks
检索结果:64 浏览:1/4  首页 下一页 末页
全选(清除
 1.

A Comparison of Query Rewriting Techniques for DL-Lite

作      者:Héctor Pérez-Urbina;Boris Motik;Ian Horrocks
出版日期:2009
资源类型:会议论文
详细信息  原文下载:

 2.

A Comparison of Query Rewriting Techniques for DL-Lite

作      者:He~ctor Pe~rez-Urbina;Boris Motik;Ian Horrocks
出版日期:2008
资源类型:会议论文
详细信息  原文下载:

 3.

A Hypertableau Calculus for SHIQ

作      者:Boris Motik;Rob Shearer;Ian Horrocks
出版日期:2009
资源类型:会议论文
详细信息  原文下载:

 4.

A rule-based ontological framework for the classification of molecules

作      者:Markus Krötzsch;Despoina Magka;Ian Horrocks
出版日期:2014
资源类型:期刊论文
详细信息  原文下载:

 5.

Adding Integrity Constraints to OWL

作      者:Boris Motik;Ian Horrocks;Ulrike Sattler
出版日期:2005
资源类型:会议论文
详细信息  原文下载:

 6.

Adding Integrity Constraints to OWL

作      者:Boris Motik;Ian Horrocks;Ulrike Sattler
出版日期:2007
资源类型:会议论文
详细信息  原文下载:

 7.

Application of OWL 1.1 to Systems Engineering

作      者:Henson Graves;Ian Horrocks
出版日期:2008
资源类型:会议论文
详细信息  原文下载:

 8.

Application of OWL 1.1 to Systems Engineering

作      者:Henson Graves;Ian Horrocks
出版日期:1998
资源类型:会议论文
详细信息  原文下载:

 9.

Automated Benchmarking of Description Logic Reasoners

作      者:Tom Gardiner;Ian Horrocks;Dmitry Tsarkov
出版日期:2006
资源类型:会议论文
详细信息  原文下载:

 10.

Automated Benchmarking of Description Logic Reasoners

作      者:Tom Gardiner;Ian Horrocks;Dmitry Tsarkov
出版日期:2003
资源类型:会议论文
详细信息  原文下载:

 11.

Building a Reason-able Bioinformatics Ontology

作      者:Ian Horrocks;Carole Goble
出版日期:1998
资源类型:会议论文
详细信息  原文下载:

 12.

Building a Reason-able Bioinformatics Ontology Using OIL

作      者:Robert Stevens;Ian Horrocks;Carole Goble
出版日期:1995
资源类型:会议论文
详细信息  原文下载:

 13.

Building a Reason-able Bioinformatics Ontology Using OIL

作      者:Robert Stevens;Ian Horrocks;Carole Goble
出版日期:2001
资源类型:会议论文
详细信息  原文下载:

 14.

Classifying Chemicals Using Description Graphs and Logic Programming

作      者:Despoina Magka;Boris Motik;Ian Horrocks
出版日期:2012
资源类型:会议论文
详细信息  原文下载:

 15.

Conjunctive Query Answering for Description Logics with Transitive Roles

作      者:Birte Glimm;Ian Horrocks;Ulrike Sattler
出版日期:2006
资源类型:会议论文
详细信息  原文下载:

 16.

Conjunctive Query Answering for Description Logics with Transitive Roles

作      者:Birte Glimm;Ian Horrocks;Ulrike Sattler
出版日期:2003
资源类型:会议论文
详细信息  原文下载:

 17.

Conjunctive Query Entailment for SHOQ

作      者:Birte Glimm;Ian Horrocks;Ulrike Sattler
出版日期:2009
资源类型:会议论文
详细信息  原文下载:

 18.

Deciding SHOQ Knowledge Base Consistency using Alternating Automata

作      者:Birte Glimm;Ian Horrocks;Ulrike Sattler
出版日期:2003
资源类型:会议论文
详细信息  原文下载:

 19.

Deciding SHOQП Knowledge Base Consistency using Alternating Automata

作      者:Birte Glimm;Ian Horrocks;Ulrike Sattler
出版日期:2008
资源类型:会议论文
详细信息  原文下载:

 20.

Ecient Upper Bound Computation of Query Answers in Expressive Description Logics

作      者:Yujiao Zhou;Bernardo Cuenca Grau;Ian Horrocks
出版日期:2012
资源类型:会议论文
详细信息  原文下载:

检索结果:64 浏览:1/4  首页 下一页 末页 跳转到: