Ian Horrocks

According to our database1, Ian Horrocks authored at least 370 papers between 1996 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Datalog Reasoning over Compressed RDF Knowledge Bases.
CoRR, 2019

Canonicalizing Knowledge Base Literals.
CoRR, 2019

Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange.
CoRR, 2019

Learning Semantic Annotations for Tabular Data.
CoRR, 2019

Foundations of ontology-based data access under bag semantics.
Artif. Intell., 2019

Maintenance of datalog materialisations revisited.
Artif. Intell., 2019

An Efficient Index for RDF Query Containment.
Proceedings of the 2019 International Conference on Management of Data, 2019

Mv-Index: An Efficient Index for Graph-Query Containment.
Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning Semantic Annotations for Tabular Data.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Sequoia: A Consequence Based Reasoner for SROIQ.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Bagging the DL-Lite Family Further.
Proceedings of the 32nd International Workshop on Description Logics, 2019

15 Years of Consequence-Based Reasoning.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Modular Materialisation of Datalog Programs.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

ColNet: Embedding the Semantics of Web Tables for Column Type Prediction.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Dynamic Data Exchange in Distributed RDF Stores.
IEEE Trans. Knowl. Data Eng., 2018

OptiqueVQS: A visual query system over ontologies for industry.
Semantic Web, 2018

RODI: Benchmarking relational-to-ontology mapping generation quality.
Semantic Web, 2018

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.
J. Artif. Intell. Res., 2018

Modular Materialisation of Datalog Programs.
CoRR, 2018

ColNet: Embedding the Semantics of Web Tables for Column Type Prediction.
CoRR, 2018

The Window Validity Problem in Rule-Based Stream Reasoning.
CoRR, 2018

Knowledge-based Transfer Learning Explanation.
CoRR, 2018

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.
CoRR, 2018

Stratified Negation in Limit Datalog Programs.
CoRR, 2018

Which Is the Tallest Building in Europe? Representing and Reasoning About Knowledge.
Proceedings of the Information Management and Big Data, 5th International Conference, 2018

Filling Gaps in Industrial Knowledge Graphs via Event-Enhanced Embedding.
Proceedings of the ISWC 2018 Posters & Demonstrations, 2018

The Window Validity Problem in Rule-Based Stream Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Knowledge-Based Transfer Learning Explanation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Semantic Diagnostics of Smart Factories.
Proceedings of the Semantic Technology - 8th Joint International Conference, 2018

Diagnostics of Trains with Semantic Diagnostics Rules.
Proceedings of the Inductive Logic Programming - 28th International Conference, 2018

Stratified Negation in Limit Datalog Programs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Event-Enhanced Learning for KG Completion.
Proceedings of the Semantic Web - 15th International Conference, 2018

Theoretical Characterization of Signal Diagnostic Processing Language.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Finding Data Should be Easier than Finding Oil.
Proceedings of the IEEE International Conference on Big Data, 2018

Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract).
Proceedings of the IEEE International Conference on Big Data, 2018

Stream Reasoning in Temporal Datalog.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Optimised Maintenance of Datalog Materialisations.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Ontology-based end-user visual query formulation: Why, what, who, how, and which?
Universal Access in the Information Society, 2017

Stream Reasoning in Temporal Datalog.
CoRR, 2017

Optimised Maintenance of Datalog Materialisations.
CoRR, 2017

The Bag Semantics of Ontology-Based Data Access.
CoRR, 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs.
CoRR, 2017

Entity Comparison in RDF Graphs.
Proceedings of the Semantic Web - ISWC 2017, 2017

Semantic Rule-Based Equipment Diagnostic.
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

Semantic Rule-Based Equipment Diagnostics.
Proceedings of the Semantic Web - ISWC 2017, 2017

Ranking, Aggregation, and Reachability in Faceted Search with SemFacet.
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

The Bag Semantics of Ontology-Based Data Access.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine.
Proceedings of the Fifth International Workshop on Graph Data-management Experiences & Systems, 2017

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals.
Proceedings of the 30th International Workshop on Description Logics, 2017

