Search filters

List of works by Ian R. Horrocks

$\mathcal{EL}$ -ifying Ontologies

4 Computational modal logic

A Context-Aware Recommendation System for Mobile Devices

scientific article published in proceedings of the iswc 2020 demos and industry tracks: from novel ideas to industrial practice

A Little Semantic Web Goes a Long Way in Biology

article by K. Wolstencroft et al published 2005 in Lecture Notes in Computer Science

A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data

A Semantic Infosphere

scientific article published in ISWC 2003

A Tableau Decision Procedure for $\mathcal{SHOIQ}$

A comparison of two modelling paradigms in the Semantic Web

A novel approach to ontology classification

A rule-based ontological framework for the classification of molecules

scientific article

A software framework for matchmaking based on semantic web technology

Bag Semantics of DL-Lite with Functionality Axioms

scientific article published at ISWC 2019

Benchmark Analysis with FaCT

BootOX: Bootstrapping OWL 2 Ontologies and R2RML Mappings from Relational Databases

scientific article published in proceedings of the iswc 2015 posters & demonstrations track

BootOX: Practical Mapping of RDBs to OWL 2

scientific article published at ISWC 2015

Bridging the gap between OWL and relational databases

Bridging the gap between OWL and relational databases

Building a bioinformatics ontology using OIL.

scientific article published on June 2002

Can OWL and Logic Programming Live Together Happily Ever After?

scientific article published in ISWC 2006

Canonicalizing Knowledge Base Literals

scientific article published at ISWC 2019

Capturing Industrial Information Models with Ontologies and Constraints

scientific article published at ISWC 2016

Chapter 3 Description Logics

Chemical knowledge representation with description graphs and logic programming

scholarly article by Despoina Magka et al published 2012 in Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences - SWAT4LS '11

Children's magic won't deliver the semantic web

Combinations of Modal Logics

Complete Query Answering over Horn Ontologies Using a Triple Store

scientific article published at ISWC 2013

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

article by B. Cuenca Grau et al published 29 March 2012 in Journal of Artificial Intelligence Research

Completeness Guarantees for Incomplete Reasoners

article by Giorgos Stoilos et al published 2010 in Lecture Notes in Computer Science

Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA

a scientific article published at ISWC 2021.

Computing CQ lower-bounds over OWL 2 through approximation to RSA - Extended Abstract

scientific article published in proceedings of the iswc 2021 posters, demos and industry tracks: from novel ideas to industrial practice

Concrete Results on Abstract Rules

Consequence-based and fixed-parameter tractable reasoning in description logics

Contextual Semantic Embeddings for Ontology Subsumption Prediction ⬇️

DAML+OIL: A Reason-Able Web Ontology Language

article by Ian R. Horrocks published 2002 in Lecture Notes in Computer Science

DLP and FaCT

Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange

scientific article published at ISWC 2019

Decidability of SHIQ with complex role inclusion axioms

Delta-reasoner

scholarly article published 2012

Description Logics

Description Logics in Ontology Applications

Description Logics in Ontology Applications

Description logic programs

Distributed RDF Query Answering with Dynamic Data Exchange

scientific article published at ISWC 2016

Dual Box Embeddings for the Description Logic EL <sup>++</sup>

scientific article published on 08 May 2024

Efficient Query Answering for OWL 2

Enabling knowledge representation on the Web by extending RDF Schema

Enabling semantic access to static and streaming distributed data with optique

Entity Comparison in RDF Graphs

scientific article published at ISWC 2017

Event-Enhanced Learning for KG Completion

scientific article published in 2018

Evolution of Semantic Systems

Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users

Exploiting Partial Information in Taxonomy Construction

article by Rob Shearer & Ian R. Horrocks published 2009 in Lecture Notes in Computer Science

Exploring Large Language Models for Ontology Alignment

scientific article published in proceedings of the iswc 2023 posters, demos and industry tracks: from novel ideas to industrial practice

Extracting Modules from Ontologies: A Logic-Based Approach

Feasibility of Optimised Disjunctive Reasoning for Approximate Matching

article by Ian R. Horrocks et al published 1999 in Lecture Notes in Computer Science

Filling Gaps in Industrial Knowledge Graphs via Event-Enhanced Embedding

scientific article published in proceedings of the iswc 2018 posters & demonstrations, industry and blue sky ideas tracks

Framework for an Automated Comparison of Description Logic Reasoners

scientific article published in ISWC 2006

From SHIQ and RDF to OWL: the making of a Web Ontology Language

scientific article published on December 2003

HermiT: An OWL 2 Reasoner

article by Birte Glimm et al published 23 May 2014 in Journal of Automated Reasoning

Hybrid Logics and Ontology Languages

Hypertableau Reasoning for Description Logics

Individual Reuse in Description Logic Reasoning

Just the right amount

KR and Reasoning on the Semantic Web: OWL

KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction

scientific article published in proceedings of the iswc 2016 posters & demonstrations track

Logic for Ontology Engineering Corner

Logic-based assessment of the compatibility of UMLS ontology sources

scientific article

MORe: Modular Combination of OWL Reasoners for Ontology Classification

scientific article published at ISWC 2012

Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching.

a research paper published at ISWC 2022.

Modelling Structured Domains Using Description Graphs and Logic Programming

article published in 2012

Mv-Index: An Efficient Index for Graph-Query Containment

