Ian Horrocks

Dataset, November, 2021

RSAComb - Combined approach for Conjunctive Query answering in RSA.

[BibT_eX]

[DOI]

Dataset, June, 2021

OWL2Vec*: embedding of OWL ontologies.

[BibT_eX]

[DOI]

Mach. Learn., 2021

Low-resource Learning with Knowledge Graphs: A Comprehensive Survey.

[BibT_eX]

[DOI]

CoRR, 2021

Pay-as-you-go consequence-based reasoning for the description logic SROIQ.

[BibT_eX]

[DOI]

Artif. Intell., 2021

Knowledge Graphs: Theory, Applications and Challenges.

[BibT_eX]

Proceedings of the 17th International Conference on Web Information Systems and Technologies, 2021

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

[BibT_eX]

[DOI]

Proceedings of the ISWC 2021 Posters, 2021

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

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2021 - 20th International Semantic Web Conference, 2021

Biomedical ontology alignment with BERT.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Ontology Matching co-located with the 20th International Semantic Web Conference (ISWC 2021), 2021

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

[BibT_eX]

[DOI]

Proceedings of the ISWC 2021 Posters, 2021

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

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2021 - 20th International Semantic Web Conference, 2021

INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Knowledge-aware Zero-Shot Learning: Survey and Perspective.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Augmenting Ontology Alignment by Semantic Embedding and Distant Supervision.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 18th International Conference, 2021

Streaming Partitioning of RDF Graphs for Datalog Reasoning.

[BibT_eX]

[DOI]

Temitope Ajileye

Proceedings of the Semantic Web - 18th International Conference, 2021

RSAComb: Combined Approach for CQ Answering in RSA.

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

Correcting Knowledge Base Assertions.

[BibT_eX]

[DOI]

Proceedings of the WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, 2020

A Context-Aware Recommendation System for Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Limit Datalog: A Declarative Query Language for Data Analysis.

[BibT_eX]

[DOI]

SIGMOD Rec., 2019

Foundations of ontology-based data access under bag semantics.

[BibT_eX]

[DOI]

Charalampos Nikolaou

Egor V. Kostylev

George Konstantinidis

Mark Kaminski

Artif. Intell., 2019

Maintenance of datalog materialisations revisited.

[BibT_eX]

[DOI]

Artif. Intell., 2019

An Efficient Index for RDF Query Containment.

[BibT_eX]

[DOI]

Theofilos Mailis

Yannis Kotidis

Vaggelis Nikolopoulos

Evgeny Kharlamov

Yannis E. Ioannidis

Proceedings of the 2019 International Conference on Management of Data, 2019

Towards Explainable Entity Matching via Comparison Queries.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Ontology Matching co-located with the 18th International Semantic Web Conference (ISWC 2019), 2019

Query-Based Entity Comparison in Knowledge Graphs Revisited.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2019, 2019

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

[BibT_eX]

[DOI]

Theofilos Mailis

Yannis Kotidis

Vaggelis Nikolopoulos

Evgeny Kharlamov

Yannis E. Ioannidis

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Bag Semantics of DL-Lite with Functionality Axioms.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2019, 2019

Canonicalizing Knowledge Base Literals.

[BibT_eX]

[DOI]

Jiaoyan Chen

Proceedings of the Semantic Web - ISWC 2019, 2019

Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange.

[BibT_eX]

[DOI]

Temitope Ajileye

Proceedings of the Semantic Web - ISWC 2019, 2019

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning Semantic Annotations for Tabular Data.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Sequoia: A Consequence Based Reasoner for SROIQ.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Bagging the DL-Lite Family Further.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Datalog Reasoning over Compressed RDF Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

15 Years of Consequence-Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

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

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Dynamic Data Exchange in Distributed RDF Stores.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2018

OptiqueVQS: A visual query system over ontologies for industry.

[BibT_eX]

[DOI]