SemDia: Semantic Rule-Based Equipment Diagnostics Tool.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Semantic Rules for Machine Diagnostics: Execution and Management.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

SemFacet: Making Hard Faceted Search Easier.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

On event-driven knowledge graph completion in digital factories.
Proceedings of the 2017 IEEE International Conference on Big Data, BigData 2017, 2017

Trust-Sensitive Evolution of DL-Lite Knowledge Bases.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

An Introduction to Description Logic.
Cambridge University Press, ISBN: 978-0-521-69542-8, 2017

2016
Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users.
Universal Access in the Information Society, 2016

Module Extraction in Expressive Ontology Languages via Datalog Reasoning.
J. Artif. Intell. Res., 2016

Using Semantic Technology to Tame the Data Variety Challenge.
IEEE Internet Computing, 2016

Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version).
CoRR, 2016

Extending Consequence-Based Reasoning to SRIQ.
CoRR, 2016

Towards the Creation of the Cardiovascular Magnetic Resonance Quality Assessment Ontology (CMR-QA).
Proceedings of the 9th International Conference Semantic Web Applications and Tools for Life Sciences, 2016

Ontology-Based Integration of Streaming and Static Relational Data with Optique.
Proceedings of the 2016 International Conference on Management of Data, 2016

KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Distributed RDF Query Answering with Dynamic Data Exchange.
Proceedings of the Semantic Web - ISWC 2016, 2016

Semantic Technologies for Data Analysis in Health Care.
Proceedings of the Semantic Web - ISWC 2016, 2016

Towards Analytics Aware Ontology Based Access to Static and Streaming Data.
Proceedings of the Semantic Web - ISWC 2016, 2016

Capturing Industrial Information Models with Ontologies and Constraints.
Proceedings of the Semantic Web - ISWC 2016, 2016

SOMM: Industry Oriented Ontology Management Tool.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Scalable Semantic Access to Siemens Static and Streaming Distributed Data.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Towards the Semantic Enrichment of Free-Text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans.
Proceedings of the Deep Learning and Data Labeling for Medical Applications, 2016

Extending Consequence-Based Reasoning to SRIQ.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Ontology Module Extraction via Datalog Reasoning.
Proceedings of the 29th International Workshop on Description Logics, 2016

Enabling semantic access to static and streaming distributed data with optique: demo.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016


2015
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner.
J. Artif. Intell. Res., 2015

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.
CoRR, 2015

OptiqueVQS: Ontology-Based Visual Querying.
Proceedings of the International Workshop on Visualizations and User Interfaces for Ontologies and Linked Data co-located with 14th International Semantic Web Conference (ISWC 2015), 2015

RDFox: A Highly-Scalable RDF Store.
Proceedings of the Semantic Web - ISWC 2015, 2015

Optique: Ontology-Based Data Access Platform.
Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

Ontology Based Access to Exploration Data at Statoil.
Proceedings of the Semantic Web - ISWC 2015, 2015

Semantic Access to Siemens Streaming Data: the Optique Way.
Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

BootOX: Bootstrapping OWL 2 Ontologies and R2RML Mappings from Relational Databases.
Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

BootOX: Practical Mapping of RDBs to OWL 2.
Proceedings of the Semantic Web - ISWC 2015, 2015

Ontology-based Query Answering with PAGOdA.
Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), 2015

Ontology-Based Visual Query Formulation: An Industry Experience.
Proceedings of the Advances in Visual Computing - 11th International Symposium, 2015

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Combined Approach to Query Answering Beyond the OWL 2 Profiles.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

PAGOdA: Pay-as-you-go ABox Reasoning.
Proceedings of the 28th International Workshop on Description Logics, 2015

Extending the Combined Approach Beyond Lightweight Description Logics.
Proceedings of the 28th International Workshop on Description Logics, 2015

Extending Consequence-Based Reasoning to SHIQ.
Proceedings of the 28th International Workshop on Description Logics, 2015

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Handling Owl: sameAs via Rewriting.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
HermiT: An OWL 2 Reasoner.
J. Autom. Reasoning, 2014