scientific article published in proceedings of the iswc 2019 satellite tracks (posters & demonstrations, industry, and outrageous ideas)

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences

scientific article (publication date: 2007)

OIL: an ontology infrastructure for the Semantic Web

OILing the way to machine understandable bioinformatics resources

scientific article published on June 2002

OWL 2: The next step for OWL

article by Bernardo Cuenca Grau et al published November 2008 in Journal of Web Semantics

OWL Datatypes: Design and Implementation

scientific article published in ISWC 2008

OWL FA

OWL rules: A proposal and prototype implementation

OWL-Eu: Adding customised datatypes into OWL

article published in 2006

OWL-QL—a language for deductive query answering on the Semantic Web

scientific article (publication date: December 2004)

OWL: A Description Logic Based Ontology Language

OilEd: A Reason-able Ontology Editor for the Semantic Web

scientific article (publication date: 2001)

Ontologies and the semantic web

Ontology Based Access to Exploration Data at Statoil

article by Evgeny Kharlamov et al published 2015 in Lecture Notes in Computer Science

Ontology Enrichment from Texts: A Biomedical Dataset for Concept Discovery and Placement

scientific article published on 21 October 2023

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences

article

Ontology-Based Integration of Streaming and Static Relational Data with Optique

Ontology-Based Visual Query Formulation: An Industry Experience

Ontology-based end-user visual query formulation: Why, what, who, how, and which?

Ontology-based knowledge management

Optimising Ontology Classification

article by Birte Glimm et al published 2010 in Lecture Notes in Computer Science

Optimized Description Logic Reasoning via Core Blocking

Optimizing Terminological Reasoning for Expressive Description Logics

Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages

scientific article published in proceedings of the iswc 2013 posters & demonstrations track

Optique: OBDA Solution for Big Data

Optique: Ontology-Based Data Access Platform

scientific article published in proceedings of the iswc 2015 posters & demonstrations track

Optique: Towards OBDA Systems for Industry

OptiqueVQS

Position paper

scholarly article published 2006

Publishing the Norwegian Petroleum Directorate’s FactPages as Semantic Web Data

article by Martin G. Skjæveland et al published 2013 in Lecture Notes in Computer Science

Pushing the Boundaries of Tractable Ontology Reasoning

scientific article published at ISWC 2014

Query-Based Entity Comparison in Knowledge Graphs Revisited

scientific article published at ISWC 2019

Querying the Semantic Web: A Formal Approach

scientific article published in ISWC 2002

RDFS(FA) and RDF MT: Two Semantics for RDFS

scientific article published in ISWC 2003

RDFS(FA): Connecting RDF(S) and OWL DL

RDFox: A Highly-Scalable RDF Store

article

RODI: Benchmarking relational-to-ontology mapping generation quality

Ranking, Aggregation, and Reachability in Faceted Search with SemFacet

scientific article published in proceedings of the iswc 2017 posters & demonstrations and industry tracks

Reasoning Support for Expressive Ontology Languages Using a Theorem Prover

Reducing OWL Entailment to Description Logic Satisfiability

scientific article published in ISWC 2003

Reducing OWL entailment to description logic satisfiability

Repairing Ontologies for Incomplete Reasoners

article by Giorgos Stoilos et al published 2011 in Lecture Notes in Computer Science

Representing ontologies using description logics, description graphs, and rules

Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking

scientific article published on 21 October 2023

SOMM: Industry Oriented Ontology Management Tool

scientific article published in proceedings of the iswc 2016 posters & demonstrations track

SPARQL Query Answering over OWL Ontologies

Scalable Semantic Access to Siemens Static and Streaming Distributed Data

scientific article published in proceedings of the iswc 2016 posters & demonstrations track

Semantic Access to Siemens Streaming Data: the Optique Way

scientific article published in proceedings of the iswc 2015 posters & demonstrations track

Semantic Rule-Based Equipment Diagnostics

scientific article published at ISWC 2017

Semantic Technologies for Data Analysis in Health Care

article

Semantic Web Architecture: Stack or Two Towers?

Semantic web

2007 scholarly article

Semantics ⊓ scalability ⊨ ⊥?

Subsumption Prediction for E-Commerce Taxonomies

Supporting concurrent ontology development: Framework, algorithms and tool

article

The Energy Management Adviser at EDF

scientific article published at ISWC 2013

The GRAIL concept modelling language for medical terminology

scientific article

The Semantic Web: the roles of XML and RDF

researcher, Semantic Web

The semantic Web and its languages

Three theses of representation in the semantic web

Tool Support for Ontology Engineering

Towards Analytics Aware Ontology Based Access to Static and Streaming Data

scientific article published at ISWC 2016

Towards the Semantic Enrichment of Free-Text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans

article published in 2016

Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes

Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes

Tractable query answering and rewriting under description logic constraints

Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy

a scientific article published at ISWC 2021.

Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy - Extended Abstract

scientific article published in proceedings of the iswc 2021 posters, demos and industry tracks: from novel ideas to industrial practice

Using Semantic Technology to Tame the Data Variety Challenge

Using Vampire to Reason with OWL

scientific article published in ISWC 2004

WWW conference special issue

Web Ontology Reasoning with Datatype Groups

scientific article published in ISWC 2003

Why not simply Google?

scholarly article published 2014

Paulina is supported by:

About Paulina

Help