Semantic Web, 2018

RODI: Benchmarking relational-to-ontology mapping generation quality.

[BibT_eX]

[DOI]

Semantic Web, 2018

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2018

Which Is the Tallest Building in Europe? Representing and Reasoning About Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Information Management and Big Data, 5th International Conference, 2018

Filling Gaps in Industrial Knowledge Graphs via Event-Enhanced Embedding.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, USA, October 8th - to, 2018

The Window Validity Problem in Rule-Based Stream Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Knowledge-Based Transfer Learning Explanation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Semantic Diagnostics of Smart Factories.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology - 8th Joint International Conference, 2018

Diagnostics of Trains with Semantic Diagnostics Rules.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 28th International Conference, 2018

Stratified Negation in Limit Datalog Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Event-Enhanced Learning for KG Completion.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 15th International Conference, 2018

Theoretical Characterization of Signal Diagnostic Processing Language.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

Stream Reasoning in Temporal Datalog.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Optimised Maintenance of Datalog Materialisations.

[BibT_eX]

[DOI]

Pan Hu

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?

[BibT_eX]

[DOI]

Univers. Access Inf. Soc., 2017

Entity Comparison in RDF Graphs.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

Semantic Rule-Based Equipment Diagnostic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

Ranking, Aggregation, and Reachability in Faceted Search with SemFacet.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Charalampos Nikolaou

Egor V. Kostylev

George Konstantinidis

Mark Kaminski

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

SemDia: Semantic Rule-Based Equipment Diagnostics Tool.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Semantic Rules for Machine Diagnostics: Execution and Management.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

SemFacet: Making Hard Faceted Search Easier.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

On event-driven knowledge graph completion in digital factories.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

Trust-Sensitive Evolution of DL-Lite Knowledge Bases.

[BibT_eX]

[DOI]

Dmitriy Zheleznyakov

Evgeny Kharlamov

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

An Introduction to Description Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ahmet Soylu

Martin Giese

Guillermo Vega-Gorgojo

Univers. Access Inf. Soc., 2016

Module Extraction in Expressive Ontology Languages via Datalog Reasoning.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

Using Semantic Technology to Tame the Data Variety Challenge.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

Towards the Creation of the Cardiovascular Magnetic Resonance Quality Assessment Ontology (CMR-QA).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Management of Data, 2016

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

Semantic Technologies for Data Analysis in Health Care.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

Towards Analytics Aware Ontology Based Access to Static and Streaming Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

Capturing Industrial Information Models with Ontologies and Constraints.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

SOMM: Industry Oriented Ontology Management Tool.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Deep Learning and Data Labeling for Medical Applications, 2016

Extending Consequence-Based Reasoning to SRIQ.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Enabling semantic access to static and streaming distributed data with optique: demo.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

A semantic approach to polystores.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2015

OptiqueVQS: Ontology-Based Visual Querying.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

Optique: Ontology-Based Data Access Platform.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

Semantic Access to Siemens Streaming Data: the Optique Way.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

Ontology-based Query Answering with PAGOdA.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Advances in Visual Computing - 11th International Symposium, 2015

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Combined Approach to Query Answering Beyond the OWL 2 Profiles.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

PAGOdA: Pay-as-you-go ABox Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Extending the Combined Approach Beyond Lightweight Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Extending Consequence-Based Reasoning to SHIQ.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Ontology Module Extraction via Datalog Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm.

[BibT_eX]

[DOI]

Yavor Nenov

Robert Edgar Felix Piro

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Handling Owl: sameAs via Rewriting.

[BibT_eX]

[DOI]

Yavor Nenov

Robert Edgar Felix Piro

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

HermiT: An OWL 2 Reasoner.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

Description Logics.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2014

A rule-based ontological framework for the classification of molecules.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2014

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

[BibT_eX]

[DOI]

Artif. Intell., 2014

Querying Distributed RDF Graphs: The Effects of Partitioning.