Description Logics.
IEEE Intelligent Systems, 2014

Ontology Module Extraction via Datalog Reasoning.
CoRR, 2014

Hypertableau Reasoning for Description Logics.
CoRR, 2014

Handling owl: sameAs via Rewriting.
CoRR, 2014

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
CoRR, 2014

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
CoRR, 2014

A rule-based ontological framework for the classification of molecules.
J. Biomedical Semantics, 2014

Consequence-based and fixed-parameter tractable reasoning in description logics.
Artif. Intell., 2014

Querying Distributed RDF Graphs: The Effects of Partitioning.
Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 13th International Semantic Web Conference (ISWC 2014), 2014

Pushing the Boundaries of Tractable Ontology Reasoning.
Proceedings of the Semantic Web - ISWC 2014, 2014

Why not simply Google?
Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, 2014

Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation.
Proceedings of the Metadata and Semantics Research - 8th Research Conference, 2014

Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

OptiqueVQS: Visual Query Formulation for OBDA.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

EL-ifying Ontologies.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Pay-As-You-Go OWL Query Answering Using a Triple Store.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Order matters! Harnessing a world of orderings for reasoning over massive data.
Semantic Web, 2013

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
J. Artif. Intell. Res., 2013

Computing Datalog Rewritings beyond Horn Ontologies
CoRR, 2013

Introducing Nominals to the Combined Query Answering Approaches for EL
CoRR, 2013

Making the most of your triple store: query answering in OWL 2 using an RL reasoner.
Proceedings of the 22nd International World Wide Web Conference, 2013

Complete Query Answering over Horn Ontologies Using a Triple Store.
Proceedings of the Semantic Web - ISWC 2013, 2013

Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data.
Proceedings of the Semantic Web - ISWC 2013, 2013


Is my ontology matching system similar to yours?
Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013

LogMap and LogMapLt results for OAEI 2013.
Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013

The Energy Management Adviser at EDF.
Proceedings of the Semantic Web - ISWC 2013, 2013

Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper).
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems.
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper).
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

The Optique Project: Towards OBDA Systems for Industry (Short Paper).
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

MORe: a Modular OWL Reasoner for Ontology Classification.
Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data.
Proceedings of the Metadata and Semantics Research - 7th Research Conference, 2013

OptiqueVQS: towards an ontology-based visual query system for big data.
Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems, 2013

Concrete Results on Abstract Rules.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Computing Stable Models for Nonmonotonic Existential Rules.
Proceedings of the IJCAI 2013, 2013

Computing Datalog Rewritings Beyond Horn Ontologies.
Proceedings of the IJCAI 2013, 2013


Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach.
Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining Meets Linked Open Data, 2013

Optique System: towards ontology and mapping management in OBDA solutions.
Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mappings, 2013


Introducing Nominals to the Combined Query Answering Approaches for EL.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Evaluating Mapping Repair Systems with Large Biomedical Ontologies.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
A novel approach to ontology classification.
J. Web Semant., 2012

Semantics ⊓ scalability ⊨ ⊥?
Journal of Zhejiang University - Science C, 2012

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
J. Artif. Intell. Res., 2012

A Description Logic Primer
CoRR, 2012

Delta-reasoner: a semantic web reasoner for an intelligent mobile platform.
Proceedings of the 21st World Wide Web Conference, 2012

Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative.
Proceedings of the 2nd International Workshop on Exploiting Large Knowledge Repositories, 2012

MORe: Modular Combination of OWL Reasoners for Ontology Classification.
Proceedings of the Semantic Web - ISWC 2012, 2012

LogMap and LogMapLt results for OAEI 2012.
Proceedings of the 7th International Workshop on Ontology Matching, 2012

Classifying Chemicals Using Description Graphs and Logic Programming.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems.
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

The HermiT OWL Reasoner.
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Acyclicity Conditions and their Application to Query Answering in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Large-scale Interactive Ontology Matching: Algorithms and Implementation.
Proceedings of the ECAI 2012, 2012

