Bernardo Cuenca Grau

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

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

[BibT_eX]

[DOI]

Artif. Intell., 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

Finitely Materialisable Datalog Programs with Metric Temporal Operators.

[BibT_eX]

[DOI]

Michal Zawidzki

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

DatalogMTL with Negation Under Stable Models Semantics.

[BibT_eX]

[DOI]

David J. Tena Cucala

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Stratified Negation in Datalog with Metric Temporal Operators.

[BibT_eX]

[DOI]

David J. Tena Cucala

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

DatalogMTL over the Integer Timeline.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Tractable Fragments of Datalog with Metric Temporal Operators.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 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

Logical Foundations of Linked Data Anonymisation.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2019

Foundations of ontology-based data access under bag semantics.

[BibT_eX]

[DOI]

Charalampos Nikolaou

George Konstantinidis

Artif. Intell., 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

Bag Semantics of DL-Lite with Functionality Axioms.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2019, 2019

DatalogMTL: Computational Complexity and Expressive Power.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 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

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

15 Years of Consequence-Based Reasoning.

[BibT_eX]

[DOI]

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

Reasoning over Streaming Data in Metric Temporal Datalog.

[BibT_eX]

[DOI]

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

2018

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

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2018

Logical foundations of information disclosure in ontology-based data integration.

[BibT_eX]

[DOI]

Michael Benedikt

Artif. Intell., 2018

LogMap family participation in the OAEI 2018.

[BibT_eX]

[DOI]

Valerie Cross

Proceedings of the 13th International Workshop on Ontology Matching co-located with the 17th International Semantic Web Conference, 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

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

Stream Reasoning in Temporal Datalog.

[BibT_eX]

[DOI]

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

2017

Query Nesting, Assignment, and Aggregation in SPARQL 1.1.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2017

Semantic Faceted Search with Aggregation and Recursion.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

Entity Comparison in RDF Graphs.