[BibT_eX]

[DOI]

Anthony Potter

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2014, 2014

Why not simply Google?

[BibT_eX]

[DOI]

Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, 2014

Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation.

[BibT_eX]

[DOI]

Proceedings of the Metadata and Semantics Research - 8th Research Conference, 2014

Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

OptiqueVQS: Visual Query Formulation for OBDA.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

EL-ifying Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Pay-As-You-Go OWL Query Answering Using a Triple Store.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Order matters! Harnessing a world of orderings for reasoning over massive data.

[BibT_eX]

[DOI]

Semantic Web, 2013

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

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Making the most of your triple store: query answering in OWL 2 using an RL reasoner.

[BibT_eX]

[DOI]

Proceedings of the 22nd International World Wide Web Conference, 2013

Complete Query Answering over Horn Ontologies Using a Triple Store.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data.

[BibT_eX]

[DOI]

Martin G. Skjæveland

Espen H. Lian

Proceedings of the Semantic Web - ISWC 2013, 2013

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

[BibT_eX]

[DOI]

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Is my ontology matching system similar to yours?

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Mariano Rodriguez-Muro

Dmitriy Zheleznyakov

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Metadata and Semantics Research - 7th Research Conference, 2013

OptiqueVQS: towards an ontology-based visual query system for big data.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems, 2013

Concrete Results on Abstract Rules.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Computing Stable Models for Nonmonotonic Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Computing Datalog Rewritings Beyond Horn Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Optique: Towards OBDA Systems for Industry.

[BibT_eX]

[DOI]

Mariano Rodriguez-Muro

Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mappings, 2013

Optique: OBDA Solution for Big Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Introducing Nominals to the Combined Query Answering Approaches for EL.

[BibT_eX]

[DOI]

Giorgio Stefanoni

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

A novel approach to ontology classification.

[BibT_eX]

[DOI]

J. Web Semant., 2012

Semantics ⊓ scalability ⊨ ⊥?

[BibT_eX]

[DOI]

J. Zhejiang Univ. Sci. C, 2012

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

A Description Logic Primer

[BibT_eX]

[DOI]

CoRR, 2012

Delta-reasoner: a semantic web reasoner for an intelligent mobile platform.

[BibT_eX]

[DOI]

Su Myeon Kim

Proceedings of the 21st World Wide Web Conference, 2012

Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Exploiting Large Knowledge Repositories, 2012

MORe: Modular Combination of OWL Reasoners for Ontology Classification.

[BibT_eX]

[DOI]

Ana Armas Romero

Proceedings of the Semantic Web - ISWC 2012, 2012

LogMap and LogMapLt results for OAEI 2012.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Ontology Matching, 2012

Classifying Chemicals Using Description Graphs and Logic Programming.

[BibT_eX]

[DOI]

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems.

[BibT_eX]

[DOI]

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

The HermiT OWL Reasoner.

[BibT_eX]

[DOI]

Zhe Wang

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

Acyclicity Conditions and their Application to Query Answering in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Modelling Structured Domains Using Description Graphs and Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2012

Large-scale Interactive Ontology Matching: Algorithms and Implementation.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Efficient Upper Bound Computation of Query Answers in Expressive Description Logics.

[BibT_eX]

[DOI]

Yujiao Zhou

Proceedings of the 2012 International Workshop on Description Logics, 2012

Small Datalog Query Rewritings for EL.

[BibT_eX]

[DOI]

Giorgio Stefanoni

Proceedings of the 2012 International Workshop on Description Logics, 2012

Modular Combination of Reasoners for Ontology Classification.

[BibT_eX]

[DOI]

Ana Armas Romero

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

KR and Reasoning on the Semantic Web: OWL.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Semantic Web Technologies, 2011

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

[BibT_eX]

[DOI]

J. Autom. Reason., 2011

Supporting concurrent ontology development: Framework, algorithms and tool.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2011