Efficient Upper Bound Computation of Query Answers in Expressive Description Logics.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Small Datalog Query Rewritings for EL.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Modular Combination of Reasoners for Ontology Classification.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Modelling Structured Domains Using Description Graphs and Logic Programming.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
KR and Reasoning on the Semantic Web: OWL.
Proceedings of the Handbook of Semantic Web Technologies, 2011

Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes.
J. Autom. Reasoning, 2011

Supporting concurrent ontology development: Framework, algorithms and tool.
Data Knowl. Eng., 2011

Conjunctive Query Answering for the Description Logic SHIQ
CoRR, 2011

Reasoning with Very Expressive Fuzzy Description Logics
CoRR, 2011

Logic-based assessment of the compatibility of UMLS ontology sources.
J. Biomedical Semantics, 2011

Chemical knowledge representation with description graphs and logic programming.
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, 2011

Repairing Ontologies for Incomplete Reasoners.
Proceedings of the Semantic Web - ISWC 2011, 2011

Answering Queries over OWL Ontologies with SPARQL.
Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), 2011

Consequence-Based Reasoning beyond Horn Ontologies.
Proceedings of the IJCAI 2011, 2011

SPARQL Query Answering over OWL Ontologies.
Proceedings of the Semantic Web: Research and Applications, 2011

Query Answering over SROIQ Knowledge Bases with SPARQL.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Tool Support for Ontology Engineering.
Proceedings of the Foundations for the Web of Information and Services, 2011

2010
Tractable query answering and rewriting under description logic constraints.
J. Applied Logic, 2010

Storage and reasoning systems evaluation campaign 2010.
Proceedings of the International Workshop on Evaluation of Semantic Technologies (IWEST 2010), 2010

Beazley: a new storage systems evaluation.
Proceedings of the International Workshop on Evaluation of Semantic Technologies (IWEST 2010), 2010

Completeness Guarantees for Incomplete Reasoners.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Towards a UMLS-based silver standard for matching biomedical ontologies.
Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

Optimising Ontology Classification.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Ontology Languages and Engineering.
Proceedings of the Knowledge Science, 2010

Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Scalable ontology-based information systems.
Proceedings of the EDBT 2010, 2010

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Optimized DL Reasoning via Core Blocking.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

Optimized Description Logic Reasoning via Core Blocking.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

How Incomplete Is Your Semantic Web Reasoner?
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Bridging the gap between OWL and relational databases.
J. Web Semant., 2009

Hypertableau Reasoning for Description Logics.
J. Artif. Intell. Res., 2009

Representing ontologies using description logics, description graphs, and rules.
Artif. Intell., 2009

Towards a Logic-based Assessment of the compatibility of UMLS sources.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

Exploiting Partial Information in Taxonomy Construction.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Efficient Query Answering for OWL 2.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Practical Aspects of Query Rewriting for OWL 2.
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Logic-based Ontology Integration using ContentMap.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences.
Proceedings of the Semantic Web: Research and Applications, 2009

Exploiting Partial Information in Taxonomy Construction.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

A Comparison of Query Rewriting Techniques for DL-lite.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Building Ontologies Collaboratively Using ContentCVS.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Semantic Web.
Proceedings of the Web Accessibility - A Foundation for Research, 2008

OWL 2: The next step for OWL.
J. Web Semant., 2008

Modular Reuse of Ontologies: Theory and Practice.
J. Artif. Intell. Res., 2008

Conjunctive Query Answering for the Description Logic SHIQ.
J. Artif. Intell. Res., 2008

Ontologies and the semantic web.
Commun. ACM, 2008

OWL Datatypes: Design and Implementation.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Rewriting Conjunctive Queries over Description Logic Knowledge Bases.
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

