Ian Horrocks - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and ReasoningChitta Baral, Ian Horrocks, Yoav Shoham. kr 2010: [doi]

Optimized Description Logic Reasoning via Core BlockingBirte Glimm, Ian Horrocks, Boris Motik. cade 2010: 457-471 [doi]

Optimized DL Reasoning via Core BlockingBirte Glimm, Ian Horrocks, Boris Motik. dlog 2010: [doi]

Optimising Ontology ClassificationBirte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos. semweb 2010: 225-240 [doi]

Ontology Languages and EngineeringIan Horrocks. ksem 2010: 2 [doi]

Scalable ontology-based information systemsIan Horrocks. edbt 2010: 2 [doi]

Tractable Extensions of the Description Logic EL with Numerical DatatypesDespoina Magka, Yevgeny Kazakov, Ian Horrocks. dlog 2010: [doi]

Tractable Extensions of the Description Logic ::::EL:::: with Numerical DatatypesDespoina Magka, Yevgeny Kazakov, Ian Horrocks. cade 2010: 61-75 [doi]

The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part IPeter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang 0007, Jeff Z. Pan, Ian Horrocks, Birte Glimm, editors, Volume 6496 of Lecture Notes in Computer Science, Springer, 2010. [doi]

The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part IIPeter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang 0007, Jeff Z. Pan, Ian Horrocks, Birte Glimm, editors, Volume 6497 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Tractable query answering and rewriting under description logic constraintsHéctor Pérez-Urbina, Boris Motik, Ian Horrocks. japll, 8(2):186-209, 2010. [doi]

How Incomplete Is Your Semantic Web Reasoner?Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks. AAAI 2010: [doi]

Completeness Guarantees for Incomplete ReasonersGiorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks. semweb 2010: 747-763 [doi]

2009

Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, editors, Volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, 2009.

Extracting Modules from Ontologies: A Logic-Based ApproachBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. In Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra, editors, Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. Volume 5445 of Lecture Notes in Computer Science, pages 159-186, Springer, 2009. [doi]

Building Ontologies Collaboratively Using ContentCVSErnesto JimÃ©nez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. dlog 2009: [doi]

Logic-based Ontology Integration using ContentMapErnesto JimÃ©nez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. jisbd 2009: 316-319

Ontology Integration Using Mappings: Towards Getting the Right Logical ConsequencesErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. esws 2009: 173-187 [doi]

Hypertableau Reasoning for Description LogicsBoris Motik, Rob Shearer, Ian Horrocks. jair, 36:165-228, 2009. [doi]

Bridging the gap between OWL and relational databasesBoris Motik, Ian Horrocks, Ulrike Sattler. ws, 7(2):74-89, 2009. [doi]

Representing ontologies using description logics, description graphs, and rulesBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. ai, 173(14):1275-1309, 2009. [doi]

Efficient Query Answering for OWL 2HÃ©ctor PÃ©rez-Urbina, Ian Horrocks, Boris Motik. semweb 2009: 489-504 [doi]

A Comparison of Query Rewriting Techniques for DL-liteHÃ©ctor PÃ©rez-Urbina, Boris Motik, Ian Horrocks. dlog 2009: [doi]

Practical Aspects of Query Rewriting for OWL 2HÃ©ctor PÃ©rez-Urbina, Ian Horrocks, Boris Motik. semweb 2009: [doi]

Exploiting Partial Information in Taxonomy ConstructionRob Shearer, Ian Horrocks, Boris Motik. dlog 2009: [doi]

Exploiting Partial Information in Taxonomy ConstructionRob Shearer, Ian Horrocks. semweb 2009: 569-584 [doi]

2008

Unions of Conjunctive Queries in SHOQBirte Glimm, Ian Horrocks, Ulrike Sattler. kr 2008: 252-262

Conjunctive Query Answering for the Description Logic SHIQBirte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler. jair, 31:157-204, 2008. [doi]

Deciding SHOQ^cap Knowledge Base Consistency using Alternating AutomataBirte Glimm, Ian Horrocks, Ulrike Sattler. dlog 2008: [doi]

OWL 2: The next step for OWLBernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. ws, 6(4):309-322, 2008. [doi]