Logic-based assessment of the compatibility of UMLS ontology sources.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2011

Chemical knowledge representation with description graphs and logic programming.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, 2011

Repairing Ontologies for Incomplete Reasoners.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

Answering Queries over OWL Ontologies with SPARQL.

[BibT_eX]

[DOI]

Ilianna Kollia

Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), 2011

Consequence-Based Reasoning beyond Horn Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

SPARQL Query Answering over OWL Ontologies.

[BibT_eX]

[DOI]

Ilianna Kollia

Proceedings of the Semantic Web: Research and Applications, 2011

Query Answering over SROIQ Knowledge Bases with SPARQL.

[BibT_eX]

[DOI]

Ilianna Kollia

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Tool Support for Ontology Engineering.

[BibT_eX]

[DOI]

Proceedings of the Foundations for the Web of Information and Services, 2011

2010

Tractable query answering and rewriting under description logic constraints.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

Storage and reasoning systems evaluation campaign 2010.

[BibT_eX]

[DOI]

Mikalai Yatskevich

Francisco Martín-Recuerda

Giorgos Stoilos

Proceedings of the International Workshop on Evaluation of Semantic Technologies (IWEST 2010), 2010

Beazley: a new storage systems evaluation.

[BibT_eX]

[DOI]

Mikalai Yatskevich

Graham Klyne

Proceedings of the International Workshop on Evaluation of Semantic Technologies (IWEST 2010), 2010

Completeness Guarantees for Incomplete Reasoners.

[BibT_eX]

[DOI]

Giorgos Stoilos

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Towards a UMLS-based silver standard for matching biomedical ontologies.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

Optimising Ontology Classification.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Ontology Languages and Engineering.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2010

Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.

[BibT_eX]

[DOI]

Chitta Baral

Yoav Shoham

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Scalable ontology-based information systems.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2010, 2010

Tractable Extensions of the Description Logic EL with Numerical Datatypes.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Optimized DL Reasoning via Core Blocking.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Tractable Extensions of the Description Logic EL with Numerical Datatypes.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

Optimized Description Logic Reasoning via Core Blocking.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

How Incomplete Is Your Semantic Web Reasoner?

[BibT_eX]

[DOI]

Giorgos Stoilos

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Extracting Modules from Ontologies: A Logic-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies: Concepts, 2009

Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Handbook on Ontologies, 2009

Bridging the gap between OWL and relational databases.

[BibT_eX]

[DOI]

J. Web Semant., 2009

Hypertableau Reasoning for Description Logics.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2009

Representing ontologies using description logics, description graphs, and rules.

[BibT_eX]

[DOI]

Artif. Intell., 2009

Towards a Logic-based Assessment of the compatibility of UMLS sources.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

Exploiting Partial Information in Taxonomy Construction.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Efficient Query Answering for OWL 2.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Practical Aspects of Query Rewriting for OWL 2.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Logic-based Ontology Integration using ContentMap.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2009

Exploiting Partial Information in Taxonomy Construction.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

A Comparison of Query Rewriting Techniques for DL-lite.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Building Ontologies Collaboratively Using ContentCVS.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Semantic Web.

[BibT_eX]

[DOI]

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

Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Knowledge Representation, 2008

OWL 2: The next step for OWL.

[BibT_eX]

[DOI]

J. Web Semant., 2008

Modular Reuse of Ontologies: Theory and Practice.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2008

Conjunctive Query Answering for the Description Logic SHIQ.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2008

Ontologies and the semantic web.

[BibT_eX]

[DOI]

Commun. ACM, 2008

OWL Datatypes: Design and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Rewriting Conjunctive Queries over Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

HermiT: A Highly-Efficient OWL Reasoner.

[BibT_eX]

[DOI]

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Modeling Ontologies using OWL, Description Graphs, and Rules.

[BibT_eX]

[DOI]

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Application of OWL 1.1 to Systems Engineering (Statement of Interest).