HermiT: A Highly-Efficient OWL Reasoner.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Modeling Ontologies using OWL, Description Graphs, and Rules.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Application of OWL 1.1 to Systems Engineering (Statement of Interest).
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Representing Structured Objects using Description Graphs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Unions of Conjunctive Queries in SHOQ.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Privacy-Preserving Query Answering in Logic-based Information Systems.
Proceedings of the ECAI 2008, 2008

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Individual Reuse in Description Logic Reasoning.
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Metalevel Information in Ontology-Based Applications.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
A comparison of two modelling paradigms in the Semantic Web.
J. Web Semant., 2007

RDFS(FA): Connecting RDF(S) and OWL DL.
IEEE Trans. Knowl. Data Eng., 2007

Logic for Ontology Engineering Corner.
J. Log. Comput., 2007

Optimizing Terminological Reasoning for Expressive Description Logics.
J. Autom. Reasoning, 2007

A Tableau Decision Procedure for SHOIQ.
J. Autom. Reasoning, 2007

Reasoning with Very Expressive Fuzzy Description Logics.
J. Artif. Intell. Res., 2007

Hybrid Logics and Ontology Languages.
Electr. Notes Theor. Comput. Sci., 2007

Bridging the gap between OWL and relational databases.
Proceedings of the 16th International Conference on World Wide Web, 2007

Just the right amount: extracting modules from ontologies.
Proceedings of the 16th International Conference on World Wide Web, 2007

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences.
Proceedings of the Semantic Web, 2007

Adding Integrity Constraints to OWL.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

Extracting Modules from Ontologies: A Logic-based Approach.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

The OBO to OWL Mapping, GO to OWL 1.1!
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

A Logical Framework for Modularity of Ontologies.
Proceedings of the IJCAI 2007, 2007

Conjunctive Query Answering for the Description Logic SHIQ.
Proceedings of the IJCAI 2007, 2007

Semantic Web: The Story So Far.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

A Hypertableau Calculus for SHIQ.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Ontology Reuse: Better Safe than Sorry.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Conjunctive Query Entailment for SHOQ.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Optimized Reasoning in Description Logics Using Hypertableaux.
Proceedings of the Automated Deduction, 2007

Computational modal logic.
Proceedings of the Handbook of Modal Logic., 2007

2006
OWL-Eu: Adding customised datatypes into OWL.
J. Web Semant., 2006

f-SWRL: A Fuzzy Extension of SWRL.
, 2006

Position paper: a comparison of two modelling paradigms in the Semantic Web.
Proceedings of the 15th international conference on World Wide Web, 2006

OWL FA: a metamodeling extension of OWL D.
Proceedings of the 15th international conference on World Wide Web, 2006

Can OWL and Logic Programming Live Together Happily Ever After?
Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Framework for an Automated Comparison of Description Logic Reasoners.
Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Problems with OWL Syntax.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

Next Steps for OWL.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

The Even More Irresistible SROIQ.
Proceedings of the Proceedings, 2006

Reasoning Support for Expressive Ontology Languages Using a Theorem Prover.
Proceedings of the Foundations of Information and Knowledge Systems, 2006

Will my Ontologies Fit Together?
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Conjunctive Query Answering for Description Logics with Transitive Roles.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Automated Benchmarking of Description Logic Reasoners.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

FaCT++ Description Logic Reasoner: System Description.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Deciding Semantic Matching of Stateless Services.
Proceedings of the Proceedings, 2006

2005
OWL rules: A proposal and prototype implementation.
J. Web Semant., 2005

Keys, Nominals, and Concrete Domains.
J. Artif. Intell. Res., 2005

A Fuzzy Extension of SWRL.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

OWL Rules, OK?
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Description Logics in Ontology Applications.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

A Little Semantic Web Goes a Long Way in Biology.
Proceedings of the Semantic Web, 2005

The Fuzzy Description Logic f-SHIN.
Proceedings of the International Semantic Web Conference, 2005

Semantic Web Architecture: Stack or Two Towers?.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Fuzzy OWL: Uncertainty and the Semantic Web.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

OWL FA: A Metamodeling Extension of OWL DL.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Introducing Customised Datatypes and Datatype Predicates into OWL.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