[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

LogMap family participation in the OAEI 2017.

[BibT_eX]

[DOI]

Valerie Cross

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

The Bag Semantics of Ontology-Based Data Access.

[BibT_eX]

[DOI]

Charalampos Nikolaou

George Konstantinidis

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

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

SemFacet: Making Hard Faceted Search Easier.

[BibT_eX]

[DOI]

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

Source Information Disclosure in Ontology-Based Data Integration.

[BibT_eX]

[DOI]

Michael Benedikt

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

2016

Faceted search over RDF-based knowledge graphs.

[BibT_eX]

[DOI]

J. Web Semant., 2016

Module Extraction in Expressive Ontology Languages via Datalog Reasoning.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on World Wide Web, 2016

Reformulating Ontological Queries Using Materialised Rewritings.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Web Intelligence, Mining and Semantics, 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

LogMap family participation in the OAEI 2016.

[BibT_eX]

[DOI]

Valerie V. Cross

Proceedings of the 11th International Workshop on Ontology Matching co-located with the 15th International Semantic Web Conference (ISWC 2016), 2016

SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 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

Logical Foundations of Privacy-Preserving Publishing of Linked Data.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

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

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2015

LogMap family results for OAEI 2015.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Ontology Matching collocated with the 14th International Semantic Web Conference (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

Computing Horn Rewritings of Description Logics Ontologies.

[BibT_eX]

[DOI]

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

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies.

[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

Semantics of SPARQL under OWL 2 Entailment Regimes.

[BibT_eX]

[DOI]

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

Polynomial Horn Rewritings for Description Logics Ontologies.

[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

2014

SemFacet: semantic faceted search over yago.

[BibT_eX]

[DOI]

Proceedings of the 23rd International World Wide Web Conference, 2014

Towards semantic faceted search.

[BibT_eX]

[DOI]

Proceedings of the 23rd International World Wide Web Conference, 2014

Querying Life Science Ontologies with SemFacet.

[BibT_eX]

[DOI]

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

On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2014, 2014

LogMap family results for OAEI 2014.

[BibT_eX]

[DOI]

Anu Chennai-Thiagarajan

Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014

Results of the Ontology Alignment Evaluation Initiative 2014.

[BibT_eX]

[DOI]

Ondrej Zamazal

Proceedings of the 9th International Workshop on Ontology Matching collocated with the 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

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Enabling Faceted Search over OWL 2 with SemFacet.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 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

Datalog Rewriting Techniques for Non-Horn Ontologies.

[BibT_eX]

[DOI]

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

On Faceted Search over Knowledge Bases.

[BibT_eX]

[DOI]

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

Controlled Query Evaluation over Lightweight Ontologies.

[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

Faceted Search over Ontology-Enhanced RDF Data.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

<i>EL</i>-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

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.

[BibT_eX]

[DOI]

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

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

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

Controlled Query Evaluation over OWL 2 RL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Results of the Ontology Alignment Evaluation Initiative 2013.

[BibT_eX]

[DOI]

Ondrej Zamazal

Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 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

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

Computing Datalog Rewritings Beyond Horn Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Sufficient Conditions for First-Order and Datalog Rewritability in ELU.

[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

2012

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

Evaluating Ontology Matching Systems on Large, Multilingual and Real-world Test Cases

[BibT_eX]

[DOI]

Christian Meilicke

Ondrej Sváb-Zamazal

José-Luis Aguirre

Heiner Stuckenschmidt

CoRR, 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

Results of the Ontology Alignment Evaluation Initiative 2012.

[BibT_eX]

[DOI]

Willem Robert van Hage

Benjamin Zapilko

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

How to Contract Ontologies.

[BibT_eX]

[DOI]

Evgeny Kharlamov

Dmitriy Zheleznyakov

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

Ontology Evolution Under Semantic Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 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

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

Modular Combination of Reasoners for Ontology Classification.

[BibT_eX]

[DOI]

Ana Armas Romero

Proceedings of the 2012 International Workshop on Description Logics, 2012

Ontology Contraction: Beyond the Propositional Paradise.

[BibT_eX]

[DOI]

Evgeny Kharlamov

Dmitriy Zheleznyakov

Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

Benchmarking Ontology-Based Query Rewriting Systems.

[BibT_eX]

[DOI]

Martha Imprialou

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

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

LogMap 2.0: towards logic-based, scalable and interactive ontology matching.

[BibT_eX]

[DOI]

Yujiao Zhou

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

LogMap results for OAEI 2011.

[BibT_eX]

[DOI]

Antón Morant

Proceedings of the 6th International Workshop on Ontology Matching, 2011

Towards more challenging problems for ontology matching tools.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Ontology Matching, 2011

LogMap: Logic-Based and Scalable Ontology Matching.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

What to Ask to an Incomplete Semantic Web Reasoner?.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Repairing Incomplete Reasoners.

[BibT_eX]

[DOI]

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

2010

Privacy in ontology-based information systems: A pending matter.

[BibT_eX]

[DOI]

Semantic Web, 2010

Incremental Classification of Description Logics Ontologies.

[BibT_eX]

[DOI]

Christian Halaschek-Wiener

Yevgeny Kazakov

Boontawee Suntisrivaraporn

J. Autom. Reason., 2010

First Steps in the Logic-based Assessment of Post-composed Phenotypic Descriptions.

[BibT_eX]

[DOI]

Dietrich Rebholz-Schuhmann

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

Completeness Guarantees for Incomplete Reasoners.

[BibT_eX]

[DOI]

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

Pushing the Limits of Reasoning over Ontologies with Hidden Content.

[BibT_eX]

[DOI]

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

How Incomplete Is Your Semantic Web Reasoner?

[BibT_eX]

[DOI]

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

2009

Ontology Integration Using epsilon-Connections.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies: Concepts, 2009

Extracting Modules from Ontologies: A Logic-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies: Concepts, 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

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

Import-by-Query: Ontology Reasoning under Access Limitations.

[BibT_eX]

[DOI]

Yevgeny Kazakov

Proceedings of the IJCAI 2009, 2009

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2009

Building Ontologies Collaboratively Using ContentCVS.

[BibT_eX]

[DOI]

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

Importing Ontologies with Hidden Content.

[BibT_eX]

[DOI]

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

2008

OWL 2: The next step for OWL.

[BibT_eX]

[DOI]

Peter F. Patel-Schneider

J. Web Semant., 2008

Modular Reuse of Ontologies: Theory and Practice.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2008

Structured objects in owl: representation and reasoning.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on World Wide Web, 2008

Modeling Ontologies using OWL, Description Graphs, and Rules.

[BibT_eX]

[DOI]

Proceedings of the Fifth 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

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2008

Privacy-Preserving Query Answering in Logic-based Information Systems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

The Representation of Structured Objects in DLs using Description Graphs.

[BibT_eX]

[DOI]

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

Metalevel Information in Ontology-Based Applications.

[BibT_eX]

[DOI]

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

2007

Pellet: A practical OWL-DL reasoner.

[BibT_eX]

[DOI]

J. Web Semant., 2007

Just the right amount: extracting modules from ontologies.

[BibT_eX]

[DOI]

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

History Matters: Incremental Ontology Reasoning Using Modules.

[BibT_eX]

[DOI]

Christian Halaschek-Wiener

Yevgeny Kazakov

Proceedings of the Semantic Web, 2007

Extracting Modules from Ontologies: A Logic-based Approach.

[BibT_eX]

[DOI]

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

Ontology Reuse: Better Safe than Sorry.

[BibT_eX]

[DOI]

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

2006

Swoop: A Web Ontology Editing Browser.

[BibT_eX]

[DOI]

J. Web Semant., 2006

Combining OWL ontologies using epsilon-Connections.

[BibT_eX]

[DOI]

J. Web Semant., 2006

Next Steps for OWL.

[BibT_eX]

[DOI]

Peter F. Patel-Schneider

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

From Wine to Water: Optimizing Description Logic Reasoning for Nominals.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Modularity and Web Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Integrating Datalog with OWL: Exploring the AL-log Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

Repairing Unsatisfiable Concepts in OWL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2006

Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments.

[BibT_eX]

[DOI]

Aditya Kalyanpur

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 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

2005

Semantic Web Research Trends and Directions.

[BibT_eX]

[DOI]

Jennifer Golbeck

Christian Halaschek-Wiener

Proceedings of the Pattern Recognition and Machine Intelligence, 2005

Representing Qualitative Spatial Information in OWL-DL.

[BibT_eX]

[DOI]

Yarden Katz

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

Automatic Partitioning of OWL Ontologies Using <i>E</i>-Connections.

[BibT_eX]

[DOI]

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

Generalized Link Properties for Expressive epsilon-Connections of Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

How to teach basic quantum mechanics to computer scientists and electrical engineers.

[BibT_eX]

[DOI]

IEEE Trans. Educ., 2004

A possible simplification of the semantic web architecture.

[BibT_eX]

[DOI]

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

Working with Multiple Ontologies on the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2004

From SHOQ(D) Toward E-connections.

[BibT_eX]

[DOI]