[BibT_eX]

[DOI]

Henson Graves

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Representing Structured Objects using Description Graphs.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Unions of Conjunctive Queries in SHOQ.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Individual Reuse in Description Logic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Metalevel Information in Ontology-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

A comparison of two modelling paradigms in the Semantic Web.

[BibT_eX]

[DOI]

J. Web Semant., 2007

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

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2007

Logic for Ontology Engineering Corner.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

Optimizing Terminological Reasoning for Expressive Description Logics.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

A Tableau Decision Procedure for SHOIQ.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

Reasoning with Very Expressive Fuzzy Description Logics.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2007

Just the right amount: extracting modules from ontologies.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on World Wide Web, 2007

Semantic web: the story so far.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Cross-Disciplinary Conference on Web Accessibility (W4A 2007), 2007

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

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2007

Adding Integrity Constraints to OWL.

[BibT_eX]

[DOI]

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

Extracting Modules from Ontologies: A Logic-based Approach.

[BibT_eX]

[DOI]

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

The OBO to OWL Mapping, GO to OWL 1.1!

[BibT_eX]

[DOI]

Christine Golbreich

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

A Logical Framework for Modularity of Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

A Hypertableau Calculus for SHIQ.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Ontology Reuse: Better Safe than Sorry.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Conjunctive Query Entailment for SHOQ.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Optimized Reasoning in Description Logics Using Hypertableaux.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

Computational modal logic.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Modal Logic., 2007

2006

OWL-Eu: Adding customised datatypes into OWL.

[BibT_eX]

[DOI]

J. Web Semant., 2006

f-SWRL: A Fuzzy Extension of SWRL.

[BibT_eX]

[DOI]

J. Data Semant., 2006

Hybrid Logics and Ontology Languages.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Hybrid Logic, 2006

Position paper: a comparison of two modelling paradigms in the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the 15th international conference on World Wide Web, 2006

OWL FA: a metamodeling extension of OWL D.

[BibT_eX]

[DOI]

Proceedings of the 15th international conference on World Wide Web, 2006

Can OWL and Logic Programming Live Together Happily Ever After?

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Framework for an Automated Comparison of Description Logic Reasoners.

[BibT_eX]

[DOI]

Tom Gardiner

Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Problems with OWL Syntax.

[BibT_eX]

[DOI]

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

Next Steps for OWL.

[BibT_eX]

[DOI]

Bijan Parsia

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

The Even More Irresistible SROIQ.

[BibT_eX]

[DOI]

Oliver Kutz

Proceedings of the Proceedings, 2006

Reasoning Support for Expressive Ontology Languages Using a Theorem Prover.

[BibT_eX]

[DOI]

Andrei Voronkov

Proceedings of the Foundations of Information and Knowledge Systems, 2006

Will my Ontologies Fit Together?

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Automated Benchmarking of Description Logic Reasoners.

[BibT_eX]

[DOI]

Tom Gardiner

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

FaCT++ Description Logic Reasoner: System Description.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Deciding Semantic Matching of Stateless Services.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

OWL rules: A proposal and prototype implementation.

[BibT_eX]

[DOI]

J. Web Semant., 2005

Keys, Nominals, and Concrete Domains.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2005

A Fuzzy Extension of SWRL.

[BibT_eX]

[DOI]

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

OWL Rules, OK?

[BibT_eX]

[DOI]

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

A Little Semantic Web Goes a Long Way in Biology.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

The Fuzzy Description Logic f-SHIN.

[BibT_eX]

Proceedings of the International Semantic Web Conference, 2005

Semantic Web Architecture: Stack or Two Towers?.

[BibT_eX]

[DOI]

Bijan Parsia

James A. Hendler

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Fuzzy OWL: Uncertainty and the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

OWL FA: A Metamodeling Extension of OWL DL.

[BibT_eX]

[DOI]