The Irresistible SRIQ.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Ordering Heuristics for Description Logic Reasoning.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A Tableaux Decision Procedure for SHOIQ.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Applications of Description Logics: State of the Art and Research Challenges.
Proceedings of the Conceptual Structures: Common Semantics for Sharing Knowledge, 2005

f-SWRL: A Fuzzy Extension of SWRL.
Proceedings of the Artificial Neural Networks: Formal Models and Their Applications, 2005

OWL-Eu: Adding Customised Datatypes into OWL.
Proceedings of the Semantic Web: Research and Applications, 2005

Optimised Classification for Taxonomic Knowledge Bases.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Handling Cyclic Conjunctive Queries.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

OWL: A Description Logic Based Ontology Language.
Proceedings of the Principles and Practice of Constraint Programming, 2005

The OWL Instance Store: System Description.
Proceedings of the Automated Deduction, 2005

Description Logics as Ontology Languages for the Semantic Web.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
Reducing OWL entailment to description logic satisfiability.
J. Web Semant., 2004

WWW conference special issue.
J. Web Semant., 2004

OWL-QL - a language for deductive query answering on the Semantic Web.
J. Web Semant., 2004

A Software Framework for Matchmaking Based on Semantic Web Technology.
Int. J. Electronic Commerce, 2004

Decidability of SHIQ with complex role inclusion axioms.
Artif. Intell., 2004

A proposal for an owl rules language.
Proceedings of the 13th international conference on World Wide Web, 2004

Using Vampire to Reason with OWL.
Proceedings of the Semantic Web, 2004

Efficient Reasoning with Range and Domain Constraints.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?").
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

The Instance Store: DL Reasoning with Large Numbers of Individuals.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Description Logics.
Proceedings of the Handbook on Ontologies, 2004

2003
From SHIQ and RDF to OWL: the making of a Web Ontology Language.
J. Web Semant., 2003

Where Are the Rules?
IEEE Intelligent Systems, 2003

A software framework for matchmaking based on semantic web technology.
Proceedings of the Twelfth International World Wide Web Conference, 2003

Three theses of representation in the semantic web.
Proceedings of the Twelfth International World Wide Web Conference, 2003

Description logic programs: combining logic programs with description logic.
Proceedings of the Twelfth International World Wide Web Conference, 2003


Web Ontology Reasoning with Datatype Groups.
Proceedings of the Semantic Web, 2003

RDFS(FA) and RDF MT: Two Semantics for RDFS.
Proceedings of the Semantic Web, 2003

Reducing OWL Entailment to Description Logic Satisfiability.
Proceedings of the Semantic Web, 2003

Keys, Nominals, and Concrete Domains.
Proceedings of the IJCAI-03, 2003

Decidability of SHIQ with Complex Role Inclusion Axioms.
Proceedings of the IJCAI-03, 2003

DL Reasoner vs. First-Order Prover.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

RDFS(FA): A DL-ised Sub-language of RDFS.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Matchmarking Using an Instance Store: Some Preliminary Results.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Reducing OWL Entailment to Description Logic Satisfability.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Digital Libraries and Web-based Information Systems.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Implementation and Optimization Techniques.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Ontologies and Schema Languages on the Web.
Proceedings of the Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential [outcome of a Dagstuhl seminar], 2003

2002
Building a bioinformatics ontology using OIL.
IEEE Trans. Information Technology in Biomedicine, 2002

OILing the way to machine understandable bioinformatics resources.
IEEE Trans. Information Technology in Biomedicine, 2002

Description Logics for the Semantic Web.
KI, 2002

Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability.
J. Autom. Reasoning, 2002

DAML+OIL: a Description Logic for the Semantic Web.
IEEE Data Eng. Bull., 2002

Enabling knowledge representation on the Web by extending RDF Schema.
Computer Networks, 2002

Combinations of Modal Logics.
Artif. Intell. Rev., 2002

Querying the Semantic Web: A Formal Approach.
Proceedings of the Semantic Web, 2002

Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.
Proceedings of the Logic for Programming, 2002

Evaluating a Modular Abox Algorithm.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

