Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

[BibT_eX]

[DOI]

Taylor T. Johnson

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis.

[BibT_eX]

[DOI]

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

2019

Ontology-based data access - Beyond relational sources.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2019

Query inseparability for ALC ontologies.

[BibT_eX]

[DOI]

Michael Zakharyaschev

Artif. Intell., 2019

2018

Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2018

Efficient Handling of SPARQL OPTIONAL for OBDA.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2018, 2018

Formalization and Complexity of MongoDB Queries (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Expressivity and Complexity of MongoDB Queries.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Database Theory, 2018

A Generalized Framework for Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

2017

Formalizing MongoDB Queries.

[BibT_eX]

[DOI]

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

A Note on Computing Certain Answers to Queries over Incomplete Databases.

[BibT_eX]

[DOI]

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version).

[BibT_eX]

[DOI]

Michael Zakharyaschev

CoRR, 2016

A Formal Presentation of MongoDB (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2016

Games for query inseparability of description logic knowledge bases.

[BibT_eX]

[DOI]

Michael Zakharyaschev

Artif. Intell., 2016

Knowledge base exchange: The case of OWL 2 QL.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.

[BibT_eX]

[DOI]

Michael Zakharyaschev

Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016

Query-Based Entailment and Inseparability for ALC Ontologies.

[BibT_eX]

[DOI]

Michael Zakharyaschev

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

When is Query Inseparability for ALC Ontologies Decidable?

[BibT_eX]

[DOI]

Michael Zakharyaschev

Proceedings of the 29th International Workshop on Description Logics, 2016

Virtual OBDA over Expressive Ontologies: Rewritings and Approximations.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

OBDA Beyond Relational DBs: A Study for MongoDB.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

OBDA Over Non-Relational Databases.

[BibT_eX]

[DOI]

Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

Beyond OWL 2 QL in OBDA: Rewritings and Approximations.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2015

When Are Description Logic Knowledge Bases Indistinguishable?

[BibT_eX]

[DOI]

Michael Zakharyaschev

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

2014

Query Inseparability for Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

Michael Zakharyaschev

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Query Inseparability by Games.

[BibT_eX]

[DOI]

Michael Zakharyaschev

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

2013

Exchanging OWL 2 QL Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Computing Solutions in OWL 2 QL Knowledge Exchange.

[BibT_eX]

[DOI]

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

2012

Description Logic Knowledge Base Exchange.

[BibT_eX]

[DOI]

Elena Botoeva

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Exchanging Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

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

Representability in DL-Lite_R Knowledge Base Exchange.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Knowledge Base Exchange.

[BibT_eX]

[DOI]

Marcelo Arenas

Elena Botoeva

Diego Calvanese

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

2010

Query Rewriting in DL-Lite_^(HN)_horn.

[BibT_eX]

[DOI]

Elena Botoeva

Alessandro Artale

Diego Calvanese

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

Expressive Approximations in <i>DL-Lite</i> Ontologies.

[BibT_eX]

[DOI]

Elena Botoeva

Diego Calvanese

Mariano Rodriguez-Muro

Proceedings of the Artificial Intelligence: Methodology, 2010

2006

UniCalc.LIN: a linear constraint solver for the UniCalc system

[BibT_eX]

[DOI]

Evgueni Petrov

Yuri Kostov

Elena Botoeva

CoRR, 2006

Elena Botoeva

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...