Guus Schreiber

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Introducing Customised Datatypes and Datatype Predicates into OWL.

[BibT_eX]

[DOI]

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

The Irresistible SRIQ.

[BibT_eX]

[DOI]

Oliver Kutz

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Description Logics in Ontology Applications.

[BibT_eX]

[DOI]

Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005

Ordering Heuristics for Description Logic Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

OWL: A Description Logic Based Ontology Language.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 21st International Conference, 2005

Applications of Description Logics: State of the Art and Research Challenges.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Common Semantics for Sharing Knowledge, 2005

f-SWRL: A Fuzzy Extension of SWRL.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks: Formal Models and Their Applications, 2005

Optimised Classification for Taxonomic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Handling Cyclic Conjunctive Queries.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

The OWL Instance Store: System Description.

[BibT_eX]

[DOI]

Daniele Turi

Proceedings of the Automated Deduction, 2005

Description Logics as Ontology Languages for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Reducing OWL entailment to description logic satisfiability.

[BibT_eX]

[DOI]

J. Web Semant., 2004

WWW conference special issue.

[BibT_eX]

[DOI]

J. Web Semant., 2004

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

[BibT_eX]

[DOI]

Richard Fikes

Patrick J. Hayes

J. Web Semant., 2004

A Software Framework for Matchmaking Based on Semantic Web Technology.

[BibT_eX]

[DOI]

Lei Li

Int. J. Electron. Commer., 2004

Decidability of SHIQ with complex role inclusion axioms.

[BibT_eX]

[DOI]

Artif. Intell., 2004

A proposal for an owl rules language.

[BibT_eX]

[DOI]

Proceedings of the 13th international conference on World Wide Web, 2004

Using Vampire to Reason with OWL.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2004

Efficient Reasoning with Range and Domain Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?").

[BibT_eX]

[DOI]

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

The Instance Store: DL Reasoning with Large Numbers of Individuals.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Description Logics.

[BibT_eX]

Proceedings of the Handbook on Ontologies, 2004

2003

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

[BibT_eX]

[DOI]

Frank van Harmelen

J. Web Semant., 2003

Where Are the Rules?

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2003

Three theses of representation in the semantic web.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International World Wide Web Conference, 2003

Description logic programs: combining logic programs with description logic.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International World Wide Web Conference, 2003

A Semantic Infosphere.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2003

Web Ontology Reasoning with Datatype Groups.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2003

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

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2003

DL Reasoner vs. First-Order Prover.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

RDFS(FA): A DL-ised Sub-language of RDFS.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Matchmarking Using an Instance Store: Some Preliminary Results.

[BibT_eX]

[DOI]

Lei Li

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Reducing OWL Entailment to Description Logic Satisfability.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Digital Libraries and Web-based Information Systems.

[BibT_eX]

Christopher A. Welty

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

Implementation and Optimization Techniques.

[BibT_eX]

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

Ontologies and Schema Languages on the Web.

[BibT_eX]

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.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Technol. Biomed., 2002

OILing the way to machine understandable bioinformatics resources.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Technol. Biomed., 2002

Description Logics for the Semantic Web.

[BibT_eX]

Künstliche Intell., 2002

Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability.

[BibT_eX]

[DOI]

J. Autom. Reason., 2002

DAML+OIL: a Description Logic for the Semantic Web.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2002

Enabling knowledge representation on the Web by extending RDF Schema.

[BibT_eX]

[DOI]

Comput. Networks, 2002

Combinations of Modal Logics.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2002

DAML+OIL: A Reason-Able Web Ontology Language.

[BibT_eX]

[DOI]

Proceedings of the Web Services, 2002

Querying the Semantic Web: A Formal Approach.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2002

Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2002

Evaluating a Modular Abox Algorithm.

[BibT_eX]