DAML+OIL: A Reason-able Web Ontology Language.
Proceedings of the Advances in Database Technology, 2002

Optimised Reasoning for SHIQ.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

Reasoning in the SHOQ(Dn) Description Logic.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Backtracking and Qualified Number Restrictions: Some Preliminary Results.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Extending Datatype Support in Web Ontology Reasoning.
Proceedings of the On the Move to Meaningful Internet Systems, 2002, 2002

Reasoning with Expressive Description Logics: Theory and Practice.
Proceedings of the Automated Deduction, 2002

Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
OIL: An Ontology Infrastructure for the Semantic Web.
IEEE Intelligent Systems, 2001

Enabling knowledge representation on the Web by extending RDF schema.
Proceedings of the Tenth International World Wide Web Conference, 2001

Metamodeling Architecture of Web Ontology Languages.
Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001

DAML+OIL is not Enough.
Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001

Building a Reason-able Bioinformatics Ontology Using OIL.
Proceedings of the IJCAI-01 Workshop on Ontologies and Information Sharing Seattle, 2001

Ontology Reasoning in the SHOQ(D) Description Logic.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

The Generation of DAML+OIL.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

OilEd: a Reason-able Ontology Editor for the Semantic Web.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

2000
The Semantic Web: The Roles of XML and RDF.
IEEE Internet Computing, 2000

Practical Reasoning for Very Expressive Description Logics.
Logic Journal of the IGPL, 2000

An Analysis of Empirical Testing for Modal Decision Procedures.
Logic Journal of the IGPL, 2000

Reasoning with Individuals for the Description Logic SHIQ
CoRR, 2000

Practical Reasoning for Expressive Description Logics
CoRR, 2000

Practical Reasoning for Very Expressive Description Logics
CoRR, 2000

Reasoning with Axioms: Theory and Pratice
CoRR, 2000

Benchmark Analysis with FaCT.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

How to decide Query Containment under Constraints using a Description Logic.
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000

Reasoning with Axioms: Theory and Practice.
Proceedings of the KR 2000, 2000

OIL in a Nutshell.
Proceedings of the Knowledge Acquisition, 2000

Explaining ALC Subsumption.
Proceedings of the ECAI 2000, 2000

Optimisation of Terminological Reasoning.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Answering Conjunctive Queries over DL Aboxes: A Preliminary Report.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Knowledge Representation on the Web.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Driving User Interfaces from FaCT.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Reasoning with Individuals for the Description Logic SHIQ.
Proceedings of the Automated Deduction, 2000

A Conjunctive Query Language for Description Logic Aboxes.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
A Description Logic with Transitive and Inverse Roles and Role Hierarchies.
J. Log. Comput., 1999

Optimizing Description Logic Subsumption.
J. Log. Comput., 1999

Report on the 1998 International Workshop on Description Logics (DL'98).
J. Log. Comput., 1999

DLP and FaCT.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

Practical Reasoning for Expressive Description Logics.
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Performance of DLP on Random Modal Formulae.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

FaCT and iFaCT.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Explaining ALC Subsumption.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

A Proposal for a Description Logic Interface.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Feasibility of Optimised Disjunctive Reasoning for Approximate Matching.
Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1998
FaCT and DLP.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

The FaCT System.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Using an Expressive Description Logic: FaCT or Fiction?
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

A Description Logic with Transitive and Inverse Roles and Role Hierarchies.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Comparing Subsumption Optimizations.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

DL Systems Comparison (Summary Relation).
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Kris.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

FaCT.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Optimising Propositional Modal Satisfiability for Description Logic Subsumption.
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1997
The GRAIL concept modelling language for medical terminology.
Artificial Intelligence in Medicine, 1997

Description Logics with Transitive Roles.
Proceedings of the 1997 International Workshop on Description Logics, 1997

1996
A Description Logic Based Schema for the Classification of Medical Data.
Proceedings of the Knowledge Representation Meets Databases, 1996

Using a Description Logic with Concept Inclusions.
Proceedings of the 1996 International Workshop on Description Logics, 1996


  Loading...