2008 |
174 | | Thanh Tran,
Peter Haase,
Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks:
Metalevel Information in Ontology-Based Applications.
AAAI 2008: 1237-1242 |
173 | EE | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.
Description Logics 2008 |
172 | EE | Rob Shearer,
Boris Motik,
Ian Horrocks:
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.
Description Logics 2008 |
171 | EE | Bernardo Cuenca Grau,
Ian Horrocks:
Privacy-Preserving Query Answering in Logic-based Information Systems.
ECAI 2008: 40-44 |
170 | EE | Boris Motik,
Ian Horrocks:
Individual Reuse in Description Logic Reasoning.
IJCAR 2008: 242-258 |
169 | EE | Boris Motik,
Ian Horrocks:
OWL Datatypes: Design and Implementation.
International Semantic Web Conference 2008: 307-322 |
168 | | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Unions of Conjunctive Queries in SHOQ.
KR 2008: 252-262 |
167 | | Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks,
Ulrike Sattler:
Representing Structured Objects using Description Graphs.
KR 2008: 296-306 |
166 | EE | Rob Shearer,
Boris Motik,
Ian Horrocks:
HermiT: A Highly-Efficient OWL Reasoner.
OWLED 2008 |
165 | EE | Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks,
Ulrike Sattler:
Modeling Ontologies using OWL, Description Graphs, and Rules.
OWLED 2008 |
164 | EE | Héctor Pérez-Urbina,
Boris Motik,
Ian Horrocks:
Rewriting Conjunctive Queries over Description Logic Knowledge Bases.
SDKB 2008: 199-214 |
163 | EE | Ian Horrocks:
Ontologies and the semantic web.
Commun. ACM 51(12): 58-67 (2008) |
162 | EE | 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 | EE | Boris Motik,
Rob Shearer,
Ian Horrocks:
Optimized Reasoning in Description Logics Using Hypertableaux.
CADE 2007: 67-83 |
160 | EE | Boris Motik,
Rob Shearer,
Ian Horrocks:
A Hypertableau Calculus for SHIQ.
Description Logics 2007 |
159 | EE | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Conjunctive Query Entailment for SHOQ.
Description Logics 2007 |
158 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Ontology Reuse: Better Safe than Sorry.
Description Logics 2007 |
157 | EE | Ian Horrocks:
Semantic Web: The Story So Far.
ICTAI (1) 2007 |
156 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
A Logical Framework for Modularity of Ontologies.
IJCAI 2007: 298-303 |
155 | EE | Birte Glimm,
Ian Horrocks,
Carsten Lutz,
Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ.
IJCAI 2007: 399-404 |
154 | EE | 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 | EE | Boris Motik,
Ian Horrocks,
Ulrike Sattler:
Adding Integrity Constraints to OWL.
OWLED 2007 |
152 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-based Approach.
OWLED 2007 |
151 | EE | Christine Golbreich,
Ian Horrocks:
The OBO to OWL Mapping, GO to OWL 1.1!
OWLED 2007 |
150 | EE | Ian Horrocks:
Semantic web: the story so far.
W4A 2007: 120-125 |
149 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Just the right amount: extracting modules from ontologies.
WWW 2007: 717-726 |
148 | EE | Boris Motik,
Ian Horrocks,
Ulrike Sattler:
Bridging the gap between OWL and relational databases.
WWW 2007: 807-816 |
147 | EE | Ian Horrocks,
Birte Glimm,
Ulrike Sattler:
Hybrid Logics and Ontology Languages.
Electr. Notes Theor. Comput. Sci. 174(6): 3-14 (2007) |
146 | EE | Jeff Z. Pan,
Ian Horrocks:
RDFS(FA): Connecting RDF(S) and OWL DL.
IEEE Trans. Knowl. Data Eng. 19(2): 192-206 (2007) |
145 | EE | 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 | EE | Ian Horrocks,
Ulrike Sattler:
A Tableau Decision Procedure for SHOIQ.
J. Autom. Reasoning 39(3): 249-276 (2007) |
143 | EE | Dmitry Tsarkov,
Ian Horrocks,
Peter F. Patel-Schneider:
Optimizing Terminological Reasoning for Expressive Description Logics.
J. Autom. Reasoning 39(3): 277-316 (2007) |
142 | EE | Ian Horrocks:
Logic for Ontology Engineering Corner.
J. Log. Comput. 17(4): 615 (2007) |
141 | EE | 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 |
138 | EE | Tom Gardiner,
Ian Horrocks,
Dmitry Tsarkov:
Automated Benchmarking of Description Logic Reasoners.
Description Logics 2006 |
137 | EE | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Conjunctive Query Answering for Description Logics with Transitive Roles.
Description Logics 2006 |
136 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Oliver Kutz,
Ulrike Sattler:
Will my Ontologies Fit Together?
Description Logics 2006 |
135 | EE | Ian Horrocks,
Andrei Voronkov:
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover.
FoIKS 2006: 201-218 |
134 | EE | Dmitry Tsarkov,
Ian Horrocks:
Description Logic Reasoner: System Description.
IJCAR 2006: 292-297 |
133 | EE | 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 | EE | 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 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Bijan Parsia,
Peter F. Patel-Schneider,
Ulrike Sattler:
Next Steps for OWL.
OWLED 2006 |
129 | EE | Boris Motik,
Ian Horrocks:
Problems with OWL Syntax.
OWLED 2006 |
128 | EE | Jeff Z. Pan,
Ian Horrocks:
OWL FA: a metamodeling extension of OWL D.
WWW 2006: 1065-1066 |
127 | EE | Peter F. Patel-Schneider,
Ian Horrocks:
Position paper: a comparison of two modelling paradigms in the Semantic Web.
WWW 2006: 3-12 |
126 | EE | 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 | EE | 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 | EE | Sean Bechhofer,
Ian Horrocks,
Daniele Turi:
The OWL Instance Store: System Description.
CADE 2005: 177-181 |
122 | EE | Ian Horrocks:
OWL: A Description Logic Based Ontology Language.
CP 2005: 5-8 |
121 | EE | Birte Glimm,
Ian Horrocks:
Handling Cyclic Conjunctive Queries.
Description Logics 2005 |
120 | EE | Dmitry Tsarkov,
Ian Horrocks:
Optimised Classification for Taxonomic Knowledge Bases.
Description Logics 2005 |
119 | EE | Jeff Z. Pan,
Ian Horrocks:
OWL-Eu: Adding Customised Datatypes into OWL.
ESWC 2005: 153-166 |
118 | EE | Jeff Z. Pan,
Giorgos B. Stamou,
Vassilis Tzouvaras,
Ian Horrocks:
f-SWRL: A Fuzzy Extension of SWRL.
ICANN (2) 2005: 829-834 |
117 | EE | Ian Horrocks:
Applications of Description Logics: State of the Art and Research Challenges.
ICCS 2005: 78-90 |
116 | EE | Ian Horrocks:
OWL: A Description Logic Based Ontology Language.
ICLP 2005: 1-4 |
115 | EE | Ian Horrocks,
Ulrike Sattler:
A Tableaux Decision Procedure for SHOIQ.
IJCAI 2005: 448-453 |
114 | EE | 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 | EE | 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 | EE | Ian Horrocks:
Description Logics in Ontology Applications.
KI 2005: 16 |
110 | EE | Franz Baader,
Ian Horrocks,
Ulrike Sattler:
Description Logics as Ontology Languages for the Semantic Web.
Mechanizing Mathematical Reasoning 2005: 228-248 |
109 | EE | Giorgos Stoilos,
Giorgos B. Stamou,
Vassilis Tzouvaras,
Jeff Z. Pan,
Ian Horrocks:
Fuzzy OWL: Uncertainty and the Semantic Web.
OWLED 2005 |
108 | EE | Jeff Z. Pan,
Ian Horrocks:
Introducing Customised Datatypes and Datatype Predicates into OWL.
OWLED 2005 |
107 | EE | Jeff Z. Pan,
Ian Horrocks,
Guus Schreiber:
OWL FA: A Metamodeling Extension of OWL DL.
OWLED 2005 |
106 | EE | Ian Horrocks,
Oliver Kutz,
Ulrike Sattler:
The Irresistible SRIQ.
OWLED 2005 |
105 | EE | Ian Horrocks,
Bijan Parsia,
Peter F. Patel-Schneider,
James A. Hendler:
Semantic Web Architecture: Stack or Two Towers?.
PPSWR 2005: 37-41 |
104 | EE | Giorgos B. Stamou,
Jeff Z. Pan,
Vassilis Tzouvaras,
Ian Horrocks:
A Fuzzy Extension of SWRL.
Rule Languages for Interoperability 2005 |
103 | EE | Ian Horrocks:
OWL Rules, OK?
Rule Languages for Interoperability 2005 |
102 | EE | Ian Horrocks:
Description Logics in Ontology Applications.
TABLEAUX 2005: 2-13 |
101 | EE | Carsten Lutz,
Carlos Areces,
Ian Horrocks,
Ulrike Sattler:
Keys, Nominals, and Concrete Domains.
J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005) |
100 | EE | 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 | EE | Dmitry Tsarkov,
Ian Horrocks:
Efficient Reasoning with Range and Domain Constraints.
Description Logics 2004 |
98 | EE | Jeff Z. Pan,
Ian Horrocks:
Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?").
Description Logics 2004 |
97 | EE | Ian Horrocks,
Lei Li,
Daniele Turi,
Sean Bechhofer:
The Instance Store: DL Reasoning with Large Numbers of Individuals.
Description Logics 2004 |
96 | EE | Dmitry Tsarkov,
Alexandre Riazanov,
Sean Bechhofer,
Ian Horrocks:
Using Vampire to Reason with OWL.
International Semantic Web Conference 2004: 471-485 |
95 | EE | 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 | EE | Ian Horrocks,
Ulrike Sattler:
Decidability of SHIQ with complex role inclusion axioms.
Artif. Intell. 160(1-2): 79-104 (2004) |
92 | EE | Ian Horrocks:
WWW conference special issue.
J. Web Sem. 1(2): 139-140 (2004) |
91 | EE | Ian Horrocks,
Peter F. Patel-Schneider:
Reducing OWL entailment to description logic satisfiability.
J. Web Sem. 1(4): 345-357 (2004) |
90 | EE | 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 | EE | Dmitry Tsarkov,
Ian Horrocks:
DL Reasoner vs. First-Order Prover.
Description Logics 2003 |
86 | EE | Lei Li,
Ian Horrocks:
Matchmarking Using an Instance Store: Some Preliminary Results.
Description Logics 2003 |
85 | EE | Jeff Z. Pan,
Ian Horrocks:
RDFS(FA): A DL-ised Sub-language of RDFS.
Description Logics 2003 |
84 | EE | 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 | EE | Ian Horrocks,
Peter F. Patel-Schneider:
Reducing OWL Entailment to Description Logic Satisfiability.
International Semantic Web Conference 2003: 17-29 |
80 | EE | Jeff Z. Pan,
Ian Horrocks:
RDFS(FA) and RDF MT: Two Semantics for RDFS.
International Semantic Web Conference 2003: 30-46 |
79 | EE | Jeff Z. Pan,
Ian Horrocks:
Web Ontology Reasoning with Datatype Groups.
International Semantic Web Conference 2003: 47-63 |
78 | EE | 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 | EE | Lei Li,
Ian Horrocks:
A software framework for matchmaking based on semantic web technology.
WWW 2003: 331-339 |
75 | EE | Ian Horrocks,
Peter F. Patel-Schneider:
Three theses of representation in the semantic web.
WWW 2003: 39-47 |
74 | EE | Benjamin N. Grosof,
Ian Horrocks,
Raphael Volz,
Stefan Decker:
Description logic programs: combining logic programs with description logic.
WWW 2003: 48-57 |
73 | EE | 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 | EE | 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 | EE | Ian Horrocks:
Reasoning with Expressive Description Logics: Theory and Practice.
CADE 2002: 1-15 |
67 | EE | Jeff Z. Pan,
Ian Horrocks:
Extending Datatype Support in Web Ontology Reasoning.
CoopIS/DOA/ODBASE 2002: 1067-1081 |
66 | EE | 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 | EE | Ian Horrocks:
DAML+OIL: A Reason-able Web Ontology Language.
EDBT 2002: 2-13 |
63 | EE | 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 | EE | Sergio Tessaris,
Ian Horrocks:
Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.
LPAR 2002: 435-449 |
60 | EE | 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 | EE | 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 | EE | 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 | EE | Sean Bechhofer,
Ian Horrocks,
Carole A. Goble,
Robert Stevens:
OilEd: a Reason-able Ontology Editor for the Semantic Web.
Description Logics 2001 |
51 | EE | 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 | EE | 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 | EE | Jeff Z. Pan,
Ian Horrocks:
Metamodeling Architecture of Web Ontology Languages.
SWWS 2001: 131-149 |
47 | EE | 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 | EE | 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 | EE | 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 | EE | Ian Horrocks,
Sergio Tessaris:
Answering Conjunctive Queries over DL Aboxes: A Preliminary Report.
Description Logics 2000: 173-182 |
40 | EE | Ian Horrocks,
Stephan Tobies:
Optimisation of Terminological Reasoning.
Description Logics 2000: 183-192 |
39 | EE | Sean Bechhofer,
Ian Horrocks:
Driving User Interfaces from FaCT.
Description Logics 2000: 45-54 |
38 | EE | 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 | EE | 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 | EE | Ian Horrocks,
Ulrike Sattler,
Sergio Tessaris,
Stephan Tobies:
How to decide Query Containment under Constraints using a Description Logic.
KRDB 2000: 59-72 |
33 | EE | 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 | EE | Ian Horrocks,
Stephan Tobies:
Reasoning with Axioms: Theory and Pratice
CoRR cs.LO/0005012: (2000) |
30 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics
CoRR cs.LO/0005013: (2000) |
29 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Expressive Description Logics
CoRR cs.LO/0005014: (2000) |
28 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ
CoRR cs.LO/0005017: (2000) |
27 | EE | 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 | EE | Ian Horrocks,
Peter F. Patel-Schneider,
Roberto Sebastiani:
An Analysis of Empirical Testing for Modal Decision Procedures.
Logic Journal of the IGPL 8(3): (2000) |
25 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics.
Logic Journal of the IGPL 8(3): (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 | EE | Sean Bechhofer,
Ian Horrocks,
Peter F. Patel-Schneider,
Sergio Tessaris:
A Proposal for a Description Logic Interface.
Description Logics 1999 |
22 | EE | Alexander Borgida,
Enrico Franconi,
Ian Horrocks,
Deborah L. McGuinness,
Peter F. Patel-Schneider:
Explaining ALC Subsumption.
Description Logics 1999 |
21 | EE | Ian Horrocks:
FaCT and iFaCT.
Description Logics 1999 |
20 | EE | 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 | EE | Ian Horrocks,
Peter F. Patel-Schneider:
Optimizing Description Logic Subsumption.
J. Log. Comput. 9(3): 267-293 (1999) |
16 | EE | Ian Horrocks,
Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies.
J. Log. Comput. 9(3): 385-410 (1999) |
15 | EE | 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 | EE | Ian Horrocks,
Peter F. Patel-Schneider:
Optimising Propositional Modal Satisfiability for Description Logic Subsumption.
AISC 1998: 234-246 |
13 | EE | Ian Horrocks,
Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies.
Description Logics 1998 |
12 | EE | Ian Horrocks,
Peter F. Patel-Schneider:
Comparing Subsumption Optimizations.
Description Logics 1998 |
11 | EE | Ian Horrocks,
Peter F. Patel-Schneider:
DL Systems Comparison (Summary Relation).
Description Logics 1998 |
10 | EE | Ian Horrocks:
FaCT.
Description Logics 1998 |
9 | EE | Ian Horrocks:
Kris.
Description Logics 1998 |
8 | | Ian Horrocks:
Using an Expressive Description Logic: FaCT or Fiction?
KR 1998: 636-649 |
7 | EE | Ian Horrocks,
Peter F. Patel-Schneider:
FaCT and DLP.
TABLEAUX 1998: 27-30 |
6 | EE | 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 | EE | 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 | EE | Ian Horrocks,
Alan L. Rector,
Carole A. Goble:
A Description Logic Based Schema for the Classification of Medical Data.
KRDB 1996 |