Modular Reuse of Ontologies: Theory and PracticeBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. jair, 31:273-318, 2008. [doi]

Privacy-Preserving Query Answering in Logic-based Information SystemsBernardo Cuenca Grau, Ian Horrocks. ecai 2008: 40-44 [doi]

Ontologies and the semantic webIan Horrocks. CACM, 51(12):58-67, 2008. [doi]

Individual Reuse in Description Logic ReasoningBoris Motik, Ian Horrocks. cade 2008: 242-258 [doi]

OWL Datatypes: Design and ImplementationBoris Motik, Ian Horrocks. semweb 2008: 307-322 [doi]

Representing Structured Objects using Description GraphsBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. kr 2008: 296-306

Modeling Ontologies using OWL, Description Graphs, and RulesBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. owled 2009: [doi]

Rewriting Conjunctive Queries over Description Logic Knowledge BasesHéctor Pérez-Urbina, Boris Motik, Ian Horrocks. sdb 2008: 199-214 [doi]

HermiT: A Highly-Efficient OWL ReasonerRob Shearer, Boris Motik, Ian Horrocks. owled 2009: [doi]

Optimizing the Nominal Introduction Rule in (Hyper)Tableau CalculiRob Shearer, Boris Motik, Ian Horrocks. dlog 2008: [doi]

Metalevel Information in Ontology-Based ApplicationsThanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks. AAAI 2008: 1237-1242

2007

Conjunctive Query Entailment for SHOQBirte Glimm, Ian Horrocks, Ulrike Sattler. dlog 2007: [doi]

Conjunctive Query Answering for the Description Logic SHIQBirte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. IJCAI 2007: 399-404 [doi]

The OBO to OWL Mapping, GO to OWL 1.1!Christine Golbreich, Ian Horrocks. ifip5-7 2007: [doi]

OBO and OWL: Leveraging Semantic Web Technologies for the Life SciencesChristine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Rob Shearer. semweb 2007: 169-182 [doi]

Just the right amount: extracting modules from ontologiesBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. WWW 2007: 717-726 [doi]

A Logical Framework for Modularity of OntologiesBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. IJCAI 2007: 298-303 [doi]

Ontology Reuse: Better Safe than SorryBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. dlog 2007: [doi]

Extracting Modules from Ontologies: A Logic-based ApproachBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. ifip5-7 2007: [doi]

A Tableau Decision Procedure for ::::SHOIQ::::Ian Horrocks, Ulrike Sattler. JAR, 39(3):249-276, 2007. [doi]

Semantic Web: The Story So FarIan Horrocks. ictai 2007: [doi]

Semantic web: the story so farIan Horrocks. w4a 2007: 120-125 [doi]

Logic for Ontology Engineering CornerIan Horrocks. logcom, 17(4):615, 2007. [doi]

Hybrid Logics and Ontology LanguagesIan Horrocks, Birte Glimm, Ulrike Sattler. ENTCS, 174(6):3-14, 2007. [doi]

A Hypertableau Calculus for SHIQBoris Motik, Rob Shearer, Ian Horrocks. dlog 2007: [doi]

Bridging the gap between OWL and relational databasesBoris Motik, Ian Horrocks, Ulrike Sattler. WWW 2007: 807-816 [doi]

Optimized Reasoning in Description Logics Using HypertableauxBoris Motik, Rob Shearer, Ian Horrocks. cade 2007: 67-83 [doi]

Adding Integrity Constraints to OWLBoris Motik, Ian Horrocks, Ulrike Sattler. ifip5-7 2007: [doi]

RDFS(FA): Connecting RDF(S) and OWL DLJeff Z. Pan, Ian Horrocks. tkde, 19(2):192-206, 2007. [doi]

A comparison of two modelling paradigms in the Semantic WebPeter F. Patel-Schneider, Ian Horrocks. ws, 5(4):240-250, 2007. [doi]

Reasoning with Very Expressive Fuzzy Description LogicsGiorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks. jair, 30:273-320, 2007. [doi]

Optimizing Terminological Reasoning for Expressive Description LogicsDmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider. JAR, 39(3):277-316, 2007. [doi]

2006

