Ian Horrocks

Q: What Schools Are Affiliated With Ian Horrocks

Ian Horrocks is affiliated with the following schools: Victoria University of Manchester, University of Oxford, University of Manchester

Ian Horrocks's AcademicInfluence.com Rankings

Ian Horrocks

Computer Science

#706

World Rank

#728

Historical Rank

Database

#294

World Rank

#308

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Ian Horrocks Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Ian Robert Horrocks is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision proceduress.

(See a Problem?)

Ian Horrocks's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Semantic Web (2011) (6172)
OWL Web Ontology Language - Reference (2004) (2664)
From SHIQ and RDF to OWL: the making of a Web Ontology Language (2003) (1781)
FaCT++ Description Logic Reasoner: System Description (2006) (1225)
OWL Web Ontology Language Reference-W3C Recommen-dation (2004) (1222)
Description logic programs: combining logic programs with description logic (2003) (1154)
OWL 2 Web Ontology Language: structural specification and functional-style syntax (2008) (1115)
The Even More Irresistible SROIQ (2006) (1068)
A software framework for matchmaking based on semantic web technology (2003) (1062)
OWL 2: The next step for OWL (2008) (925)
OIL: An Ontology Infrastructure for the Semantic Web (2001) (923)
The Semantic Web: The Roles of XML and RDF (2000) (857)
Practical Reasoning for Expressive Description Logics (1999) (650)
The Semantic Web — ISWC 2002 (2002) (639)
Reducing OWL Entailment to Description Logic Satisfability (2003) (589)
Using an Expressive Description Logic: FaCT or Fiction? (1998) (528)
HermiT: An OWL 2 Reasoner (2014) (516)
HermiT: A Highly-Efficient OWL Reasoner (2008) (516)
OilEd: a Reason-able Ontology Editor for the Semantic Web (2001) (510)
Description Logics as Ontology Languages for the Semantic Web (2005) (503)
OIL in a Nutshell (2000) (493)
Ontologies and the semantic web (2008) (489)
Description Logics (2009) (469)
A Tableaux Decision Procedure for SHOIQ (2005) (461)
Hypertableau Reasoning for Description Logics (2009) (455)
Modular Reuse of Ontologies: Theory and Practice (2008) (438)
Practical Reasoning for Very Expressive Description Logics (2000) (425)
The semantic Web and its languages (2000) (423)
Ontology Reasoning in the SHOQ(D) Description Logic (2001) (404)
The FaCT System (1998) (388)
A proposal for an owl rules language (2004) (376)
The GRAIL concept modelling language for medical terminology (1997) (365)
OWL-QL - a language for deductive query answering on the Semantic Web (2004) (355)
OWL rules: A proposal and prototype implementation (2005) (344)
An Introduction to Description Logic (2017) (337)
Reasoning with Individuals for the Description Logic SHIQ (2000) (326)
A Description Logic with Transitive and Inverse Roles and Role Hierarchies (1999) (322)
Conjunctive Query Answering for the Description Logic SHIQ (2007) (308)
Bridging the gap between OWL and relational databases (2007) (295)
The Semantic Web – ISWC 2010: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I (2010) (279)
Just the right amount: extracting modules from ontologies (2007) (269)
Web ontology language (OWL) reference version 1 (2002) (212)
A Description Logic Primer (2012) (212)
Fuzzy OWL: Uncertainty and the Semantic Web (2005) (207)
Optimizing Description Logic Subsumption (1999) (202)
DAML+OIL: A Reason-able Web Ontology Language (2002) (201)
Enabling knowledge representation on the Web by extending RDF schema (2001) (199)
Decidability of SHIQ with Complex Role Inclusion Axioms (2003) (199)
Optimising Tableaux Decision Procedures For Description Logics (1997) (192)
Reviewing the design of DAML+OIL: an ontology language for the semantic web (2002) (189)
Reasoning with Very Expressive Fuzzy Description Logics (2007) (185)
Querying the Semantic Web: A Formal Approach (2002) (170)
A Logical Framework for Modularity of Ontologies (2007) (169)
Semantic Web Architecture: Stack or Two Towers? (2005) (167)
Tractable query answering and rewriting under description logic constraints (2010) (166)
Optimized Reasoning in Description Logics Using Hypertableaux (2007) (164)
Owl web ontology language 1 (2002) (161)
Large-scale Interactive Ontology Matching: Algorithms and Implementation (2012) (159)
The Instance Store: DL Reasoning with Large Numbers of Individuals (2004) (158)
RDFox: A Highly-Scalable RDF Store (2015) (156)
Can OWL and Logic Programming Live Together Happily Ever After? (2006) (148)
Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems (2014) (147)
A Tableau Decision Procedure for $\mathcal{SHOIQ}$ (2007) (146)
FaCT and iFaCT (1999) (145)
Explaining ALC Subsumption (2000) (145)
Constructing the User Interface with Statecharts (1999) (143)
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences (2009) (140)
A Conjunctive Query Language for Description Logic Aboxes (2000) (135)
Experience building a Large, Re-usable Medical Ontology using a Description Logic with Transitivity and Concept Inclusions (1997) (132)
OWL: A Description Logic Based Ontology Language (2005) (124)
The Fuzzy Description Logic f-SHIN (2005) (122)
SPARQL Query Answering over OWL Ontologies (2011) (122)
Chapter 3 Description Logics (2008) (121)
The Ontology Inference Layer OIL (2000) (120)
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies (2013) (120)
Consequence-Based Reasoning beyond Horn Ontologies (2011) (117)
The relation between ontologies and XML schemas (2001) (117)
On-To-Knowledge: Ontology-based Tools for Knowledge Management (2000) (117)
Three theses of representation in the semantic web (2003) (116)
Efficient Query Answering for OWL 2 (2009) (115)
Optimizing Terminological Reasoning for Expressive Description Logics (2007) (110)
Keys, Nominals, and Concrete Domains (2003) (110)
Combining logic programs with description logics (2003) (107)
f-SWRL: A Fuzzy Extension of SWRL (2005) (106)
How to Decide Query Containment Under Constraints Using a Description Logic (2000) (106)
OWL 2 Web Ontology Language Mapping to RDF Graphs (2009) (102)
Metamodeling Architecture of Web Ontology Languages (2001) (101)
BootOX: Practical Mapping of RDBs to OWL 2 (2015) (100)
A comparison of two modelling paradigms in the Semantic Web (2007) (98)
An Introduction to Description Logic by Franz Baader (2017) (98)
The Even More Irresistible $\mathcal{SROIQ}$ (2006) (95)
A novel approach to ontology classification (2012) (94)
MORe: Modular Combination of OWL Reasoners for Ontology Classification (2012) (92)
Using Vampire to Reason with OWL (2004) (88)
Efficient Reasoning with Range and Domain Constraints (2004) (87)
Knowledge Representation on the Web (2000) (87)
Ontology Based Access to Exploration Data at Statoil (2015) (84)
Optimised Reasoning for SHIQ (2002) (83)
OWL-Eu: Adding Customised Datatypes into OWL (2005) (82)
Combining Rules and Ontologies . A survey . (2005) (81)
OWL FA: a metamodeling extension of OWL D (2006) (81)
Logic-based assessment of the compatibility of UMLS ontology sources (2011) (80)
Reasoning with Axioms: Theory and Practice (2000) (79)
The relation between ontologies and schema-languages: Translating OIL-specifications in XML Schema. (2000) (78)
Description Logics for the Semantic Web (2002) (76)
ColNet: Embedding the Semantics of Web Tables for Column Type Prediction (2018) (75)
Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users (2016) (75)
A Proposal for a Description Logic Interface (1999) (73)
RDFS(FA): Connecting RDF(S) and OWL DL (2007) (73)
DAML+OIL is not Enough (2001) (73)
RDFS(FA) and RDF MT: Two Semantics for RDFS (2003) (72)
A Little Semantic Web Goes a Long Way in Biology (2005) (72)
The OWL Instance Store: System Description (2005) (72)
Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm (2015) (72)
Extracting Modules from Ontologies: A Logic-based Approach (2009) (72)
On-To-Knowledge: Semantic Web-Enabled Knowledge Management (2003) (71)
OptiqueVQS: A visual query system over ontologies for industry (2018) (71)
Adding Integrity Constraints to OWL (2007) (70)
Evaluating Mapping Repair Systems with Large Biomedical Ontologies (2013) (70)
Representing ontologies using description logics, description graphs, and rules (2009) (69)
Reasoning with Expressive Description Logics: Theory and Practice (2002) (69)
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences (2007) (68)
Supporting concurrent ontology development: Framework, algorithms and tool (2011) (67)
A Comparison of Query Rewriting Techniques for DL-lite (2009) (66)
Framework for an Automated Comparison of Description Logic Reasoners (2006) (65)
Automated Benchmarking of Description Logic Reasoners (2006) (65)
Deciding Semantic Matching of Stateless Services (2006) (64)
Optique: Towards OBDA Systems for Industry (2013) (64)
Capturing Industrial Information Models with Ontologies and Constraints (2016) (62)
Building a bioinformatics ontology using OIL (2002) (62)
Computational modal logic (2007) (59)
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover (2006) (59)
Implementation and Optimization Techniques (2003) (59)
OptiqueVQS: towards an ontology-based visual query system for big data (2013) (58)
Ontology-Based Integration of Streaming and Static Relational Data with Optique (2016) (57)
Position paper: a comparison of two modelling paradigms in the Semantic Web (2006) (57)
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform (2012) (55)
A Fuzzy Description Logic for Multimedia Knowledge Representation (2005) (55)
Applications of Description Logics: State of the Art and Research Challenges (2005) (55)
Patel-Schneider: OIL: Ontology Infrastructure to Enable the Semantic Web (2001) (55)
Adding formal semantics to the Web: building on top of RDF Schema. (2000) (53)
OWL2Vec*: embedding of OWL ontologies (2020) (53)
OWL Datatypes: Design and Implementation (2008) (53)
Using Semantic Technology to Tame the Data Variety Challenge (2016) (53)
Semantic Web: The Story So Far (2007) (53)
Implementation and Optimisation Techniques (52)
Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data (2013) (52)
OIL: The Ontology Inference Layer (2000) (51)
Combinations of Modal Logics (2002) (51)
A Description Logic Based Schema for the Classification of Medical Data (1996) (51)
An Analysis of Empirical Testing for Modal Decision Procedures (2000) (51)
The OBO to OWL Mapping, GO to OWL 1.1! (2007) (49)
Ontology-based end-user visual query formulation: Why, what, who, how, and which? (2016) (49)
The Description Logic Handbook: OWL: a Description-Logic-Based Ontology Language for the Semantic Web (2007) (48)
Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner (2015) (48)
FaCT and DLP (1998) (46)
The Irresistible SRIQ (2005) (45)
DL Reasoner vs. First-Order Prover (2003) (45)
Web Ontology Reasoning with Datatype Groups (2003) (45)
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions (1999) (44)
The HermiT OWL Reasoner (2012) (43)
Optimising Ontology Classification (2010) (43)
Unions of Conjunctive Queries in SHOQ (2008) (43)
Ordering Heuristics for Description Logic Reasoning (2005) (42)
How Incomplete Is Your Semantic Web Reasoner? (2010) (41)
DL Systems Comparison (1998) (41)
Ontologies and Schema Languages on the Web (2003) (41)
The Generation of DAML+OIL (2001) (40)
Module Extraction in Expressive Ontology Languages via Datalog Reasoning (2016) (40)
Making the most of your triple store: query answering in OWL 2 using an RL reasoner (2013) (40)
Optimized Description Logic Reasoning via Core Blocking (2010) (39)
RODI: Benchmarking relational-to-ontology mapping generation quality (2017) (39)
Optimising Propositional Modal Satisfiability for Description Logic Subsumption (1998) (39)
Computing Stable Models for Nonmonotonic Existential Rules (2013) (38)
Order matters! Harnessing a world of orderings for reasoning over massive data (2013) (37)
Tractable Extensions of the Description Logic EL with Numerical Datatypes (2010) (37)
Towards Analytics Aware Ontology Based Access to Static and Streaming Data (2016) (36)
Introducing Nominals to the Combined Query Answering Approaches for EL (2013) (36)
Description Logics in Ontology Applications (2005) (36)
14 OWL : a Description Logic Based Ontology Language for the Semantic Web (2006) (35)
A Semantic Infosphere (2003) (35)
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice (2014) (35)
Learning Semantic Annotations for Tabular Data (2019) (34)
Acyclicity Conditions and their Application to Query Answering in Description Logics (2012) (34)
Will my Ontologies Fit Together? (2006) (34)
EL-ifying Ontologies (2014) (34)
OWL-E: Extending OWL with Expressive Datatype Expressions (2004) (33)
Computing Datalog Rewritings Beyond Horn Ontologies (2013) (33)
Knowledge-aware Zero-Shot Learning: Survey and Perspective (2021) (33)
Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages (2013) (32)
A PSPACE-algorithm for deciding ALCNIR+-satisfiability (1998) (32)
Privacy-Preserving Query Answering in Logic-based Information Systems (2008) (32)
OILing the way to machine understandable bioinformatics resources (2002) (32)
The Instance Store: Description Logic Reasoning with Large Numbers of Individuals (2004) (32)
Pay-As-You-Go OWL Query Answering Using a Triple Store (2014) (31)
FAQs on OIL: the Ontology Inference Layer (2000) (31)
Knowledge-based Transfer Learning Explanation (2018) (31)
Questions and answers OIL. (2000) (30)
Next Steps for OWL (2006) (30)
Ontology-Based Visual Query Formulation: An Industry Experience (2015) (30)
Optique: OBDA Solution for Big Data (2013) (30)
Reasoning Web. Semantic Technologies for Intelligent Data Access (2013) (30)
KR and Reasoning on the Semantic Web: OWL (2011) (30)
Metalevel Information in Ontology-Based Applications (2008) (29)
Consequence-based and fixed-parameter tractable reasoning in description logics (2014) (29)
Exploiting Partial Information in Taxonomy Construction (2009) (28)
Benchmark Analysis with FaCT (2000) (28)
OWL 2 Web Ontology Language Conformance (Second Edition) (2012) (28)
Digital Libraries and Web-based Information Systems (2003) (28)
Modelling Structured Domains Using Description Graphs and Logic Programming (2012) (28)
DLP and FaCT (1999) (27)
Tackling the Ontology Acquisition Bottleneck: An Experiment in Ontology Re-Engineering (2003) (27)
Survey over Existing Query and Transformation Languages (2004) (27)
Stream Reasoning in Temporal Datalog (2017) (27)
What Are Ontologies Good For (2013) (27)
Conjunctive Query Entailment for SHOQ (2007) (26)
Optique System: towards ontology and mapping management in OBDA solutions (2013) (26)
Optimised Classification for Taxonomic Knowledge Bases (2005) (26)
Comparing Subsumption Optimizations (1998) (25)
Augmenting Ontology Alignment by Semantic Embedding and Distant Supervision (2021) (25)
Distributed RDF Query Answering with Dynamic Data Exchange (2016) (25)
Representing Structured Objects using Description Graphs (2008) (25)
Reasoning in the SHOQ(Dn) Description Logic (2002) (25)
Web Semantics: Science, Services and Agents on the World Wide Web (2008) (25)
A Logical Framework for Modular Integration of Ontologies (2006) (24)
Extending Datatype Support in Web Ontology Reasoning (2002) (24)
Conjunctive Query Answering for Description Logics with Transitive Roles (2006) (24)
The semantic Web -- ISWC 2002 : First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002 : proceedings (2002) (22)
OIL and DAML + OIL: Ontology Languages for the Semantic Web (2003) (22)
Building a Reason-able Bioinformatics Ontology Using OIL (2001) (22)
INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding (2021) (22)
RDFS(FA): A DL-ised Sub-language of RDFS (2003) (21)
A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data (2013) (21)
Building Ontologies Collaboratively Using ContentCVS (2009) (21)
Description Logics with Transitive Roles (1997) (21)
DL Systems Comparison (Summary Relation) (1998) (21)
Semantic Rule-Based Equipment Diagnostics (2017) (21)
LogMap and LogMapLt results for OAEI 2012 (2012) (21)
Individual Reuse in Description Logic Reasoning (2008) (21)
On event-driven knowledge graph completion in digital factories (2017) (21)
A Hypertableau Calculus for SHIQ (2007) (20)
Optique: Ontology-Based Data Access Platform (2015) (20)
Semantic Technologies for Data Analysis in Health Care (2016) (20)
Correcting Knowledge Base Assertions (2020) (20)
An Introduction to Ontology-Based Query Answering with Existential Rules (2019) (20)
Extending Consequence-Based Reasoning to SHIQ (2016) (20)
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures (2017) (20)
Maintenance of datalog materialisations revisited (2019) (20)
Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes (2011) (19)
Complete Query Answering over Horn Ontologies Using a Triple Store (2013) (19)
SemFacet: Making Hard Faceted Search Easier (2017) (19)
Query Containment Using a DLR ABox (1999) (19)
A Fuzzy Extension of SWRL (2005) (19)
Optimisation Techniques for Expressive Description Logics (1997) (19)
Event-Enhanced Learning for KG Completion (2018) (19)
A C OMPARISON OF TWO TERMINOLOGICAL KNOWLEDGE REPRESENTATION SYSTEMS (1995) (19)
Foundations of ontology-based data access under bag semantics (2019) (18)
Rewriting Conjunctive Queries over Description Logic Knowledge Bases (2008) (18)
Enabling semantic access to static and streaming distributed data with optique: demo (2016) (18)
Hybrid Logics and Ontology Languages (2007) (18)
Handling Owl: sameAs via Rewriting (2014) (18)
Reasoning in the SHOQ(D n ) Description Logic. (2002) (18)
A semantic approach to polystores (2016) (18)
The Energy Management Adviser at EDF (2013) (18)
Foundations of Declarative Data Analysis Using Limit Datalog Programs (2017) (17)
OWL Rules, OK? (2005) (17)
Optimisation of Terminological Reasoning (2000) (17)
Entity Comparison in RDF Graphs (2017) (17)
Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems (2013) (16)
Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative (2012) (16)
PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine (2017) (16)
Repairing Ontologies for Incomplete Reasoners (2011) (16)
Knowledge Representation and Reasoning on the Semantic Web : OWL (2010) (16)
Ontology Module Extraction via Datalog Reasoning (2014) (16)
Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation (2014) (15)
Towards the Semantic Enrichment of Free-Text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans (2016) (15)
The Bag Semantics of Ontology-Based Data Access (2017) (15)
Catalogue Integration - A Case Study in Ontology-Based Semantic Translation (2002) (15)
Semantic Access to Siemens Streaming Data: the Optique Way (2015) (15)
Tool Support for Ontology Engineering (2011) (15)
On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems (2012) (14)
Proceedings of the First International Semantic Web Conference on The Semantic Web (2002) (14)
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality (2015) (14)
BootOX: Bootstrapping OWL 2 Ontologies and R2RML Mappings from Relational Databases (2015) (14)
BERTMap: A BERT-based Ontology Alignment System (2021) (14)
Integrating Description Logics and Relational Databases (2006) (14)
Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper) (2013) (14)
The Combined Approach to Query Answering Beyond the OWL 2 Profiles (2015) (14)
MORe: a Modular OWL Reasoner for Ontology Classification (2013) (14)
Querying Distributed RDF Graphs: The Effects of Partitioning (2014) (13)
SemDia: Semantic Rule-Based Equipment Diagnostics Tool (2017) (13)
Ontology Reuse: Better Safe than Sorry (2007) (13)
Pushing the Boundaries of Tractable Ontology Reasoning (2014) (13)
On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper) (2013) (12)
Small Datalog Query Rewritings for EL (2012) (12)
Instance Store Database Support for Reasoning over Individuals (2002) (12)
The Optique Project: Towards OBDA Systems for Industry (Short Paper) (2013) (12)
Driving User Interfaces from FaCT (2000) (12)
Semantic Rules for Machine Diagnostics: Execution and Management (2017) (12)
Answering Queries over OWL Ontologies with SPARQL (2011) (12)
The relation between ontologies and schema languages (2001) (12)
Proceedings of the 25th International Conference on World Wide Web (2016) (11)
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals (2018) (11)
Problems with OWL Syntax (2006) (11)
Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies (1999) (11)
Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach (2013) (11)
A rule-based ontological framework for the classification of molecules (2014) (10)
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions (2018) (10)
Optimised Reasoning for {$\mathcal SHIQ$} (2002) (10)
Trends & controversies - Where are the rules? (2003) (10)
Practical Aspects of Query Rewriting for OWL 2 (2009) (10)
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability (2002) (10)
Application of OWL 1.1 to Systems Engineering (Statement of Interest) (2008) (9)
A Logic-Based Framework for Ontology Modularity (2007) (9)
Query Answering over SROIQ Knowledge Bases with SPARQL (2011) (9)
Low-resource Learning with Knowledge Graphs: A Comprehensive Survey (2021) (9)
Decidability of {$\mathcal SHIQ$} with Complex Role Inclusion Axioms (2003) (9)
Finding Data Should be Easier than Finding Oil (2018) (8)
Ontology-based Tools for Knowledge Management. (2000) (8)
Pra ti al Reasoning for Very Expressive Des ription Logi s (8)
ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool (2009) (8)
Canonicalizing Knowledge Base Literals (2019) (8)
Optimised Maintenance of Datalog Materialisations (2017) (8)
Reasoning with Individuals for the Description Logic (2000) (8)
Handling Cyclic Conjunctive Queries (2005) (8)
Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics (2002) (7)
Modular Combination of Reasoners for Ontology Classification (2012) (7)
Modeling Ontologies using OWL, Description Graphs, and Rules (2008) (7)
Dynamic Data Exchange in Distributed RDF Stores (2018) (7)
Towards a UMLS-based silver standard for matching biomedical ontologies (2010) (7)
Using a Description Logic with Concept Inclusions (1996) (7)
Ontologies' KISSES in standardization (2002) (7)
OIL and UPML: a unifying framework for the Knowledge Web. (2000) (7)
Ranking, Aggregation, and Reachability in Faceted Search with SemFacet (2017) (7)
A Basic Description Logic (2017) (7)
CORBA interface for a DL Classifier (1999) (7)
Stratified Negation in Limit Datalog Programs (2018) (7)
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals (2017) (7)
The Window Validity Problem in Rule-Based Stream Reasoning (2018) (7)
Logic-based Ontology Integration using ContentMap (2009) (7)
Query-Based Entity Comparison in Knowledge Graphs Revisited (2019) (6)
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access (2019) (6)
Matchmaking Using Instance Store : Some Preliminary Results (2003) (6)
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata (2008) (6)
Description logics: OWL and DAML + OIL (2005) (6)
Backtracking and Qualified Number Restrictions: Some Preliminary Results (2002) (6)
An Efficient Index for RDF Query Containment (2019) (6)
Why not simply Google? (2014) (6)
OptiqueVQS: Ontology-Based Visual Querying (2015) (6)
Trust-Sensitive Evolution of DL-Lite Knowledge Bases (2017) (6)
Diagnostics of Trains with Semantic Diagnostics Rules (2018) (6)
Completeness Guarantees for Incomplete Reasoners (2010) (6)
Tool Support for Ontology Design and Quality Assurance (2020) (6)
Reasoning Web. Reasoning on the Web in the Big Data Era (2014) (5)
15 Years of Consequence-Based Reasoning (2019) (5)
Reasoning with expressive description logics: logical foundations for the semantic web (2004) (5)
Ontology-based end-user visual query formulation: Why, what, who, how, and which? (2016) (5)
How incomplete is your semantic web reasoner? systematic analysis of the completeness of query answering systems (2010) (5)
Evaluating a Modular Abox Algorithm (2002) (5)
Efficient Upper Bound Computation of Query Answers in Expressive Description Logics (2012) (5)
OptiqueVQS: Visual Query Formulation for OBDA (2014) (5)
Implementing the Instance Store (2004) (5)
KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction (2016) (5)
Seven Golden Rules for a Web Rule Language (4)
Towards a Logic-based Assessment of the compatibility of UMLS sources (2009) (4)
Modular Materialisation of Datalog Programs (2018) (4)
Filling Gaps in Industrial Knowledge Graphs via Event-Enhanced Embedding (2018) (4)
Scalable ontology-based information systems (2010) (4)
Semantics ⊓ scalability ⊨ ⊥? (2012) (4)
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog (2020) (4)
Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems (2014) (4)
Is my ontology matching system similar to yours? (2013) (4)
Sequoia: A Consequence Based Reasoner for SROIQ (2019) (4)
The delay and window size problems in rule-based stream reasoning (2022) (4)
Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching (2022) (4)
SOMM: Industry Oriented Ontology Management Tool (2016) (4)
PAGOdA: Pay-as-you-go ABox Reasoning (2015) (4)
Semantic Rule-Based Equipment Diagnostic (2017) (4)
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (2014) (4)
Streaming Partitioning of RDF Graphs for Datalog Reasoning (2021) (3)
Performance of DLP on Random Modal Formulae (1999) (3)
Feasibility of Optimised Disjunctive Reasoning for Approximate Matching (1999) (3)
Methods for Approximate Reasoning (2005) (3)
Results of the second evaluation of matching tools (2012) (3)
Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France (1997) (3)
Bag Semantics of DL-Lite with Functionality Axioms (2019) (3)
Chemical knowledge representation with description graphs and logic programming (2011) (3)
Semantic Diagnostics of Smart Factories (2018) (3)
Datalog Reasoning over Compressed RDF Knowledge Bases (2019) (3)
Generating Hard Modal Problems for Modal Decision Procedures (1999) (3)
Pay-as-you-go consequence-based reasoning for the description logic SROIQ (2021) (3)
Scalable Semantic Access to Siemens Static and Streaming Distributed Data (2016) (3)
Contextual semantic embeddings for ontology subsumption prediction (2022) (3)
Matchmarking Using an Instance Store: Some Preliminary Results (2003) (3)
The Rules (2003) (3)
Limit Datalog: A Declarative Query Language for Data Analysis (2019) (3)
Semantic Web (2008) (3)
Formalisms for Representing Ontologies : State of the Art Survey Deliverable TONES-D 06 (2006) (3)
Proceedings of the 25th International Conference Companion on World Wide Web (2016) (3)
Biomedical ontology alignment with BERT (2021) (3)
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi (2008) (3)
The Semantic Web - ISWC 2010 Part II (2010) (2)
Common Framework for Representing Ontologies Deliverable TONES-D 08 (2006) (2)
Handling owl: same as via rewriting (2015) (2)
An assertion and alignment correction framework for large scale knowledge bases (2021) (2)
The ontology-based web inference layer OIL (2000) (2)
Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract) (2018) (2)
Optimised Reasoning for (2002) (2)
D2.5.2 Report on Query Language Design and Standardisation (2005) (2)
Stable Models for Nonmonotonic Existential Rules (2013) (2)
Deciding $\mathcal{SHOQ}^\cap$ Knowledge Base Consistency using Alternating Automata (2008) (2)
Concrete Results on Abstract Rules (2013) (2)
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange (2019) (2)
A Context-Aware Recommendation System for Mobile Devices (2020) (2)
Description Logics Programs : An Evaluation and Extended Translation (2003) (2)
A Simple DL Instance Store (2003) (2)
Classifying Chemicals Using Description Graphs and Logic Programming (2012) (2)
Demo : Enabling Semantic Access to Static and Streaming Distributed Data with Optique ∗ (2016) (2)
Designing a Query Language for the Semantic Web (2003) (1)
Ontology Infrastructure for the Semantic Web Rule Language WonderWeb : Ontology Infrastructure for the Semantic Web (2003) (1)
Grail Semantics (1996) (1)
Ontology-based Query Answering with PAGOdA (2015) (1)
Zero-shot and Few-shot Learning with Knowledge Graphs: A Comprehensive Survey (2021) (1)
D2.5.1 Specification of Coordination of Rule and Ontology Languages (2004) (1)
Semantic Evaluation at Large Scale FP 7 – 238975 D 11 . 1 Evaluation design and collection of test data for advanced reasoning systems (2009) (1)
Box2EL: Concept and Role Box Embeddings for the Description Logic EL++ (2023) (1)
D2.1.2 Methods for Approximate Reasoning (2004) (1)
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling (2013) (1)
Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?") (2004) (1)
Introducing Customised Datatypes and Datatype Predicates into OWL (2005) (1)
Software Tools for Ontology Design and Maintenance Deliverable TONES-D 15 (2007) (1)
ContentMap : A logiC-based ONtology inTEgratioN Tool using MAPpings User Manual (2008) (1)
Poor Air Quality Along the Wasatch Front During Inversions: Role of Road Transportation and Possible Solutions (2021) (1)
Complex Role Inclusion Axioms (1)
Answering Systems in the Semantic Web (2004) (1)
{DL} {R}easoner vs. {F}irst-{O}rder {P}rover (2003) (1)
DAML+OIL Walkthru (2001) (1)
Reasoning in the EL Family of Description Logics (2017) (1)
Ontology-Based Information Systems (2009) (1)
Theoretical Characterization of Signal Diagnostic Processing Language (2018) (1)
Storage and reasoning systems evaluation campaign 2010 (2010) (1)
Answering Conjunctive Queries over DL Aboxes: A Preliminary Report (2000) (1)
HermiT : A Highly-Efficient Reasoner for Description Logics (2008) (1)
Kris (1998) (1)
A rule-based ontological framework for the classification of molecules (2014) (1)
Query Containment Using a DLR ABox Preliminary Version (1999) (1)
Minimal Explanations for Neural Network Predictions (2022) (1)
The Minimal Feature Removal Problem in Neural Networks (2022) (0)
The Complexity and Expressive Power of Limit Datalog (2021) (0)
Proceedings of the ISWC 2013 Posters Demonstrations Track, Sydney, Australia, October 23, 2013 (2013) (0)
EL-ifying Ontologies EL-ifying Ontologies (2020) (0)
Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002 (2002) (0)
3 . 2 Problems with the Seminaı̈ve Evaluation (2018) (0)
WWW conference special issue (2004) (0)
A Little Bit of Model Theory (2017) (0)
A PSPACE-algorithm for deciding (2019) (0)
JoDS volume 2 - Guest editorial (2005) (0)
Why to use this L A T E Xfi le (2005) (0)
The Limits of Datalog Rewritability (2013) (0)
B}uilding a {R}eason-able {B}ioinformatics {O}ntology {U}sing {OIL (2001) (0)
Composing and decomposing ontologies : a logic-based approach — A Case for Support (2006) (0)
Letters to the Journal (2012) (0)
Ontology Languages and Applications (2017) (0)
The Dow Jones Knowledge Graph (2022) (0)
Extending the Combined Approach Beyond Lightweight Description Logics (2015) (0)
The Bag Semantics of Ontology-Based Data (2017) (0)
Semantics ⊓ scalability ⊨ ⊥? (2012) (0)
Answering with Dynamic Data Exchange (2016) (0)
Answering over OWL Ontologies (2011) (0)
Ontology Database SPARQL Query Tests SQL Queries Benchmark Scenario X Candidate System (2017) (0)
Ontology Languages and Engineering (2010) (0)
Towards Explainable Entity Matching via Comparison Queries (2019) (0)
D 1 . 3 . 8 / D 2 . 5 . 7 User Syntaxes for Ontology Languages (2008) (0)
Answering Systems in the Semantic Web Birte Glimm (2004) (0)
Language Model Analysis for Ontology Subsumption Inference (2023) (0)
Description Logics with n-ary Relations (0)
Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking (2023) (0)
OIL : A Language for Representing and Sharing Ontologies (0)
Preface: Lecture Notes in Computer Science (2017) (0)
Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 (2005) (0)
Knowledge Graphs: Theory, Applications and Challenges (2021) (0)
Editorial: World Wide Web Conference 2003 (2012) (0)
Contents of Volume 17 (2004) (0)
FaCT (2022) (0)
Bagging the DL-Lite Family Further (2019) (0)
Classification Models ( CNNs ) Synthetic Columns ( Particular & General Samples ) Predict & Ensemble Lookup Entity Columns Word Representation (2018) (0)
D B ] 2 0 N ov 2 01 7 Optimised Maintenance of Datalog Materialisations (0)
Optimised Ontology Classification (2010) (0)
Ja n 20 12 A Description Logic Primer ∗ (2012) (0)
Optimized DL Reasoning via Core Blocking (2010) (0)
Chair for Automata Theory LTCS – Report Keys , Nominals , and Concrete Domains (2002) (0)
Cardinality-Minimal Explanations for Monotonic Neural Networks (2022) (0)
Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy - Extended Abstract (2021) (0)
Handling owl : sameAs in RDFox via Rewriting (2014) (0)
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005 (2006) (0)
Reasoning in DLs with Tableau Algorithms (2017) (0)
Towards the Creation of the Cardiovascular Magnetic Resonance Quality Assessment Ontology (CMR-QA) (2016) (0)
RSAComb: Combined Approach for CQ Answering in RSA (2021) (0)
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (2010) (0)
Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users (2015) (0)
Logic for Ontology Engineering Corner (2007) (0)
OptiqueVQS (2013) (0)
Computing CQ lower-bounds over OWL 2 through approximation to RSA - Extended Abstract (2021) (0)
Tasks for Ontology Access , Processing , and Usage Deliverable TONES-D 10 (2006) (0)
Ontology-based Visual Querying with OptiqueVQS : Statoil and Siemens Cases ? (2016) (0)
Report on the 1998 International Workshop on Description Logics (DL'98) (1999) (0)
Mv-Index: An Efficient Index for Graph-Query Containment (2019) (0)
Correcting Assertions and Alignments of Large Scale Knowledge Bases (2021) (0)
Which Is the Tallest Building in Europe? Representing and Reasoning About Knowledge (2018) (0)
D2.5.5 Next Steps for OWL (2006) (0)
Chapter 6 Scalable End-user Access to Big Data (2013) (0)
A Des ription Logi Based S hema for the Classi ation of Medi al Data (1996) (0)
Using a Des ription Logi with Con ept In lusions (2008) (0)
9 Implementation and Optimisation Techniques (2002) (0)
Beazley: a new storage systems evaluation (2010) (0)
HermiT: An OWL 2 Reasoner (2014) (0)

This paper list is powered by the following services:

Other Resources About Ian Horrocks

What Schools Are Affiliated With Ian Horrocks?

Ian Horrocks is affiliated with the following schools:

Ian Horrocks's Academic­Influence.com Rankings