Graham Gough

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Optimised Reasoning for SHIQ.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Reasoning in the SHOQ(Dn) Description Logic.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Backtracking and Qualified Number Restrictions: Some Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Extending Datatype Support in Web Ontology Reasoning.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

Reasoning with Expressive Description Logics: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2002

Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web.

[BibT_eX]

[DOI]

Frank van Harmelen

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.

[BibT_eX]

[DOI]

Dieter Fensel

Frank van Harmelen

IEEE Intell. Syst., 2001

Metamodeling Architecture of Web Ontology Languages.

[BibT_eX]

Proceedings of the Emerging Semantic Web, Selected papers from the first Semantic web working symposium, Stanford University, California, USA, July 30, 2001

DAML+OIL is not Enough.

[BibT_eX]

[DOI]

Carole A. Goble

Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001

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

[BibT_eX]

[DOI]

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Building a Reason-able Bioinformatics Ontology Using OIL.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-01 Workshop on Ontologies and Information Sharing Seattle, 2001

Ontology Reasoning in the SHOQ(D) Description Logic.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

The Generation of DAML+OIL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2000

Practical Reasoning for Very Expressive Description Logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 2000

An Analysis of Empirical Testing for Modal Decision Procedures.

[BibT_eX]

[DOI]

Roberto Sebastiani

Log. J. IGPL, 2000

Reasoning with Axioms: Theory and Pratice

[BibT_eX]

[DOI]

CoRR, 2000

Benchmark Analysis with FaCT.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

How to Decide Query Containment Under Constraints Using a Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Reasoning with Axioms: Theory and Practice.

[BibT_eX]

Proceedings of the KR 2000, 2000

OIL in a Nutshell.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Acquisition, 2000

Explaining ALC Subsumption.

[BibT_eX]

Alexander Borgida

Enrico Franconi

Proceedings of the ECAI 2000, 2000

Optimisation of Terminological Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Answering Conjunctive Queries over DL Aboxes: A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Knowledge Representation on the Web.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Driving User Interfaces from FaCT.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Reasoning with Individuals for the Description Logic SHIQ.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2000

A Conjunctive Query Language for Description Logic Aboxes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Optimizing Description Logic Subsumption.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Report on the 1998 International Workshop on Description Logics (DL'98).

[BibT_eX]

[DOI]

Enrico Franconi

Giuseppe De Giacomo

Werner Nutt

Christopher A. Welty

J. Log. Comput., 1999

DLP and FaCT.

[BibT_eX]

[DOI]

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

Practical Reasoning for Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Performance of DLP on Random Modal Formulae.

[BibT_eX]

[DOI]

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

FaCT and iFaCT.

[BibT_eX]

[DOI]

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

Explaining ALC Subsumption.

[BibT_eX]

[DOI]

Alexander Borgida

Enrico Franconi

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

A Proposal for a Description Logic Interface.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Lin Padgham

Laura Thomson

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1998

FaCT and DLP.

[BibT_eX]

[DOI]

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

The FaCT System.

[BibT_eX]

[DOI]

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

Using an Expressive Description Logic: FaCT or Fiction?

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Comparing Subsumption Optimizations.

[BibT_eX]

[DOI]

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

DL Systems Comparison (Summary Relation).

[BibT_eX]

[DOI]

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

Kris.

[BibT_eX]

[DOI]

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

FaCT.

[BibT_eX]

[DOI]

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

Optimising Propositional Modal Satisfiability for Description Logic Subsumption.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1997

The GRAIL concept modelling language for medical terminology.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 1997

Description Logics with Transitive Roles.

[BibT_eX]

[DOI]

Graham Gough

Proceedings of the 1997 International Workshop on Description Logics, 1997

1996

A Description Logic Based Schema for the Classification of Medical Data.

[BibT_eX]

[DOI]

Alan L. Rector

Carole A. Goble

Proceedings of the Knowledge Representation Meets Databases, 1996

Using a Description Logic with Concept Inclusions.

[BibT_eX]