 | 2012 |
|---|
| 227 |       | Yujiao Zhou,
Bernardo Cuenca Grau,
Ian Horrocks:
Efficient Upper Bound Computation of Query Answers in Expressive Description Logics.
Description Logics 2012 |
| 226 | | Despoina Magka,
Boris Motik,
Ian Horrocks:
Modelling Structured Domains Using Description Graphs and Logic Programming.
Description Logics 2012 |
| 225 | | Ana Armas Romero,
Bernardo Cuenca Grau,
Ian Horrocks:
Modular Combination of Reasoners for Ontology Classification.
Description Logics 2012 |
| 224 | | Giorgio Stefanoni,
Boris Motik,
Ian Horrocks:
Small Datalog Query Rewritings for EL.
Description Logics 2012 |
| 223 | | Despoina Magka,
Boris Motik,
Ian Horrocks:
Modelling Structured Domains Using Description Graphs and Logic Programming.
ESWC 2012: 330-344 |
| 222 | | Despoina Magka,
Boris Motik,
Ian Horrocks:
Classifying Chemicals Using Description Graphs and Logic Programming.
OWLED 2012 |
| 221 | | Boris Motik,
Ian Horrocks,
Su Myeon Kim:
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform.
WWW (Companion Volume) 2012: 63-72 |
| 220 | | Markus Krötzsch,
Frantisek Simancik,
Ian Horrocks:
A Description Logic Primer
CoRR abs/1201.4089: (2012) |
| 219 | | Bernardo Cuenca Grau,
Boris Motik,
Giorgos Stoilos,
Ian Horrocks:
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
J. Artif. Intell. Res. (JAIR) 43: 419-476 (2012) |
| 218 | | Ian Horrocks:
Semantics ⊓ scalability ⊨ ⊥?
Journal of Zhejiang University - Science C 13(4): 241-244 (2012) |
| 2011 |
|---|
| 217 | | Ilianna Kollia,
Birte Glimm,
Ian Horrocks:
Query Answering over SROIQ Knowledge Bases with SPARQL.
Description Logics 2011 |
| 216 | | Ilianna Kollia,
Birte Glimm,
Ian Horrocks:
SPARQL Query Answering over OWL Ontologies.
ESWC (1) 2011: 382-396 |
| 215 | | Ian Horrocks:
Tool Support for Ontology Engineering.
Foundations for the Web of Information and Services 2011: 103-112 |
| 214 | | Frantisek Simancik,
Yevgeny Kazakov,
Ian Horrocks:
Consequence-Based Reasoning beyond Horn Ontologies.
IJCAI 2011: 1093-1098 |
| 213 | | Giorgos Stoilos,
Bernardo Cuenca Grau,
Boris Motik,
Ian Horrocks:
Repairing Ontologies for Incomplete Reasoners.
International Semantic Web Conference (1) 2011: 681-696 |
| 212 | | Ilianna Kollia,
Birte Glimm,
Ian Horrocks:
Answering Queries over OWL Ontologies with SPARQL.
OWLED 2011 |
| 211 | | Despoina Magka,
Boris Motik,
Ian Horrocks:
Chemical knowledge representation with description graphs and logic programming.
SWAT4LS 2011: 74-75 |
| 210 | | Ian Horrocks,
Jeff Z. Pan,
Giorgos B. Stamou,
Giorgos Stoilos,
Vassilis Tzouvaras:
Reasoning with Very Expressive Fuzzy Description Logics
CoRR abs/1111.0039: (2011) |
| 209 | | Birte Glimm,
Ian Horrocks,
Carsten Lutz,
Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ
CoRR abs/1111.0049: (2011) |
| 208 | | Ernesto Jiménez-Ruiz,
Bernardo Cuenca Grau,
Ian Horrocks,
Rafael Berlanga Llavori:
Supporting concurrent ontology development: Framework, algorithms and tool.
Data Knowl. Eng. 70(1): 146-164 (2011) |
| 207 | | Despoina Magka,
Yevgeny Kazakov,
Ian Horrocks:
Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes.
J. Autom. Reasoning 47(4): 427-450 (2011) |
| 2010 |
|---|
| 206 | | Peter F. Patel-Schneider,
Yue Pan,
Pascal Hitzler,
Peter Mika,
Lei Zhang,
Jeff Z. Pan,
Ian Horrocks,
Birte Glimm:
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I
Springer 2010 |
| 205 | | Peter F. Patel-Schneider,
Yue Pan,
Pascal Hitzler,
Peter Mika,
Lei Zhang,
Jeff Z. Pan,
Ian Horrocks,
Birte Glimm:
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II
Springer 2010 |
| 204 | | Giorgos Stoilos,
Bernardo Cuenca Grau,
Ian Horrocks:
How Incomplete Is Your Semantic Web Reasoner?
AAAI 2010 |
| 203 | | Birte Glimm,
Ian Horrocks,
Boris Motik:
Optimized DL Reasoning via Core Blocking.
Description Logics 2010 |
| 202 | | Despoina Magka,
Yevgeny Kazakov,
Ian Horrocks:
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
Description Logics 2010 |
| 201 | | Ian Horrocks:
Scalable ontology-based information systems.
EDBT 2010: 2 |
| 200 | | Birte Glimm,
Ian Horrocks,
Boris Motik:
Optimized Description Logic Reasoning via Core Blocking.
IJCAR 2010: 457-471 |
| 199 | | Despoina Magka,
Yevgeny Kazakov,
Ian Horrocks:
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
IJCAR 2010: 61-75 |
| 198 | | Birte Glimm,
Ian Horrocks,
Boris Motik,
Giorgos Stoilos:
Optimising Ontology Classification.
International Semantic Web Conference (1) 2010: 225-240 |
| 197 | | Giorgos Stoilos,
Bernardo Cuenca Grau,
Ian Horrocks:
Completeness Guarantees for Incomplete Reasoners.
International Semantic Web Conference (1) 2010: 747-763 |
| 196 | | Chitta Baral,
Ian Horrocks,
Yoav Shoham:
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
KR 2010 |
| 195 | | Ian Horrocks:
Ontology Languages and Engineering.
KSEM 2010: 2 |
| 194 | | Ernesto Jiménez-Ruiz,
Bernardo Cuenca Grau,
Ian Horrocks,
Rafael Berlanga Llavori:
Towards a UMLS-based silver standard for matching biomedical ontologies.
OM 2010 |
| 193 | | Héctor Pérez-Urbina,
Boris Motik,
Ian Horrocks:
Tractable query answering and rewriting under description logic constraints.
J. Applied Logic 8(2): 186-209 (2010) |
| 2009 |
|---|
| 192 |  | Bernardo Cuenca Grau,
Ian Horrocks,
Boris Motik,
Ulrike Sattler:
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009
CEUR-WS.org 2009 |
| 191 | | Héctor Pérez-Urbina,
Boris Motik,
Ian Horrocks:
A Comparison of Query Rewriting Techniques for DL-lite.
Description Logics 2009 |
| 190 | | Ernesto Jiménez-Ruiz,
Bernardo Cuenca Grau,
Ian Horrocks,
Rafael Berlanga Llavori:
Building Ontologies Collaboratively Using ContentCVS.
Description Logics 2009 |
| 189 | | Rob Shearer,
Ian Horrocks,
Boris Motik:
Exploiting Partial Information in Taxonomy Construction.
Description Logics 2009 |
| 188 | | Ernesto Jiménez-Ruiz,
Bernardo Cuenca Grau,
Ian Horrocks,
Rafael Berlanga Llavori:
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences.
ESWC 2009: 173-187 |
| 187 | | Héctor Pérez-Urbina,
Ian Horrocks,
Boris Motik:
Efficient Query Answering for OWL 2.
International Semantic Web Conference 2009: 489-504 |
| 186 | | Rob Shearer,
Ian Horrocks:
Exploiting Partial Information in Taxonomy Construction.
International Semantic Web Conference 2009: 569-584 |
| 185 | | Ernesto Jiménez-Ruiz,
Bernardo Cuenca Grau,
Ian Horrocks,
Rafael Berlanga Llavori:
Logic-based Ontology Integration using ContentMap.
JISBD 2009: 316-319 |
| 184 | | Héctor Pérez-Urbina,
Ian Horrocks,
Boris Motik:
Practical Aspects of Query Rewriting for OWL 2.
OWLED 2009 |
| 183 | | Ernesto Jiménez-Ruiz,
Bernardo Cuenca Grau,
Ian Horrocks,
Rafael Berlanga Llavori:
ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool.
SWAT4LS 2009 |
| 182 | | Ernesto Jiménez-Ruiz,
Bernardo Cuenca Grau,
Rafael Berlanga Llavori,
Ian Horrocks:
Towards a Logic-based Assessment of the compatibility of UMLS sources.
SWAT4LS 2009 |
| 181 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-Based Approach.
Modular Ontologies 2009: 159-186 |
| 180 | | Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks,
Ulrike Sattler:
Representing ontologies using description logics, description graphs, and rules.
Artif. Intell. 173(14): 1275-1309 (2009) |
| 179 | | Boris Motik,
Rob Shearer,
Ian Horrocks:
Hypertableau Reasoning for Description Logics.
J. Artif. Intell. Res. (JAIR) 36: 165-228 (2009) |
| 178 | | Boris Motik,
Ian Horrocks,
Ulrike Sattler:
Bridging the gap between OWL and relational databases.
J. Web Sem. 7(2): 74-89 (2009) |
| 2008 |
|---|
| 177 | | Thanh Tran,
Peter Haase,
Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks:
Metalevel Information in Ontology-Based Applications.
AAAI 2008: 1237-1242 |
| 176 | | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.
Description Logics 2008 |
| 175 | | Rob Shearer,
Boris Motik,
Ian Horrocks:
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.
Description Logics 2008 |
| 174 | | Bernardo Cuenca Grau,
Ian Horrocks:
Privacy-Preserving Query Answering in Logic-based Information Systems.
ECAI 2008: 40-44 |
| 173 | | Boris Motik,
Ian Horrocks:
Individual Reuse in Description Logic Reasoning.
IJCAR 2008: 242-258 |
| 172 | | Boris Motik,
Ian Horrocks:
OWL Datatypes: Design and Implementation.
International Semantic Web Conference 2008: 307-322 |
| 171 | | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Unions of Conjunctive Queries in SHOQ.
KR 2008: 252-262 |
| 170 | | Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks,
Ulrike Sattler:
Representing Structured Objects using Description Graphs.
KR 2008: 296-306 |
| 169 | | Rob Shearer,
Boris Motik,
Ian Horrocks:
HermiT: A Highly-Efficient OWL Reasoner.
OWLED 2008 |
| 168 | | Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks,
Ulrike Sattler:
Modeling Ontologies using OWL, Description Graphs, and Rules.
OWLED 2008 |
| 167 | | Héctor Pérez-Urbina,
Boris Motik,
Ian Horrocks:
Rewriting Conjunctive Queries over Description Logic Knowledge Bases.
SDKB 2008: 199-214 |
| 166 | | Ian Horrocks,
Sean Bechhofer:
Semantic Web.
Web Accessibility 2008: 315-330 |
| 165 | | Ian Horrocks:
Ontologies and the semantic web.
Commun. ACM 51(12): 58-67 (2008) |
| 164 | | Birte Glimm,
Carsten Lutz,
Ian Horrocks,
Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ.
J. Artif. Intell. Res. (JAIR) 31: 157-204 (2008) |
| 163 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Modular Reuse of Ontologies: Theory and Practice.
J. Artif. Intell. Res. (JAIR) 31: 273-318 (2008) |
| 162 | | Bernardo Cuenca Grau,
Ian Horrocks,
Boris Motik,
Bijan Parsia,
Peter F. Patel-Schneider,
Ulrike Sattler:
OWL 2: The next step for OWL.
J. Web Sem. 6(4): 309-322 (2008) |
| 2007 |
|---|
| 161 | | Boris Motik,
Rob Shearer,
Ian Horrocks:
Optimized Reasoning in Description Logics Using Hypertableaux.
CADE 2007: 67-83 |
| 160 | | Boris Motik,
Rob Shearer,
Ian Horrocks:
A Hypertableau Calculus for SHIQ.
Description Logics 2007 |
| 159 | | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Conjunctive Query Entailment for SHOQ.
Description Logics 2007 |
| 158 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Ontology Reuse: Better Safe than Sorry.
Description Logics 2007 |
| 157 | | Ian Horrocks:
Semantic Web: The Story So Far.
ICTAI (1) 2007 |
| 156 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
A Logical Framework for Modularity of Ontologies.
IJCAI 2007: 298-303 |
| 155 | | Birte Glimm,
Ian Horrocks,
Carsten Lutz,
Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ.
IJCAI 2007: 399-404 |
| 154 | | Christine Golbreich,
Matthew Horridge,
Ian Horrocks,
Boris Motik,
Rob Shearer:
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences.
ISWC/ASWC 2007: 169-182 |
| 153 | | Boris Motik,
Ian Horrocks,
Ulrike Sattler:
Adding Integrity Constraints to OWL.
OWLED 2007 |
| 152 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-based Approach.
OWLED 2007 |
| 151 | | Christine Golbreich,
Ian Horrocks:
The OBO to OWL Mapping, GO to OWL 1.1!
OWLED 2007 |
| 150 | | Ian Horrocks:
Semantic web: the story so far.
W4A 2007: 120-125 |
| 149 | | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Just the right amount: extracting modules from ontologies.
WWW 2007: 717-726 |
| 148 | | Boris Motik,
Ian Horrocks,
Ulrike Sattler:
Bridging the gap between OWL and relational databases.
WWW 2007: 807-816 |
| 147 | | Ian Horrocks,
Birte Glimm,
Ulrike Sattler:
Hybrid Logics and Ontology Languages.
Electr. Notes Theor. Comput. Sci. 174(6): 3-14 (2007) |
| 146 | | Jeff Z. Pan,
Ian Horrocks:
RDFS(FA): Connecting RDF(S) and OWL DL.
IEEE Trans. Knowl. Data Eng. 19(2): 192-206 (2007) |
| 145 | | Giorgos Stoilos,
Giorgos B. Stamou,
Jeff Z. Pan,
Vassilis Tzouvaras,
Ian Horrocks:
Reasoning with Very Expressive Fuzzy Description Logics.
J. Artif. Intell. Res. (JAIR) 30: 273-320 (2007) |
| 144 | | Ian Horrocks,
Ulrike Sattler:
A Tableau Decision Procedure for SHOIQ.
J. Autom. Reasoning 39(3): 249-276 (2007) |
| 143 | | Dmitry Tsarkov,
Ian Horrocks,
Peter F. Patel-Schneider:
Optimizing Terminological Reasoning for Expressive Description Logics.
J. Autom. Reasoning 39(3): 277-316 (2007) |
| 142 | | Ian Horrocks:
Logic for Ontology Engineering Corner.
J. Log. Comput. 17(4): 615 (2007) |
| 141 | | Peter F. Patel-Schneider,
Ian Horrocks:
A comparison of two modelling paradigms in the Semantic Web.
J. Web Sem. 5(4): 240-250 (2007) |
| 2006 |
|---|
| 140 | | Bernardo Cuenca Grau,
Ian Horrocks,
Bijan Parsia,
Peter F. Patel-Schneider:
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005
CEUR-WS.org 2006 |
| 139 | | Duncan Hull,
Evgeny Zolin,
Andrey Bovykin,
Ian Horrocks,
Ulrike Sattler,
Robert Stevens:
Deciding Semantic Matching of Stateless Services.
AAAI 2006: 1319-1324 |
| 138 | | Tom Gardiner,
Ian Horrocks,
Dmitry Tsarkov:
Automated Benchmarking of Description Logic Reasoners.
Description Logics 2006 |
| 137 | | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Conjunctive Query Answering for Description Logics with Transitive Roles.
Description Logics 2006 |
| 136 | | Bernardo Cuenca Grau,
Ian Horrocks,
Oliver Kutz,
Ulrike Sattler:
Will my Ontologies Fit Together?
Description Logics 2006 |
| 135 | | Ian Horrocks,
Andrei Voronkov:
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover.
FoIKS 2006: 201-218 |
| 134 | | Dmitry Tsarkov,
Ian Horrocks:
Description Logic Reasoner: System Description.
IJCAR 2006: 292-297 |
| 133 | | Boris Motik,
Ian Horrocks,
Riccardo Rosati,
Ulrike Sattler:
Can OWL and Logic Programming Live Together Happily Ever After?
International Semantic Web Conference 2006: 501-514 |
| 132 | | Tom Gardiner,
Dmitry Tsarkov,
Ian Horrocks:
Framework for an Automated Comparison of Description Logic Reasoners.
International Semantic Web Conference 2006: 654-667 |
| 131 | | Ian Horrocks,
Oliver Kutz,
Ulrike Sattler:
The Even More Irresistible SROIQ.
KR 2006: 57-67 |
| 130 | | Bernardo Cuenca Grau,
Ian Horrocks,
Bijan Parsia,
Peter F. Patel-Schneider,
Ulrike Sattler:
Next Steps for OWL.
OWLED 2006 |
| 129 | | Boris Motik,
Ian Horrocks:
Problems with OWL Syntax.
OWLED 2006 |
| 128 | | Jeff Z. Pan,
Ian Horrocks:
OWL FA: a metamodeling extension of OWL D.
WWW 2006: 1065-1066 |
| 127 | | Peter F. Patel-Schneider,
Ian Horrocks:
Position paper: a comparison of two modelling paradigms in the Semantic Web.
WWW 2006: 3-12 |
| 126 | | Jeff Z. Pan,
Giorgos Stoilos,
Giorgos B. Stamou,
Vassilis Tzouvaras,
Ian Horrocks:
f-SWRL: A Fuzzy Extension of SWRL.
J. Data Semantics VI: 28-46 (2006) |
| 125 | | Jeff Z. Pan,
Ian Horrocks:
OWL-Eu: Adding customised datatypes into OWL.
J. Web Sem. 4(1): 29-39 (2006) |
| 2005 |
|---|
| 124 | | Ian Horrocks,
Ulrike Sattler,
Frank Wolter:
Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005
CEUR-WS.org 2005 |
| 123 | | Sean Bechhofer,
Ian Horrocks,
Daniele Turi:
The OWL Instance Store: System Description.
CADE 2005: 177-181 |
| 122 | | Ian Horrocks:
OWL: A Description Logic Based Ontology Language.
CP 2005: 5-8 |
| 121 | | Birte Glimm,
Ian Horrocks:
Handling Cyclic Conjunctive Queries.
Description Logics 2005 |
| 120 | | Dmitry Tsarkov,
Ian Horrocks:
Optimised Classification for Taxonomic Knowledge Bases.
Description Logics 2005 |
| 119 | | Jeff Z. Pan,
Ian Horrocks:
OWL-Eu: Adding Customised Datatypes into OWL.
ESWC 2005: 153-166 |
| 118 | | Jeff Z. Pan,
Giorgos B. Stamou,
Vassilis Tzouvaras,
Ian Horrocks:
f-SWRL: A Fuzzy Extension of SWRL.
ICANN (2) 2005: 829-834 |
| 117 | | Ian Horrocks:
Applications of Description Logics: State of the Art and Research Challenges.
ICCS 2005: 78-90 |
| 116 | | Ian Horrocks:
OWL: A Description Logic Based Ontology Language.
ICLP 2005: 1-4 |
| 115 | | Ian Horrocks,
Ulrike Sattler:
A Tableaux Decision Procedure for SHOIQ.
IJCAI 2005: 448-453 |
| 114 | | Dmitry Tsarkov,
Ian Horrocks:
Ordering Heuristics for Description Logic Reasoning.
IJCAI 2005: 609-614 |
| 113 | | Giorgos Stoilos,
Giorgos B. Stamou,
Vassilis Tzouvaras,
Jeff Z. Pan,
Ian Horrocks:
The Fuzzy Description Logic f-SHIN.
ISWC-URSW 2005: 67-76 |
| 112 | | Katy Wolstencroft,
Andy Brass,
Ian Horrocks,
Phillip W. Lord,
Ulrike Sattler,
Daniele Turi,
Robert Stevens:
A Little Semantic Web Goes a Long Way in Biology.
International Semantic Web Conference 2005: 786-800 |
| 111 | | Ian Horrocks:
Description Logics in Ontology Applications.
KI 2005: 16 |
| 110 | | Franz Baader,
Ian Horrocks,
Ulrike Sattler:
Description Logics as Ontology Languages for the Semantic Web.
Mechanizing Mathematical Reasoning 2005: 228-248 |
| 109 | | Giorgos Stoilos,
Giorgos B. Stamou,
Vassilis Tzouvaras,
Jeff Z. Pan,
Ian Horrocks:
Fuzzy OWL: Uncertainty and the Semantic Web.
OWLED 2005 |
| 108 | | Jeff Z. Pan,
Ian Horrocks:
Introducing Customised Datatypes and Datatype Predicates into OWL.
OWLED 2005 |
| 107 | | Jeff Z. Pan,
Ian Horrocks,
Guus Schreiber:
OWL FA: A Metamodeling Extension of OWL DL.
OWLED 2005 |
| 106 | | Ian Horrocks,
Oliver Kutz,
Ulrike Sattler:
The Irresistible SRIQ.
OWLED 2005 |
| 105 | | Ian Horrocks,
Bijan Parsia,
Peter F. Patel-Schneider,
James A. Hendler:
Semantic Web Architecture: Stack or Two Towers?.
PPSWR 2005: 37-41 |
| 104 | | Giorgos B. Stamou,
Jeff Z. Pan,
Vassilis Tzouvaras,
Ian Horrocks:
A Fuzzy Extension of SWRL.
Rule Languages for Interoperability 2005 |
| 103 | | Ian Horrocks:
OWL Rules, OK?
Rule Languages for Interoperability 2005 |
| 102 | | Ian Horrocks:
Description Logics in Ontology Applications.
TABLEAUX 2005: 2-13 |
| 101 | | Carsten Lutz,
Carlos Areces,
Ian Horrocks,
Ulrike Sattler:
Keys, Nominals, and Concrete Domains.
J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005) |
| 100 | | Ian Horrocks,
Peter F. Patel-Schneider,
Sean Bechhofer,
Dmitry Tsarkov:
OWL rules: A proposal and prototype implementation.
J. Web Sem. 3(1): 23-40 (2005) |
| 2004 |
|---|
| 99 | | Dmitry Tsarkov,
Ian Horrocks:
Efficient Reasoning with Range and Domain Constraints.
Description Logics 2004 |
| 98 | | Jeff Z. Pan,
Ian Horrocks:
Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?").
Description Logics 2004 |
| 97 | | Ian Horrocks,
Lei Li,
Daniele Turi,
Sean Bechhofer:
The Instance Store: DL Reasoning with Large Numbers of Individuals.
Description Logics 2004 |
| 96 | | Dmitry Tsarkov,
Alexandre Riazanov,
Sean Bechhofer,
Ian Horrocks:
Using Vampire to Reason with OWL.
International Semantic Web Conference 2004: 471-485 |
| 95 | | Ian Horrocks,
Peter F. Patel-Schneider:
A proposal for an owl rules language.
WWW 2004: 723-731 |
| 94 | | Franz Baader,
Ian Horrocks,
Ulrike Sattler:
Description Logics.
Handbook on Ontologies 2004: 3-28 |
| 93 | | Ian Horrocks,
Ulrike Sattler:
Decidability of SHIQ with complex role inclusion axioms.
Artif. Intell. 160(1-2): 79-104 (2004) |
| 92 | | Ian Horrocks:
WWW conference special issue.
J. Web Sem. 1(2): 139-140 (2004) |
| 91 | | Ian Horrocks,
Peter F. Patel-Schneider:
Reducing OWL entailment to description logic satisfiability.
J. Web Sem. 1(4): 345-357 (2004) |
| 90 | | Richard Fikes,
Patrick J. Hayes,
Ian Horrocks:
OWL-QL - a language for deductive query answering on the Semantic Web.
J. Web Sem. 2(1): 19-29 (2004) |
| 2003 |
|---|
| 89 | | Ian Horrocks:
Implementation and Optimization Techniques.
Description Logic Handbook 2003: 306-346 |
| 88 | | Ian Horrocks,
Deborah L. McGuinness,
Christopher A. Welty:
Digital Libraries and Web-based Information Systems.
Description Logic Handbook 2003: 427-449 |
| 87 | | Dmitry Tsarkov,
Ian Horrocks:
DL Reasoner vs. First-Order Prover.
Description Logics 2003 |
| 86 | | Lei Li,
Ian Horrocks:
Matchmarking Using an Instance Store: Some Preliminary Results.
Description Logics 2003 |
| 85 | | Jeff Z. Pan,
Ian Horrocks:
RDFS(FA): A DL-ised Sub-language of RDFS.
Description Logics 2003 |
| 84 | | Ian Horrocks,
Peter F. Patel-Schneider:
Reducing OWL Entailment to Description Logic Satisfability.
Description Logics 2003 |
| 83 | | Ian Horrocks,
Ulrike Sattler:
Decidability of SHIQ with Complex Role Inclusion Axioms.
IJCAI 2003: 343-348 |
| 82 | | Carsten Lutz,
Carlos Areces,
Ian Horrocks,
Ulrike Sattler:
Keys, Nominals, and Concrete Domains.
IJCAI 2003: 349-354 |
| 81 | | Ian Horrocks,
Peter F. Patel-Schneider:
Reducing OWL Entailment to Description Logic Satisfiability.
International Semantic Web Conference 2003: 17-29 |
| 80 | | Jeff Z. Pan,
Ian Horrocks:
RDFS(FA) and RDF MT: Two Semantics for RDFS.
International Semantic Web Conference 2003: 30-46 |
| 79 | | Jeff Z. Pan,
Ian Horrocks:
Web Ontology Reasoning with Datatype Groups.
International Semantic Web Conference 2003: 47-63 |
| 78 | | Michael Uschold,
Peter Clark,
Fred Dickey,
Casey K. Fung,
Sonia Smith,
Stephen A. Uczekaj,
Michael Wilke,
Sean Bechhofer,
Ian Horrocks:
A Semantic Infosphere.
International Semantic Web Conference 2003: 882-896 |
| 77 | | Michel C. A. Klein,
Jeen Broekstra,
Dieter Fensel,
Frank van Harmelen,
Ian Horrocks:
Ontologies and Schema Languages on the Web.
Spinning the Semantic Web 2003: 95-139 |
| 76 | | Lei Li,
Ian Horrocks:
A software framework for matchmaking based on semantic web technology.
WWW 2003: 331-339 |
| 75 | | Ian Horrocks,
Peter F. Patel-Schneider:
Three theses of representation in the semantic web.
WWW 2003: 39-47 |
| 74 | | Benjamin N. Grosof,
Ian Horrocks,
Raphael Volz,
Stefan Decker:
Description logic programs: combining logic programs with description logic.
WWW 2003: 48-57 |
| 73 | | Ian Horrocks,
Jürgen Angele,
Stefan Decker,
Michael Kifer,
Benjamin N. Grosof,
Gerd Wagner:
Where Are the Rules?
IEEE Intelligent Systems 18(5): 76-83 (2003) |
| 72 | | Ian Horrocks,
Peter F. Patel-Schneider,
Frank van Harmelen:
From SHIQ and RDF to OWL: the making of a Web Ontology Language.
J. Web Sem. 1(1): 7-26 (2003) |
| 2002 |
|---|
| 71 | | Ian Horrocks,
Sergio Tessaris:
Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002
CEUR-WS.org 2002 |
| 70 | | Ian Horrocks,
James A. Hendler:
The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings
Springer 2002 |
| 69 | | Ian Horrocks,
Peter F. Patel-Schneider,
Frank van Harmelen:
Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web.
AAAI/IAAI 2002: 792-797 |
| 68 | | Ian Horrocks:
Reasoning with Expressive Description Logics: Theory and Practice.
CADE 2002: 1-15 |
| 67 | | Jeff Z. Pan,
Ian Horrocks:
Extending Datatype Support in Web Ontology Reasoning.
CoopIS/DOA/ODBASE 2002: 1067-1081 |
| 66 | | Jeff Z. Pan,
Ian Horrocks:
Extending Datatype Support in Web Ontology Reasoning.
CoopIS/DOA/ODBASE 2002: 1362 |
| 65 | | Ian Horrocks,
Ulrike Sattler:
Optimised Reasoning for SHIQ.
ECAI 2002: 277-281 |
| 64 | | Ian Horrocks:
DAML+OIL: A Reason-able Web Ontology Language.
EDBT 2002: 2-13 |
| 63 | | Ian Horrocks,
Sergio Tessaris:
Querying the Semantic Web: A Formal Approach.
International Semantic Web Conference 2002: 177-191 |
| 62 | | Sergio Tessaris,
Ian Horrocks,
Graham Gough:
Evaluating a Modular Abox Algorithm.
KR 2002: 227-238 |
| 61 | | Sergio Tessaris,
Ian Horrocks:
Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.
LPAR 2002: 435-449 |
| 60 | | Ian Horrocks:
DAML+OIL: A Reason-Able Web Ontology Language.
WES 2002: 174 |
| 59 | | Brandon Bennett,
Clare Dixon,
Michael Fisher,
Ullrich Hustadt,
Enrico Franconi,
Ian Horrocks,
Maarten de Rijke:
Combinations of Modal Logics.
Artif. Intell. Rev. 17(1): 1-20 (2002) |
| 58 | | Jeen Broekstra,
Michel C. A. Klein,
Stefan Decker,
Dieter Fensel,
Frank van Harmelen,
Ian Horrocks:
Enabling knowledge representation on the Web by extending RDF Schema.
Computer Networks 39(5): 609-634 (2002) |
| 57 | | Ian Horrocks:
DAML+OIL: a Description Logic for the Semantic Web.
IEEE Data Eng. Bull. 25(1): 4-9 (2002) |
| 56 | | Robert Stevens,
Carole A. Goble,
Ian Horrocks,
Sean Bechhofer:
OILing the way to machine understandable bioinformatics resources.
IEEE Transactions on Information Technology in Biomedicine 6(2): 129-134 (2002) |
| 55 | | Robert Stevens,
Carole A. Goble,
Ian Horrocks,
Sean Bechhofer:
Building a bioinformatics ontology using OIL.
IEEE Transactions on Information Technology in Biomedicine 6(2): 135-141 (2002) |
| 54 | | Ian Horrocks,
Peter F. Patel-Schneider:
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability.
J. Autom. Reasoning 28(2): 173-204 (2002) |
| 53 | | Franz Baader,
Ian Horrocks,
Ulrike Sattler:
Description Logics for the Semantic Web.
KI 16(4): 57-59 (2002) |
| 2001 |
|---|
| 52 | | Sean Bechhofer,
Ian Horrocks,
Carole A. Goble,
Robert Stevens:
OilEd: a Reason-able Ontology Editor for the Semantic Web.
Description Logics 2001 |
| 51 | | Ian Horrocks,
Peter F. Patel-Schneider:
The Generation of DAML+OIL.
Description Logics 2001 |
| 50 | | Ian Horrocks,
Ulrike Sattler:
Ontology Reasoning in the SHOQ(D) Description Logic.
IJCAI 2001: 199-204 |
| 49 | | Sean Bechhofer,
Ian Horrocks,
Carole A. Goble,
Robert Stevens:
OilEd: A Reason-able Ontology Editor for the Semantic Web.
KI/ÖGAI 2001: 396-408 |
| 48 | | Jeff Z. Pan,
Ian Horrocks:
Metamodeling Architecture of Web Ontology Languages.
SWWS 2001: 131-149 |
| 47 | | Sean Bechhofer,
Carole A. Goble,
Ian Horrocks:
DAML+OIL is not Enough.
SWWS 2001: 151-159 |
| 46 | | Jeff Z. Pan,
Ian Horrocks:
Metamodeling Architecture of Web Ontology Languages.
The Emerging Semantic Web 2001 |
| 45 | | Jeen Broekstra,
Michel C. A. Klein,
Stefan Decker,
Dieter Fensel,
Frank van Harmelen,
Ian Horrocks:
Enabling knowledge representation on the Web by extending RDF schema.
WWW 2001: 467-478 |
| 44 | | Dieter Fensel,
Frank van Harmelen,
Ian Horrocks,
Deborah L. McGuinness,
Peter F. Patel-Schneider:
OIL: An Ontology Infrastructure for the Semantic Web.
IEEE Intelligent Systems 16(2): 38-45 (2001) |
| 2000 |
|---|
| 43 | | Ian Horrocks,
Sergio Tessaris:
A Conjunctive Query Language for Description Logic Aboxes.
AAAI/IAAI 2000: 399-404 |
| 42 | | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ.
CADE 2000: 482-496 |
| 41 | | Ian Horrocks,
Sergio Tessaris:
Answering Conjunctive Queries over DL Aboxes: A Preliminary Report.
Description Logics 2000: 173-182 |
| 40 | | Ian Horrocks,
Stephan Tobies:
Optimisation of Terminological Reasoning.
Description Logics 2000: 183-192 |
| 39 | | Sean Bechhofer,
Ian Horrocks:
Driving User Interfaces from FaCT.
Description Logics 2000: 45-54 |
| 38 | | Stefan Decker,
Dieter Fensel,
Frank van Harmelen,
Ian Horrocks,
Sergey Melnik,
Michel C. A. Klein,
Jeen Broekstra:
Knowledge Representation on the Web.
Description Logics 2000: 89-97 |
| 37 | | Alexander Borgida,
Enrico Franconi,
Ian Horrocks:
Explaining ALC Subsumption.
ECAI 2000: 209-213 |
| 36 | | Dieter Fensel,
Ian Horrocks,
Frank van Harmelen,
Stefan Decker,
Michael Erdmann,
Michel C. A. Klein:
OIL in a Nutshell.
EKAW 2000: 1-16 |
| 35 | | Ian Horrocks,
Stephan Tobies:
Reasoning with Axioms: Theory and Practice.
KR 2000: 285-296 |
| 34 | | Ian Horrocks,
Ulrike Sattler,
Sergio Tessaris,
Stephan Tobies:
How to decide Query Containment under Constraints using a Description Logic.
KRDB 2000: 59-72 |
| 33 | | Ian Horrocks,
Ulrike Sattler,
Sergio Tessaris,
Stephan Tobies:
How to Decide Query Containment Under Constraints Using a Description Logic.
LPAR 2000: 326-343 |
| 32 | | Ian Horrocks:
Benchmark Analysis with FaCT.
TABLEAUX 2000: 62-66 |
| 31 | | Ian Horrocks,
Stephan Tobies:
Reasoning with Axioms: Theory and Pratice
CoRR cs.LO/0005012: (2000) |
| 30 | | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics
CoRR cs.LO/0005013: (2000) |
| 29 | | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Expressive Description Logics
CoRR cs.LO/0005014: (2000) |
| 28 | | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ
CoRR cs.LO/0005017: (2000) |
| 27 | | Stefan Decker,
Sergey Melnik,
Frank van Harmelen,
Dieter Fensel,
Michel C. A. Klein,
Jeen Broekstra,
Michael Erdmann,
Ian Horrocks:
The Semantic Web: The Roles of XML and RDF.
IEEE Internet Computing 4(5): 63-74 (2000) |
| 26 | | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics.
Logic Journal of the IGPL 8(3): 239-263 (2000) |
| 25 | | Ian Horrocks,
Peter F. Patel-Schneider,
Roberto Sebastiani:
An Analysis of Empirical Testing for Modal Decision Procedures.
Logic Journal of the IGPL 8(3): 293-323 (2000) |
| 1999 |
|---|
| 24 | | Ian Horrocks,
Lin Padgham,
Laura Thomson:
Feasibility of Optimised Disjunctive Reasoning for Approximate Matching.
Australian Joint Conference on Artificial Intelligence 1999: 328-339 |
| 23 | | Sean Bechhofer,
Ian Horrocks,
Peter F. Patel-Schneider,
Sergio Tessaris:
A Proposal for a Description Logic Interface.
Description Logics 1999 |
| 22 | | Alexander Borgida,
Enrico Franconi,
Ian Horrocks,
Deborah L. McGuinness,
Peter F. Patel-Schneider:
Explaining ALC Subsumption.
Description Logics 1999 |
| 21 | | Ian Horrocks:
FaCT and iFaCT.
Description Logics 1999 |
| 20 | | Ian Horrocks,
Peter F. Patel-Schneider:
Performance of DLP on Random Modal Formulae.
Description Logics 1999 |
| 19 | | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Expressive Description Logics.
LPAR 1999: 161-180 |
| 18 | | Peter F. Patel-Schneider,
Ian Horrocks:
DLP and FaCT.
TABLEAUX 1999: 19-23 |
| 17 | | Ian Horrocks,
Peter F. Patel-Schneider:
Optimizing Description Logic Subsumption.
J. Log. Comput. 9(3): 267-293 (1999) |
| 16 | | Ian Horrocks,
Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies.
J. Log. Comput. 9(3): 385-410 (1999) |
| 15 | | Enrico Franconi,
Giuseppe De Giacomo,
Ian Horrocks,
Deborah L. McGuinness,
Werner Nutt,
Peter F. Patel-Schneider,
Christopher A. Welty:
Report on the 1998 International Workshop on Description Logics (DL'98).
J. Log. Comput. 9(3): 449-456 (1999) |
| 1998 |
|---|
| 14 | | Ian Horrocks,
Peter F. Patel-Schneider:
Optimising Propositional Modal Satisfiability for Description Logic Subsumption.
AISC 1998: 234-246 |
| 13 | | Ian Horrocks,
Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies.
Description Logics 1998 |
| 12 | | Ian Horrocks,
Peter F. Patel-Schneider:
Comparing Subsumption Optimizations.
Description Logics 1998 |
| 11 | | Ian Horrocks,
Peter F. Patel-Schneider:
DL Systems Comparison (Summary Relation).
Description Logics 1998 |
| 10 | | Ian Horrocks:
FaCT.
Description Logics 1998 |
| 9 | | Ian Horrocks:
Kris.
Description Logics 1998 |
| 8 | | Ian Horrocks:
Using an Expressive Description Logic: FaCT or Fiction?
KR 1998: 636-649 |
| 7 | | Ian Horrocks,
Peter F. Patel-Schneider:
FaCT and DLP.
TABLEAUX 1998: 27-30 |
| 6 | | Ian Horrocks:
The FaCT System.
TABLEAUX 1998: 307-312 |
| 1997 |
|---|
| 5 | | Ronald J. Brachman,
Francesco M. Donini,
Enrico Franconi,
Ian Horrocks,
Alon Y. Levy,
Marie-Christine Rousset:
Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI
Description Logics 1997 |
| 4 | | Ian Horrocks,
Graham Gough:
Description Logics with Transitive Roles.
Description Logics 1997 |
| 3 | | Alan L. Rector,
Sean Bechhofer,
Carole A. Goble,
Ian Horrocks,
W. A. Nowlan,
W. D. Solomon:
The GRAIL concept modelling language for medical terminology.
Artificial Intelligence in Medicine 9(2): 139-171 (1997) |
| 1996 |
|---|
| 2 | | Ian Horrocks,
Alan L. Rector:
Using a Description Logic with Concept Inclusions.
Description Logics 1996: 132-135 |
| 1 | | Ian Horrocks,
Alan L. Rector,
Carole A. Goble:
A Description Logic Based Schema for the Classification of Medical Data.
KRDB 1996 |
Data released under the ODC-BY 1.0 license — See also our legal information page