Automated Benchmarking of Description Logic ReasonersTom Gardiner, Ian Horrocks, Dmitry Tsarkov. dlog 2006: [doi]

Framework for an Automated Comparison of Description Logic ReasonersTom Gardiner, Dmitry Tsarkov, Ian Horrocks. semweb 2006: 654-667 [doi]

Conjunctive Query Answering for Description Logics with Transitive RolesBirte Glimm, Ian Horrocks, Ulrike Sattler. dlog 2006: [doi]

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, editors, Volume 188 of CEUR Workshop Proceedings, CEUR-WS.org, 2006.

Next Steps for OWLBernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. owled 2006: [doi]

Will my Ontologies Fit Together?Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler. dlog 2006: [doi]

The Even More Irresistible SROIQIan Horrocks, Oliver Kutz, Ulrike Sattler. kr 2006: 57-67

Reasoning Support for Expressive Ontology Languages Using a Theorem ProverIan Horrocks, Andrei Voronkov. foiks 2006: 201-218 [doi]

Deciding Semantic Matching of Stateless ServicesDuncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens. AAAI 2006:

Problems with OWL SyntaxBoris Motik, Ian Horrocks. owled 2006: [doi]

Can OWL and Logic Programming Live Together Happily Ever After?Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler. semweb 2006: 501-514 [doi]

f-SWRL: A Fuzzy Extension of SWRLJeff Z. Pan, Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks. jods, :28-46, 2006. [doi]

OWL-Eu: Adding customised datatypes into OWLJeff Z. Pan, Ian Horrocks. ws, 4(1):29-39, 2006. [doi]

OWL FA: a metamodeling extension of OWL DJeff Z. Pan, Ian Horrocks. WWW 2006: 1065-1066 [doi]

Position paper: a comparison of two modelling paradigms in the Semantic WebPeter F. Patel-Schneider, Ian Horrocks. WWW 2006: 3-12 [doi]

Description Logic Reasoner: System DescriptionDmitry Tsarkov, Ian Horrocks. cade 2006: 292-297 [doi]

2005

The OWL Instance Store: System DescriptionSean Bechhofer, Ian Horrocks, Daniele Turi. cade 2005: 177-181 [doi]

Handling Cyclic Conjunctive QueriesBirte Glimm, Ian Horrocks. dlog 2005: [doi]

The Irresistible SRIQIan Horrocks, Oliver Kutz, Ulrike Sattler. owled 2006: [doi]

A Tableaux Decision Procedure for SHOIQIan Horrocks, Ulrike Sattler. IJCAI 2005: 448-453 [doi]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005Ian Horrocks, Ulrike Sattler, Frank Wolter, editors, Volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, 2005.

Applications of Description Logics: State of the Art and Research ChallengesIan Horrocks. iccS 2005: 78-90 [doi]

Description Logics in Ontology ApplicationsIan Horrocks. ki 2005: 16 [doi]

Keys, Nominals, and Concrete DomainsCarsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. jair, 23:667-726, 2005. [doi]

f-SWRL: A Fuzzy Extension of SWRLJeff Z. Pan, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks. icann 2005: 829-834 [doi]

Introducing Customised Datatypes and Datatype Predicates into OWLJeff Z. Pan, Ian Horrocks. owled 2006: [doi]

OWL-Eu: Adding Customised Datatypes into OWLJeff Z. Pan, Ian Horrocks. esws 2005: 153-166 [doi]

OWL FA: A Metamodeling Extension of OWL DLJeff Z. Pan, Ian Horrocks, Guus Schreiber. owled 2006: [doi]

A Fuzzy Extension of SWRLGiorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks. w3c 2005: [doi]

The Fuzzy Description Logic f-SHINGiorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks. semweb 2005: 67-76

Fuzzy OWL: Uncertainty and the Semantic WebGiorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks. owled 2006: [doi]

Ordering Heuristics for Description Logic ReasoningDmitry Tsarkov, Ian Horrocks. IJCAI 2005: 609-614 [doi]

Optimised Classification for Taxonomic Knowledge BasesDmitry Tsarkov, Ian Horrocks. dlog 2005: [doi]

A Little Semantic Web Goes a Long Way in BiologyKaty Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens. semweb 2005: 786-800 [doi]

PreviousNext